Did you know ... Search Documentation:
Pack prologmud_I7 -- prolog/ec_planner/examples/Mueller2006/Chapter12/DefaultLocation.txt

# # 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 #

loading examples/Mueller2006/Chapter12/DefaultLocation.e loading foundations/Root.e loading foundations/EC.e 61 variables and 160 clauses relsat solver 1 model --- model 1: 0 InRoom(Nathan, Kitchen). InRoom(TV, LivingRoom). PluggedIn(TV). Happens(Walk(Nathan, Kitchen, LivingRoom), 0). 1 -InRoom(Nathan, Kitchen). +InRoom(Nathan, LivingRoom). Happens(TurnOn(Nathan, TV), 1). 2 +On(TV). P !Ab1(TV, 0). !Ab1(TV, 1). !Ab1(TV, 2). !Ab2(Kitchen, 0). !Ab2(Kitchen, 1). !Ab2(Kitchen, 2). !Ab2(LivingRoom, 0). !Ab2(LivingRoom, 1). !Ab2(LivingRoom, 2). !Happens(TurnOn(Nathan, TV), 0). !Happens(Walk(Nathan, Kitchen, Kitchen), 0). !Happens(Walk(Nathan, Kitchen, Kitchen), 1). !Happens(Walk(Nathan, Kitchen, LivingRoom), 1). !Happens(Walk(Nathan, LivingRoom, Kitchen), 0). !Happens(Walk(Nathan, LivingRoom, Kitchen), 1). !Happens(Walk(Nathan, LivingRoom, LivingRoom), 0). !Happens(Walk(Nathan, LivingRoom, LivingRoom), 1). !ReleasedAt(BrokenSwitch(TV), 0). !ReleasedAt(BrokenSwitch(TV), 1). !ReleasedAt(BrokenSwitch(TV), 2). !ReleasedAt(InRoom(Nathan, Kitchen), 0). !ReleasedAt(InRoom(Nathan, Kitchen), 1). !ReleasedAt(InRoom(Nathan, Kitchen), 2). !ReleasedAt(InRoom(Nathan, LivingRoom), 0). !ReleasedAt(InRoom(Nathan, LivingRoom), 1). !ReleasedAt(InRoom(Nathan, LivingRoom), 2). !ReleasedAt(InRoom(TV, Kitchen), 0). !ReleasedAt(InRoom(TV, Kitchen), 1). !ReleasedAt(InRoom(TV, Kitchen), 2). !ReleasedAt(InRoom(TV, LivingRoom), 0). !ReleasedAt(InRoom(TV, LivingRoom), 1). !ReleasedAt(InRoom(TV, LivingRoom), 2). !ReleasedAt(On(TV), 0). !ReleasedAt(On(TV), 1). !ReleasedAt(On(TV), 2). !ReleasedAt(PluggedIn(TV), 0). !ReleasedAt(PluggedIn(TV), 1). !ReleasedAt(PluggedIn(TV), 2). DefaultLocation: 2 predicates, 0 functions, 4 fluents, 2 events, 15 axioms EC: 7 predicates, 0 functions, 0 fluents, 0 events, 0 axioms Root: 0 predicates, 0 functions, 0 fluents, 0 events, 0 axioms encoding 0.1s solution 0.0s total 0.2s Discrete Event Calculus Reasoner 1.0