This notebook uses the LPS profile. This is an example LPS program:
% :- notrace(use_module(library(logicmoo_common))).
% Let it 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