ПРИМЕР ПРОГРАММЫ НА ЯЗЫКЕ ПРОЛОГ

военный (фамилия ('Павлов'), звание ('генерал')). военный (фамилия ('Климов'), звание ('полковник')). военный (фамилия ('Максимов'), звание ('полковник')). военный (фамилия ('Тихонов') звание ('сержант')). военный (фамилия ('Николаев'), звание ('сержант')). военный (фамилия ('Абрамов'), ' звание (капитан ')). военный (фамилия ('Дмитриев') звание ('лейтенант')). военный (фамилия ('Федоров'), звание ('капитан')). военный (фамилия ('Дарьин'), звание ( ‘майор')). одинаковое_ звание (А, В):-

военный (А,R), военный (В,R).

“Истинно то, что военный А имеет то же самое звание, что и военный В, если истинно то, что военный А имеет звание R, и то, что военный В имеет звание R.”

Иначе: ?-одинаковое_ звание (фамилия (’Абрамов’)), фамилия(‘Федоров’)) Ответ: да.