Tek-Tips is the largest IT community on the Internet today!

Members share and learn making Tek-Tips Forums the best source of peer-reviewed technical information on the Internet!

Register Log in
  • Congratulations IamaSherpa on being selected by the Tek-Tips community for having the most helpful posts in the forums last week. Way to Go!

Search results for query: *

  1. ailearner

    Translating English into First-Order Logic?

    hi i am trying to convert the English sentece below into First-Order Logic, i found it it very hard please help If nobody is both a child and a dog then if Fido is a dog Fido cannot be a child
  2. ailearner

    Prolog predicate AI ?

    Without using the built-in predicate subtract/3,implement a predicate diff/3 to compute the difference between two given sets (recall that lists may be interpreted as sets if the ordering and duplicate elements are ignored). Example: ?- diff([1,3,3,4], [4,5,8], X) i am working on this but i...

Part and Inventory Search

Back
Top