:- compile('$REGULUS/Examples/Toy1/Prolog/toy1_app_asynchronous').

:- toy1_app(3975, 3985).

:- halt.