Программирование на языке ПРОЛОГ для искуственного интеллекта




Усовершенствование процедуры ответпольз - часть 5


Одно из них

        конкретный( Терм)

истинно, если Терм не содержит переменных. Другое

        конкретизация( Терм, Терм1)

означает, что Терм1 есть некоторая конкретизация (частный случай) терма Терм, т. е. Терм - это утверждение не менее общее, чем Терм1. Например:

        конкретизация( X передает информацию Y,
                                    мэри передает информацию Z)

Обе процедуры основаны на еще одной процедуре:

        нумпер( Терм, N, М)

Эта процедура "нумерует" переменные, содержащиеся в Терм, заменяя каждую из них на некоторый специальный новый терм таким образом, чтобы эти "нумерующие" термы соответствовали числам от N до М-1, Например, пусть эти термы имеют вид

        пер/0, пер/1, пер/2, ...

тогда в результате обращения к системе

        ?-  Терм - f( X, t( a,Y, X) ), нумпер( Терм, 5, М).

мы получим

        Терм = f( пер/5, t( а, пер/6, пер/5) )
        М = 7

Отношение, подобное нумпер, часто входит в состав пролог-системы в качестве встроенной процедуры. Если это не так, то его можно реализовать программно следующим способом:

        нумпер( Терм, N, Nплюс1) :-
                var( Терм),  !,
                                % Переменная ?
                Терм = пер/N,



Содержание  Назад  Вперед