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:

go(Timeline).

% Optional background formulae, loaded with every query