[plt-scheme] first order predicate calculus

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.

Dan






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