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.