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

  • Users: PrSl
  • Order by date
  1. PrSl

    Need some proof trees, pleaseee!!

    Thank you joel76. It was helpful, particularly since it was in French :) I appreciate you help.
  2. PrSl

    Need some proof trees, pleaseee!!

    Hello Kahleen, Thank you for you input. However, I have to say that I genuinely need help with this since I am not getting Prolog at all! We sort of started learning it somewhere from the middle, even though I have no previous knowledge of any kind of programming whatsoever...So I struggle a...
  3. PrSl

    Need some proof trees, pleaseee!!

    Hello to all, I have to provide proof trees for the following queries based on the given programs. Can you help?? 1. prouver/1 Program: prouver(true). prouver((But,Reste_Buts)) :- prouver(But), prouver(Reste_Buts). prouver(But) :-...
    • PrSl
    • Thread
    • Replies: 4
    • Forum: Prolog

Part and Inventory Search

Back
Top