PPT Slide
A Simple Example
knows_prolog( X ) : - had_prolog_before( X ).
knows_prolog( X ) : - teaching_prolog( X ).
knows_prolog( X ) : - learns_prolog( X ), programs( X ).
learns_prolog( mary ).
programs( mary ).
Goal: knows_prolog( mary )
had_prolog_before teaches_prolog
( mary ) ( mary )
X X
learns_prolog programs
( mary) ( mary )
OK OK
and
P.7
Previous slide
Next slide
Back to first slide
View graphic version