[plt-scheme] first order predicate calculus

From: geb a (geb_a at yahoo.com)
Date: Fri Dec 7 23:07:09 EST 2007

I would like to represent the phrase "No human is a
car" and other first order predicate calculus
statements in a (hopefully simple) scheme
representation.  Can someone point me towards some
materials that might help guide me in this area?

Thank you for your time.


Be a better friend, newshound, and 
know-it-all with Yahoo! Mobile.  Try it now.  http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ 

Posted on the users mailing list.