root@gitlab:/opt/logicmoo_workspace/packs_sys/adventures/flux-frdcsa# ./flux-frdcsa-swi security/security
swipl -s flux_frdcsa_swi.pl -g "['data-git/capsules/security/security.d.pl'],['data-git/capsules/security/security.p.pl'],main"
================================================================================
CHR compiler WARNING: deprecated syntax      constraints room_occupied/1.
    `--> Instead use :- chr_constraint room_occupied/1.
    Support for deprecated syntax will be discontinued in the near future!
================================================================================
Warning: /opt/logicmoo_workspace/packs_sys/adventures/flux-frdcsa/flux_frdcsa_swi.pl:27:
        Singleton variables: [P2,Plan]


    zInit.
    [location(desk,office),location(apple,kitchen),location(flashlight,desk),location(washingMachine,cellar),location(nani,washingMachine),location(broccoli,kitchen),location(crackers,kitchen),location(computer,office),location(envelope,desk),location(stamp,envelope),location(cellarKey,envelope),here(kitchen),opened(office,hall),opened(kitchen,office),opened(hall,diningRoom),opened(diningRoom,kitchen),locked(kitchen,cellar)].

[location(59897774,466286768837),location(5075402799,48368685518133),location(40512427535335156244,59897774),location(2397116116265836053325528849,551826475005),location(58297720,2397116116265836053325528849),location(4175286374579736,48368685518133),location(4736705770667833,48368685518133),location(4673138084372389,466286768837),location(3954573800460443,59897774),location(5864087169,3954573800460443),location(465829143478994941,3954573800460443),here(48368685518133),opened(466286768837,60616850),opened(48368685518133,466286768837),opened(60616850,37243655612032929614),opened(37243655612032929614,48368685518133),locked(48368685518133,551826475005)|_52778]


Trying queued branch:
[branch, []]



[actions, [goto(kitchen,office), goto(kitchen,diningRoom), take(apple), take(broccoli), take(crackers), ]]

[action, [goto(kitchen,office), ]]
[branch2, [goto(kitchen,office), ]]
[z2, [here(office), location(desk,office), location(apple,kitchen), location(flashlight,desk), location(washingMachine,cellar), location(nani,washingMachine), location(broccoli,kitchen), location(crackers,kitchen), location(computer,office), location(envelope,desk), location(stamp,envelope), location(cellarKey,envelope), opened(office,hall), opened(kitchen,office), opened(hall,diningRoom), opened(diningRoom,kitchen), locked(kitchen,cellar), ]]

[action, [goto(kitchen,diningRoom), ]]
[branch2, [goto(kitchen,diningRoom), ]]
[z2, [here(diningRoom), location(desk,office), location(apple,kitchen), location(flashlight,desk), location(washingMachine,cellar), location(nani,washingMachine), location(broccoli,kitchen), location(crackers,kitchen), location(computer,office), location(envelope,desk), location(stamp,envelope), location(cellarKey,envelope), opened(office,hall), opened(kitchen,office), opened(hall,diningRoom), opened(diningRoom,kitchen), locked(kitchen,cellar), ]]

[action, [take(apple), ]]
[branch2, [take(apple), ]]
[z2, [have(apple), location(desk,office), location(flashlight,desk), location(washingMachine,cellar), location(nani,washingMachine), location(broccoli,kitchen), location(crackers,kitchen), location(computer,office), location(envelope,desk), location(stamp,envelope), location(cellarKey,envelope), here(kitchen), opened(office,hall), opened(kitchen,office), opened(hall,diningRoom), opened(diningRoom,kitchen), locked(kitchen,cellar), ]]

[action, [take(broccoli), ]]
[branch2, [take(broccoli), ]]
[z2, [have(broccoli), location(desk,office), location(apple,kitchen), location(flashlight,desk), location(washingMachine,cellar), location(nani,washingMachine), location(crackers,kitchen), location(computer,office), location(envelope,desk), location(stamp,envelope), location(cellarKey,envelope), here(kitchen), opened(office,hall), opened(kitchen,office), opened(hall,diningRoom), opened(diningRoom,kitchen), locked(kitchen,cellar), ]]

[action, [take(crackers), ]]
[branch2, [take(crackers), ]]
[z2, [have(crackers), location(desk,office), location(apple,kitchen), location(flashlight,desk), location(washingMachine,cellar), location(nani,washingMachine), location(broccoli,kitchen), location(computer,office), location(envelope,desk), location(stamp,envelope), location(cellarKey,envelope), here(kitchen), opened(office,hall), opened(kitchen,office), opened(hall,diningRoom), opened(diningRoom,kitchen), locked(kitchen,cellar), ]]


Trying queued branch:
[branch, [goto(kitchen,office), ]]



[actions, [goto(office,hall), goto(office,kitchen), take(desk), take(computer), take(flashlight), take(envelope), take(stamp), take(cellarKey), ]]

[action, [goto(office,hall), ]]
[branch2, [goto(kitchen,office), goto(office,hall), ]]
[z2, [here(hall), location(desk,office), location(apple,kitchen), location(flashlight,desk), location(washingMachine,cellar), location(nani,washingMachine), location(broccoli,kitchen), location(crackers,kitchen), location(computer,office), location(envelope,desk), location(stamp,envelope), location(cellarKey,envelope), opened(office,hall), opened(kitchen,office), opened(hall,diningRoom), opened(diningRoom,kitchen), locked(kitchen,cellar), ]]

[action, [goto(office,kitchen), ]]
[branch2, [goto(kitchen,office), goto(office,kitchen), ]]
[z2, [here(kitchen), location(desk,office), location(apple,kitchen), location(flashlight,desk), location(washingMachine,cellar), location(nani,washingMachine), location(broccoli,kitchen), location(crackers,kitchen), location(computer,office), location(envelope,desk), location(stamp,envelope), location(cellarKey,envelope), opened(office,hall), opened(kitchen,office), opened(hall,diningRoom), opened(diningRoom,kitchen), locked(kitchen,cellar), ]]

[action, [take(desk), ]]
[branch2, [goto(kitchen,office), take(desk), ]]
[z2, [have(desk), here(office), location(apple,kitchen), location(flashlight,desk), location(washingMachine,cellar), location(nani,washingMachine), location(broccoli,kitchen), location(crackers,kitchen), location(computer,office), location(envelope,desk), location(stamp,envelope), location(cellarKey,envelope), opened(office,hall), opened(kitchen,office), opened(hall,diningRoom), opened(diningRoom,kitchen), locked(kitchen,cellar), ]]

[action, [take(computer), ]]
[branch2, [goto(kitchen,office), take(computer), ]]
[z2, [have(computer), here(office), location(desk,office), location(apple,kitchen), location(flashlight,desk), location(washingMachine,cellar), location(nani,washingMachine), location(broccoli,kitchen), location(crackers,kitchen), location(envelope,desk), location(stamp,envelope), location(cellarKey,envelope), opened(office,hall), opened(kitchen,office), opened(hall,diningRoom), opened(diningRoom,kitchen), locked(kitchen,cellar), ]]

[action, [take(flashlight), ]]
[branch2, [goto(kitchen,office), take(flashlight), ]]
[z2, [have(flashlight), here(office), location(desk,office), location(apple,kitchen), location(washingMachine,cellar), location(nani,washingMachine), location(broccoli,kitchen), location(crackers,kitchen), location(computer,office), location(envelope,desk), location(stamp,envelope), location(cellarKey,envelope), opened(office,hall), opened(kitchen,office), opened(hall,diningRoom), opened(diningRoom,kitchen), locked(kitchen,cellar), ]]

[action, [take(envelope), ]]
[branch2, [goto(kitchen,office), take(envelope), ]]
[z2, [have(envelope), here(office), location(desk,office), location(apple,kitchen), location(flashlight,desk), location(washingMachine,cellar), location(nani,washingMachine), location(broccoli,kitchen), location(crackers,kitchen), location(computer,office), location(stamp,envelope), location(cellarKey,envelope), opened(office,hall), opened(kitchen,office), opened(hall,diningRoom), opened(diningRoom,kitchen), locked(kitchen,cellar), ]]

[action, [take(stamp), ]]
[branch2, [goto(kitchen,office), take(stamp), ]]
[z2, [have(stamp), here(office), location(desk,office), location(apple,kitchen), location(flashlight,desk), location(washingMachine,cellar), location(nani,washingMachine), location(broccoli,kitchen), location(crackers,kitchen), location(computer,office), location(envelope,desk), location(cellarKey,envelope), opened(office,hall), opened(kitchen,office), opened(hall,diningRoom), opened(diningRoom,kitchen), locked(kitchen,cellar), ]]

[action, [take(cellarKey), ]]
[branch2, [goto(kitchen,office), take(cellarKey), ]]
[z2, [have(cellarKey), here(office), location(desk,office), location(apple,kitchen), location(flashlight,desk), location(washingMachine,cellar), location(nani,washingMachine), location(broccoli,kitchen), location(crackers,kitchen), location(computer,office), location(envelope,desk), location(stamp,envelope), opened(office,hall), opened(kitchen,office), opened(hall,diningRoom), opened(diningRoom,kitchen), locked(kitchen,cellar), ]]



--------------------------------------------

Plan found!

[Final state:, [have(cellarKey), here(office), location(desk,office), location(apple,kitchen), location(flashlight,desk), location(washingMachine,cellar), location(nani,washingMachine), location(broccoli,kitchen), location(crackers,kitchen), location(computer,office), location(envelope,desk), location(stamp,envelope), opened(office,hall), opened(kitchen,office), opened(hall,diningRoom), opened(diningRoom,kitchen), locked(kitchen,cellar), ]]

[action, [take(cellarKey), ]]

[Found plan:, [goto(kitchen,office), take(cellarKey), ]]
?-