-1
Good morning. I was answering an exercise of Prolog that was passed to me by the teacher and really could not get an answer to that, the same question why the following rule: k(X),p(X),y(X) :- q(X), y(X). It is not allowed in a program in the language Prolog. Could someone give me a light on? I already gave a good search and could not visualize anything.