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).
Наступне речення мети запитує базу даних, щоб дізнатися, коли Джон викладав логіку і був професором: :- teaches(john, logic, T), rank(john, professor, T).