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!
-
Congratulations IamaSherpa on being selected by the Tek-Tips community for having the most helpful posts in the forums last week. Way to Go!
-
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 -
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...
