Code: Select all
...
uncertainProcess()
...
facts
sleeping:integer:=0.
predicates
increaseSleep:().
clauses
increaseSleep():-
sleeping<500,
sleeping:=sleeping+10,
uncertainProcess(),!.
increaseSleep():-
stdio::write("uncertainProcess failed"),!.
predicates
uncertainProcess:().
clauses
uncertainProcess():-
programControl::sleep(sleeping),
file::existfile("myfile.txt"),
stdio::write("I have seen the file"),!.
uncertainProcess():-
increaseSleep(),!.