:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/AkmanEtAl2004/ZooWorld.e',439). :- call_pel_directive(translate(unskipped, '/pack/logicmoo_ec/ext/ec_sources/examples/Antoniou1997/Dropout.pel')). :-include(library('ec_planner/ec_test_incl')). :-expects_dialect(ecalc). :- call_pel_directive(translate(begining, '/pack/logicmoo_ec/ext/ec_sources/examples/Antoniou1997/Dropout.pel')). %; %; 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 %; %; dealing with conflicting defaults by adding conditions %; to one of the conflicting rules %; \fullciteA[p. 56]{Antoniou:1997} %; %; @book{Antoniou:1997, %; author = "Grigoris Antoniou", %; year = "1997", %; title = "Nonmonotonic Reasoning", %; address = "Cambridge, MA", %; publisher = "MIT Press", %; } %; :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Antoniou1997/Dropout.e',24). % load foundations/Root.e :- call_pel_directive(load('foundations/Root.e')). % load foundations/EC.e :- call_pel_directive(load('foundations/EC.e')). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Antoniou1997/Dropout.e',27). % sort x sort(x). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Antoniou1997/Dropout.e',29). % predicate Dropout(x) predicate(dropout(x)). % predicate Adult(x) predicate(adult(x)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Antoniou1997/Dropout.e',31). % predicate Employed(x) predicate(employed(x)). % predicate Ab1(x) predicate(ab1(x)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Antoniou1997/Dropout.e',33). % predicate Ab2(x) predicate(ab2(x)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Antoniou1997/Dropout.e',35). % x Bill t(x,bill). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Antoniou1997/Dropout.e',37). % Dropout(Bill). dropout(bill). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Antoniou1997/Dropout.e',39). % [x] % Dropout(x) & !Ab1(x) -> Adult(x). dropout(X), not(ab1(X)) -> adult(X). % [x] % Adult(x) & !Dropout(x) & !Ab2(x) -> Employed(x). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Antoniou1997/Dropout.e',39). adult(X), not(dropout(X)), not(ab2(X)) -> employed(X). % range time 0 0 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Antoniou1997/Dropout.e',41). :- call_pel_directive(range(time, 0, 0)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Antoniou1997/Dropout.e',43). % range offset 1 1 :- call_pel_directive(range(offset, 1, 1)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Antoniou1997/Dropout.e',45). % completion Theta Ab1 :- call_pel_directive(completion(theta)). :- call_pel_directive(completion(ab1)). % completion Theta Ab2 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Antoniou1997/Dropout.e',45). :- call_pel_directive(completion(theta)). :- call_pel_directive(completion(ab2)). %; End of file. :- call_pel_directive(translate(ending, '/pack/logicmoo_ec/ext/ec_sources/examples/Antoniou1997/Dropout.pel')).