The following goal clause queries the database to find out when john both taught logic and was a professor: :- teaches(john, logic, T), rank(john, professor, T).
Следећи циљ клаузула је да упита базе података да би сазнали када је  Џон предавао логику и био професор: :- наставник(Џон, логика, T), ранг(Џон, професор, T).