3:- use_module(library(pitaind)). 4:- pitaind. 5:- begin_lpad. 6
7
8advisedby(A,B) : 0.3 :-
9 student(A), professor(B), project(C, A), project(C, B),
10 r11(A, B, C).
11
12advisedby(A,B) : 0.6 :-
13 student(A), professor(B), ta(C, A), taughtby(C,B).
14
15r11(A, B, C) : 0.2 :-
16 publication(D, A, C), publication(D,B, C).
17
18
19student(harry).
20professor(ben).
21project(pr1, harry).
22project(pr1, ben).
23project(pr2, harry ).
24project(pr2, ben).
25ta(c1, harry ).
26ta(c2, harry ).
27taughtby(c1, ben).
28taughtby(c2, ben).
29
30publication(p1, harry , pr1).
31publication(p1, ben, pr1).
32publication(p2, harry , pr1).
33publication(p2, ben, pr1).
34publication(p3, harry , pr2).
35publication(p3, ben, pr2).
36publication(p4, harry , pr2).
37publication(p4, ben, pr2).
38
39:- end_lpad.