нужно для того, чтобы попросить

                nl, write( 'Это правда:'),

                write( Цель), write( ?), nl.

Обращение к процедуре запрос_перем( Цель)

нужно для того, чтобы попросить пользователя указать значение каждой из переменных, содержащихся в утверждении Цель:

        запрос_перем( Терм) :-

                var( Терм),  !,

                 % Переменная ?

                nl, write( Терм), write( '='),

                read( Терм).

                   % Считать значение переменной

        запрос_перем( Терм) :-

                Терм =.. [Функтор | Аргументы],

                                % Получить аргументы структуры

        запрос_арг( Аргументы).

                                % Запросить значения переменных в аргументах

        запрос_арг( [ ]).

        запрос_арг( [Терм | Термы]) :-

                запрос_перем( Терм),

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

---

Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий

---

---

---