conjunctionStandardExampleTheoryNotableGoalToSolution
Notable conjunctionStandardExampleTheory request goals and respective expected Solutions
?- (insect(X) ; legs(X, 6)) , fly(X).Content copied to clipboard