1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'examples/BrewkaDixKonolige1997/Wine.e').
    4%;
    5%; Copyright (c) 2005 IBM Corporation and others.
    6%; All rights reserved. This program and the accompanying materials
    7%; are made available under the terms of the Common Public License v1.0
    8%; which accompanies this distribution, and is available at
    9%; http://www.eclipse.org/legal/cpl-v10.html
   10%;
   11%; Contributors:
   12%; IBM - Initial implementation
   13%;
   14%; reasoning by cases
   15%; \fullciteA[p. 45]{BrewkaDixKonolige:1997}
   16%;
   17%; @book{BrewkaDixKonolige:1997,
   18%;   author = "Gerhard Brewka and J{\"{u}}rgen Dix and Kurt Konolige",
   19%;   year = "1997",
   20%;   title = "Nonmonotonic Reasoning: An Overview",
   21%;   address = "Stanford, CA",
   22%;   publisher = "CSLI",
   23%; }
   24%;
   25
   26% load foundations/Root.e
   27
   28% load foundations/EC.e
   29
   30% sort x
   31==> sort(x).
   32
   33% x Person
   34==> t(x,person).
   35
   36% predicate LikesWine(x)
   37 %  predicate(likesWine(x)).
   38==> mpred_prop(likesWine(x),predicate).
   39==> meta_argtypes(likesWine(x)).
   40
   41% predicate Italian(x)
   42 %  predicate(italian(x)).
   43==> mpred_prop(italian(x),predicate).
   44==> meta_argtypes(italian(x)).
   45
   46% predicate French(x)
   47 %  predicate(french(x)).
   48==> mpred_prop(french(x),predicate).
   49==> meta_argtypes(french(x)).
   50
   51% predicate Ab1(x)
   52 %  predicate(ab1(x)).
   53==> mpred_prop(ab1(x),predicate).
   54==> meta_argtypes(ab1(x)).
   55
   56% predicate Ab2(x)
   57 %  predicate(ab2(x)).
   58==> mpred_prop(ab2(x),predicate).
   59==> meta_argtypes(ab2(x)).
   60
   61
   62% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/BrewkaDixKonolige1997/Wine.e:34
   63% [x]
   64 % Italian(x) & !Ab1(x) -> LikesWine(x).
   65axiom(likesWine(X),
   66    [italian(X), not(ab1(X))]).
   67
   68
   69% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/BrewkaDixKonolige1997/Wine.e:35
   70% [x]
   71 % French(x) & !Ab2(x) -> LikesWine(x).
   72axiom(likesWine(X),
   73    [french(X), not(ab2(X))]).
   74
   75
   76% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/BrewkaDixKonolige1997/Wine.e:36
   77% [x]
   78 % Italian(x) -> !French(x).
   79axiom(not(french(X)),
   80    [italian(X)]).
   81
   82
   83% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/BrewkaDixKonolige1997/Wine.e:38
   84% Italian(Person) | French(Person).
   85
   86 /*   (   italian(person)
   87      ;   french(person)
   88      ).
   89 */
   90
   91 /*  italian(person) :-
   92       not(french(person)).
   93 */
   94axiom(italian(person),
   95    [not(french(person))]).
   96
   97 /*  french(person) :-
   98       not(italian(person)).
   99 */
  100axiom(french(person),
  101    [not(italian(person))]).
  102
  103% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/BrewkaDixKonolige1997/Wine.e:40
  104% range time 0 0
  105% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/BrewkaDixKonolige1997/Wine.e:41
  106==> range(time,0,0).
  107
  108% range offset 1 1
  109% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/BrewkaDixKonolige1997/Wine.e:42
  110==> range(offset,1,1).
  111
  112% completion Theta Ab1
  113% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/BrewkaDixKonolige1997/Wine.e:44
  114==> completion(theta).
  115==> completion(ab1).
  116
  117% completion Theta Ab2
  118% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/BrewkaDixKonolige1997/Wine.e:45
  119==> completion(theta).
  120==> completion(ab2).
  121%; End of file.