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 dencom 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: *

  • Users: marczoid
  • Content: Threads
  • Order by date
  1. marczoid

    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...

Part and Inventory Search

Back
Top