:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:57:39 GMT % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e'). */ %; %; 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 %; %; Method (D) %; %; @book{Mueller:2006, %; author = "Erik T. Mueller", %; year = "2006", %; title = "Commonsense Reasoning", %; address = "San Francisco", %; publisher = "Morgan Kaufmann/Elsevier", %; } %; % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:21 % load foundations/Root.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:22 % load foundations/EC.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:24 % sort object % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:25 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:25 sort(object). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:25 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:25 sort(object). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:26 % object A,B % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:27 t(object,a). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:27 object(a). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:27 t(object,b). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:27 object(b). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:28 % fluent P(object) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:29 fluent(p(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:29 fluents([p/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:29 fluents([p/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:29 meta_argtypes(p(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:29 meta_argtypes(p(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:29 mpred_prop(p(object),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:29 mpred_prop(p(object),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:29 meta_argtypes(p(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:29 meta_argtypes(p(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:29 % fluent Q(object) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:30 fluent(q(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:30 fluents([q/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:30 fluents([q/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:30 meta_argtypes(q(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:30 meta_argtypes(q(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:30 mpred_prop(q(object),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:30 mpred_prop(q(object),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:30 meta_argtypes(q(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:30 meta_argtypes(q(object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:30 % predicate Ab(object,time) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:31 predicate(ab(object,time)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:31 actions([ab/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:31 actions([ab/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:31 meta_argtypes(ab(object,time)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:31 meta_argtypes(ab(object,time)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:31 mpred_prop(ab(object,time),predicate). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:31 mpred_prop(ab(object,time),predicate). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:31 meta_argtypes(ab(object,time)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:31 meta_argtypes(ab(object,time)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:32 % [object,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:33 % HoldsAt(P(object),time) & !Ab(object,time) -> % HoldsAt(Q(object),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:34 holds_at(p(Object), Time), not(ab(Object, Time)) -> holds_at(q(Object), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:34 reactive_rule([ holds(p(Object),Time), not(ab(Object,Time)) ], [holds(q(Object),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:36 % HoldsAt(P(A),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:36 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(p(a))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:36 initially(p(a)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:36 initial_state([p(a)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:37 % HoldsAt(P(B),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:37 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(p(b))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:37 initially(p(b)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:37 initial_state([p(b)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:39 % Theta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:39 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:39 % Ab(A,0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:39 /* fix_axiom_head(Fix_Axiom_Head) -> [axiom_uses(theta), ->, axiom_uses(theta, Fix_Axiom_Head)]. */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:39 /* [axiom_uses(theta, Fix_Axiom_Head)] -> ta(Fix_Axiom_Head, tvs1=[], tvs2=[], ab(a, 0)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:39 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:39 axiom_uses(theta, Axiom_Uses) -> ab(a, 0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:39 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:39 reactive_rule([axiom_uses(theta,Axiom_Uses)],[ab(a,0)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:41 % range time 0 0 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:42 range(time,0,0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:42 range(time,0,0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:42 % range offset 1 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:43 range(offset,1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:43 range(offset,1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:44 % completion Theta Ab % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:45 completion(theta). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:45 completion(theta). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:45 completion(ab). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter12/MethodB.e:45 completion(ab). %; End of file.