Упражнение

Используя директиву check_determ, определите, где следующая програм-

ма нуждается в изменениях (два места).

/* Программа CH10EX05.PRO */

diagnostics

check_determ

database

counter( integer )

predicates

nondeterm repeat

my_retract (dbasedom)

count

goal

count.

clauses

repeat.

repeat :- repeat.

my_retract (X) :- retract (X).

count :- assert (counter(0) ),fail.

count :-

repeat,counter(X),Y=X+1,my_retract( counter(X) ),

asserta (counter(Y) ),write(Y,"\n"),Y=100.