Search
❯
Mar 20, 20261 min read
A Implication rule that specifies when a rule is true
sibling(X,Y) :- parent(P,X),parent(P,Y).