:- set_prolog_flag(double_quotes, atom).
:- set_prolog_stack(local, limit(2*10**9)).

:- use_module(library(plunit)).

:- [utils2].
:- [prover2].
:- [fluent2].
:- [sitcalc2].
:- [domain2].