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




Рекурсивное определение правил - часть 5


    мать( X, Y) :-                         % X - мать Y, если
            родитель( X, Y),            % X - родитель Y и
            женщина( X).                % X - женщина

родительродителя( X, Z) :-
                                    % X - родитель родителя Z, если
            родитель( X, Y),            % X - родитель Y и
            родитель( Y, Z).            % Y - родитель Z

    сестра( X, Y) :-                       % X - сестра Y
            родитель( Z, X),
            родитель( Z, Y)

                            % X и Y имеют общего родителя
            женщина( X, Y),            % X - женщина и
            различны( X, Y).           % X отличается от Y




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