This notebook uses the LPS profile. This is an example LPS program:
% :- notrace(use_module(library(logicmoo_common))). :- expects_dialect(lps). % Let it rain! maxTime(8). actions rain(_). observe rain(0) from 0 to 1. if rain(T1) from T1 to T2 then rain(T2) from T2 to T3.
And its execution will be visualized below:
% Optional background formulae, loaded with every query