% Facts father(david, john). father(david, emily).
% Rules sibling(X, Y) :- father(Z, X), father(Z, Y), X \= Y. This example defines a simple family relationship with a fact about a father and two children, and a rule to determine if two people are siblings.
% This is a comment in Prolog
Validcc.pro 🎯
% Facts father(david, john). father(david, emily).
% Rules sibling(X, Y) :- father(Z, X), father(Z, Y), X \= Y. This example defines a simple family relationship with a fact about a father and two children, and a rule to determine if two people are siblings. validcc.pro
% This is a comment in Prolog