how to draw SLD tree for the Prolog program

前端未结

关注

 0  1564

student(bob).
student(alice).
passes_exam(Student, Date) :-
    student(Student),
    has_learned(Student),
    exam_takes_place(Date),
    participates_exam(Student


                      
              相关标签: