discuss.visual-prolog.com

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(),!.