Aristotle is a simple programming language designed for use in logical procedures