Validcc.pro -

% 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

% Facts father(david, john). father(david, emily). validcc.pro

Validcc.pro -

In order to give you the best experience, we use cookies and similar technologies for performance, analytics, personalization, advertising, and to help our site function. Want to know more? Read our Cookie Policy. You can change your preferences any time in your Privacy Settings.