timeRelatedTheory
Clause database used for time-related tests:
a(X) :- b(X).
b(500) :- sleep(500).
b(600) :- sleep(600).
b(700) :- sleep(700).Content copied to clipboard
Clause database used for time-related tests:
a(X) :- b(X).
b(500) :- sleep(500).
b(600) :- sleep(600).
b(700) :- sleep(700).