:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/BrewkaDixKonolige1997/Wine.e',47). % From E: % % :-call_pel_directive(translate(unskipped,'/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e.lps')). :- call_pel_directive(translate(unskipped, '/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e.lps')). :-include(library('ec_planner/ec_test_incl')). :-expects_dialect(lps). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/BrewkaDixKonolige1997/Wine.e',47). % From E: % % :-call_pel_directive(translate(begining,'/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e.lps')). :- call_pel_directive(translate(begining, '/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e.lps')). % Sat, 10 Oct 2020 15:31:50 GMT File: (0x559e4b46ad00)%; %; Copyright (c) 2005 IBM Corporation and others. %; All rights reserved. This program and the accompanying materials %; are made available under the terms of the Common Public License v1.0 %; which accompanies this distribution, and is available at %; http://www.eclipse.org/legal/cpl-v10.html %; %; Contributors: %; IBM - Initial implementation %; %; @phdthesis{Cassimatis:2002, %; author = "Nicholas L. Cassimatis", %; year = "2002", %; title = "Polyscheme: A Cognitive Architecture for Integrating Multiple Representation and Inference Schemes", %; address = "Cambridge, MA", %; school = "Program in Media Arts and Sciences, School of Architecture and Planning, Massachusetts Institute of Technology", %; } %; :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',20). % load foundations/Root.e % From E: % % :-call_pel_directive(load('foundations/Root.e')). :- call_pel_directive(load('foundations/Root.e')). % load foundations/EC.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',20). % From E: % % :-call_pel_directive(load('foundations/EC.e')). :- call_pel_directive(load('foundations/EC.e')). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',22). % load examples/Cassimatis2002/PolySpace.e % From E: % % :-call_pel_directive(load('examples/Cassimatis2002/PolySpace.e')). :- call_pel_directive(load('examples/Cassimatis2002/PolySpace.e')). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',24). % grid G1 % From E: % % t(grid,g1). grid(g1). % object X,Y,Screen :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',24). % From E: % % t(object,x). object(x). % From E: % % t(object,y). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',24). object(y). % From E: % % t(object,screen). object(screen). %; perceptions: % Shape(X,Round). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',27). % From E: % % shape(x,round). shape(x,round). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',29). % Color(X,Red). % From E: % % color(x,red). color(x,red). % Shape(Y,Round). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',29). % From E: % % shape(y,round). shape(y,round). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',31). % Color(Y,Red). % From E: % % color(y,red). color(y,red). % Shape(Screen,Square). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',31). % From E: % % shape(screen,square). shape(screen,square). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',33). % Color(Screen,Green). % From E: % % color(screen,green). color(screen,green). % [time] % HoldsAt(Location(G1,Screen,2,0),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',33). % From E: % % holds_at(location(g1,screen,2,0),Time). % [Time]. location(g1, screen, 2, 0). % l_int(holds(location(g1,screen,2,0),Time_At),[]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',35). % HoldsAt(Location(G1,X,1,1),0). % From E: % % holds_at(location(g1,x,1,1),0). initially location(g1, x, 1, 1). % initial_state([location(g1,x,1,1)]). % "% =================================". % HoldsAt(Location(G1,Y,3,1),2). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',35). % From E: % % holds_at(location(g1,y,3,1),2). holds_at(location(g1,y,3,1),2). % [xcoord,ycoord,time] % xcoord!=% 2 & !(xcoord=1 & ycoord=1 & time=0) -> % !HoldsAt(Location(G1,X,xcoord,ycoord),time) | % xcoord=3 & ycoord=1 & time=2 & Equal(X,Y). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',39). % From E: % % '->'( % (Xcoord\=2 , % not( % (Xcoord=1 , % Ycoord=1 , % Time=0))), % (holds_at(not(location(g1,x,Xcoord,Ycoord)),Time) ; % (Xcoord=3 , % Ycoord=1 , % Time=2 , % equal(x,y)))). % [Time]. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',39). Xcoord\=2, false((equals(Xcoord, 1), equals(Ycoord, 1), equals(Time, 0))) -> ( holds_at(not(location(g1, x, Xcoord, Ycoord)), Time) ; Xcoord=3, Ycoord=1, Time=2, equal(x, y) ). % [xcoord,ycoord,time] % xcoord!=% 2 & !(xcoord=3 & ycoord=1 & time=2) -> % !HoldsAt(Location(G1,Y,xcoord,ycoord),time) | % xcoord=1 & ycoord=1 & time=0 & Equal(X,Y). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',44). % From E: % % '->'( % (Xcoord\=2 , % not( % (Xcoord=3 , % Ycoord=1 , % Time=2))), % (holds_at(not(location(g1,y,Xcoord,Ycoord)),Time) ; % (Xcoord=1 , % Ycoord=1 , % Time=0 , % equal(x,y)))). % [Time]. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',44). Xcoord\=2, false((equals(Xcoord, 3), equals(Ycoord, 1), equals(Time, 2))) -> ( holds_at(not(location(g1, y, Xcoord, Ycoord)), Time) ; Xcoord=1, Ycoord=1, Time=0, equal(x, y) ). % range time 0 2 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',47). % From E: % % :-call_pel_directive(range(time,0,2)). :- call_pel_directive(range(time, 0, 2)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',49). % range xcoord 0 4 % From E: % % :-call_pel_directive(range(xcoord,0,4)). :- call_pel_directive(range(xcoord, 0, 4)). % range ycoord 0 2 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',49). % From E: % % :-call_pel_directive(range(ycoord,0,2)). :- call_pel_directive(range(ycoord, 0, 2)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',51). % range offset 0 0 % From E: % % :-call_pel_directive(range(offset,0,0)). :- call_pel_directive(range(offset, 0, 0)). %; End of file. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e',53). % From E: % % :-call_pel_directive(translate(ending,'/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e.lps')). :- call_pel_directive(translate(ending, '/pack/logicmoo_ec/ext/ec_sources/examples/Cassimatis2002/OneScreen.e.lps')).