Логическое программирование

       

Повтор, определяемый пользователем


repeat.

repeat:-

    repeat.

С помощью предиката repeat можно устроить цикл типа "до тех пор, пока".

repetive:-

   repeat,

   <повторяемое тело цикла>,

  <условие выхода>,   !.

Пример. Программа “Эхо” считывает терм, введенный с клавиатуры, и дублирует его на экран, если пользователь введет stop, то программа завершается.

do-echo:-

   repeat,

   read(Term),

   write_ln(Term),

   check(Term),!.

check(stop):-

   write_ln(' - OK,bye').

check(_):-

   fail.

 



Содержание раздела