ra’s avatarra’s Twitter Archive—№ 1,139

  1. "A Deductive database…can make deductions (conclude additional facts) based on rules and facts stored in the database" en.wikipedia.org/wiki/Deductive_database