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 derfloh 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
  • Content: Threads
  • Order by date
  1. 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