To take an example, consider a set of discounts available to a supermarket shopper.
We could define these rules as data in some standard fashion (lists of qualifyin
In Lisp, your code is data, and your data is code In Prolog clauses are terms, and terms are clauses.
In Lisp, your code is data, and your data is code
In Prolog clauses are terms, and terms are clauses.