Cтраница 4
Каждая подстановка в, дающая правильный ответ для логической программы, вычисляется SLD-резолюцией с помощью некоторого правила вычислений. [46]
ПРОЛОГ в сущности предлагает лишь аппарат для выполнения логических программ. Разнообразные версии ПРОЛОГа, имея в своей основе один и тот же аппарат логического вывода, различаются, по большей части, в стиле общения с пользователем. [47]
Читателю должно быть теперь понятно, что исполнение логической программы не обязательно следует только по одному пути вычислений. Существование неоднозначного выбора на различных шагах вычисления означает, что может быть порождено несколько вычислений, дающих, возможно, отличающиеся друг от друга результаты. Сейчас мы переходим к рассмотрению различных видов вычислений, а также условий, влияющих на их порождение во время исполнения программы. [48]
Явление восстановления сложно, и поэтому нелегко сформулировать логическую программу экспериментов. [49]
Существует несколько способов для достижения такого поведения в логических программах. Все они основываются, в конечном счете, на использовании нескольких процедур с одним и тем же именем: множество процедур можно рассматривать как единый объект, к которому обращается вызов, но который предлагает при входе в него несколько различных внутренних траекторий. [50]