I have a predicate beta that if I make ?-beta(X), I take one of the solutions and if i made ; he gives me solution to another, but if I will have puzzle: - beta(X). I only obtain one off the solutions. What can I made to remove the two solutions whith?-puzzle. (puzzle:-beta(X),....????)
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 Mike Lewis on being selected by the Tek-Tips community for having the most helpful posts in the forums last week. Way to Go!
display two solutions???
- Thread starter nunom
- Start date