Slide 22
Slide 22 text
Javier Gonzalez-Sanchez | CSE240 | Spring 2018 | 22
jgs
A program is Facts, Rules …
% facts
instructor(john,cs365).
instructor(mary,cs311).
instructor(paul,cs446).
enrolled(joseph,cs311).
enrolled(joseph,cs365).
enrolled(joseph,cs446).
enrolled(danielle,cs365).
enrolled(danielle,cs446).
% rules
teaches(P,S) :- instructor(P,C), enrolled(S,C).
classmates(S1, S2) :- enrolled(S1, C), enrolled(S2, C).