The words contained in this file might help you see if this file matches what you are looking for:

...Prolog lecture rules lists arithmetic last call optimisation backtracking generate and test have a head which is true if the body our databases contained only facts e g lecturer dave most programs require more complex p not just this but that rule x y part you can read as note also need to be unified appropriately variables internal variable z present in clause thing thang there such first order logic symbol an ascii art arrow pointing left neck it s between represents logical implication mathematically we d usually write clausehead clean graphical practice either quantifiers are explicitly expressed...