conjunctionStandardExampleTheory
The database used in Prolog standard while writing examples for Conjunction
legs(A, 6) :- insect(A).
legs(A, 4) :- animal(A).
insect(bee).
insect(ant).
fly(bee).Content copied to clipboard