1:- dynamic option/2. 2 3setOption(Option,Value) :- 4 retractall(option(_,_)), 5 assertz(option(Option,Value)). 6 7:- setOption(iemConfiguration,1).
13iemConfiguration(1,[ 14 currentPlanningCapsule('flp/flp'), 15 currentPlanner('LPG'), 16 currentPlanningGoals(['directly-holding'(andrewDougherty,bluetoothKeyboard)]) 17 ]). 18iemConfiguration(2,[ 19 currentPlanningCapsule('mealplanning/caloriesingle/current/caloriesingle'), 20 currentPlanner('LPG'), 21 currentPlanningGoals(['isReplete'(andrewDougherty)]) 22 ]). 23iemConfiguration(3,[ 24 currentPlanningCapsule('finance/current/tsimpleopticclp'), 25 currentPlanner('OPTIC_CLP'), 26 currentPlanningGoals([]) 27 ]). 28 29currentPlanningCapsule(Capsule) :- 30 option(iemConfiguration,IEMConfiguration), 31 iemConfiguration(IEMConfiguration,Arguments), 32 argt(Arguments,[currentPlanningCapsule(Capsule)]). 33 34currentPlanner(Planner) :- 35 option(iemConfiguration,IEMConfiguration), 36 iemConfiguration(IEMConfiguration,Arguments), 37 argt(Arguments,[currentPlanner(Planner)]). 38 39currentPlanningGoals(Goals) :- 40 option(iemConfiguration,IEMConfiguration), 41 iemConfiguration(IEMConfiguration,Arguments), 42 argt(Arguments,[currentPlanningGoals(Goals)])