нравится(джон,Х)
может рассматриваться как обычная структура с функтором нравится (имеющим два аргумента) и аргументами джон и X. С другой стороны, правило можно рассматривать как структуру с главным функтором ':-'(с двумя аргументами). Этот функтор объявлен как инфиксный оператор. Первым аргументом является заголовок утверждения, а вторым – его тело. Так что
нравится(джон, X):- нравится(Х,вино)
есть не что иное, как
':-' (нравится(джон,Х), нравится(Х,вино))
– совершенно обычная структура. Далее, если правило содержит более одного целевого утверждения, то они считаются объединенными в структуры с функтором ',' (с двумя аргументами). Этот предикат также объявлен как инфиксный оператор. Так что
прародитель(Х, Z):- родитель(Х, Y), родитель(Y,Z)
есть в действительности просто
':-'(прародитель(Х,Z),Y(родитель(Х,Y),родитель(Y, Z))
Далее приведены предикаты, позволяющие программисту анализировать и изменять его утверждения.
listing (A)
Выполнение целевого утверждения listing(A), когда значением А является атом, приводит к тому, что все утверждения, предикат которых совпадает с этим атомом, будут записаны в виде термов Пролога в текущий файл вывода. Таким способом вы можете проверить, какие утверждения для некоторого предиката имеются в базе данных на текущий момент. Конкретный формат представления выводимых утверждений зависит от используемой вами реализации Пролог-системы. Заметим, что будут представлены все утверждения, предикат которых совпадает с атомом независимо от того, сколько аргументов они имеют. Использование предиката listing может помочь вам обнаружить ошибки в программе. Так, в приведенном далее примере сеанса работы с системой программист обнаруживает, что он неправильно определил предикат обр.
?- [test].
test consulted
да
?- обр([a,b,c,d],X).
нет
?- listing(обр).
обр([],[]).
обр ([_44|_45],_38):-обр(_45,_47),присоединить(_47,[_44],_38).
да
Печать утверждений предиката обр показывает, что атом присоединить написан в программе с ошибкой.
clause(X, Y)
Выполнение целевого утверждения вида clause(X, Y) приводит к тому, что X и Y сопоставляются с заголовком и телом некоторого имеющегося в базе данных утверждения. При попытке выполнить указанное целевое утверждение переменная X должна быть до такой степени конкретизирована, чтобы был известен главный предикат утверждения. Если для данного предиката нет утверждений, то доказательство согласованности целевого утверждения заканчивается неудачей. Если имеется несколько утверждений, соответствующих предикату, то Пролог выбирает первое из них. В этом случае если предпринимается попытка вновь согласовать целевое утверждение, то будет выбрано следующее утверждение и так далее.
