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),....????)
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.