;;; This is one of the example programs from the textbook:
;;; Artificial Intelligence: 
;;; Structures and strategies for complex problem solving
;;; by George F. Luger and William A. Stubblefield
;;; These programs are copyrighted by Benjamin/Cummings Publishers.
;;; We offer them for use, free of charge, for educational purposes only.
;;; Disclaimer: These programs are provided with no warranty whatsoever as to
;;; their correctness, reliability, or any other property.  We have written 
;;; them for specific educational purposes, and have made no effort
;;; to produce commercial quality computer programs.  Please do not expect 
;;; more of them then we have intended.

;;; a simple set of assertions for testing the logic-shell

(setq *assertions* '(
    (likes george beer)
    (likes george kate)
    (likes george kids)
    (likes bill kids) 
    (likes bill music) 
    (likes bill pizza)
    (likes bill wine)    
       if (and (likes (var x) (var z))
               (likes (var y) (var z)))
               (friend (var x) (var y)))))


Close Window