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 Wanet Telecoms Ltd on being selected by the Tek-Tips community for having the most helpful posts in the forums last week. Way to Go!
Recent content by PrSl
-
Need some proof trees, pleaseee!!
Thank you joel76. It was helpful, particularly since it was in French :) I appreciate you help. -
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... -
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) :-...
