An Introduction to Aristotelian Computer Science By Thomas Gramstad This article introduces some of the basic ideas behind a deductive database based on Aristotelian logic. The database was created by