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 strongm on being selected by the Tek-Tips community for having the most helpful posts in the forums last week. Way to Go!
-
FOL expression in Prolog
I made a mistake in my post, and since I don't see an edit button I will post the correction here: The derivation of the logical expression should have: p(0) <-> not p(1) as the last formula, and the Prolog code is: p(0) :- not p(1). -
FOL expression in Prolog
Hi all, I'm trying to find a way to put the following first order logic expression into Prolog (p(0) or p(1)) and not (p(0) and p(1)) This means that it should respond in the following way to queries: ?- p(0) Yes. ?- p(1) Yes. ?- p(0),p(1). No. I tried to translate the logical...
