循环中的Prolog错误

我需要关于Prolog的帮助。我发布了我的代码，问题是我没有获得预期的结果。我希望规划动作在表格中移动所有块直到可能。要做到这一点，我提示：循环中的Prolog错误

?- do(while(some(x, block(x) & -onTable(x)),pi(x,putOnTable(x))),s0,S).

我希望看到的响应，如：

S = do(putOnTable(e), do(putOnTable(b), do(putOnTable(c), s0)))

但Prolog的仅返回 “假”。有人可以帮助我？

% Golog interpreter 
%:- [golog_swi]. 

:- discontiguous clear/2, on/3, onTable/2. 

:- op(800,xfy,[&]). 

do(E,S,do(E,S)):- primitive_action(E),poss(a,S). 

% Primitive Action Declarations. 
primitive_action(putOn(_,_)). 
primitive_action(putOnTable(_)). 


poss(putOn(X,Y),S) :- clear(X,S), clear(Y,S), \+ on(X,Y,S), \+ X=Y. 
poss(putOnTable(X),S):- clear(X,S), \+(onTable(X,S)). 

% Successor State Axioms. 
on(X,Y,do(A,S)):- A = putOn(X,Y); on(X,Y,S), \+ (A = putOnTable(X); A = putOn(X,_)). 
onTable(X,do(A,S)) :- A = putOnTable(X); onTable(X,S), \+ A= putOn(X,_). 
clear(X,do(A,S)) :- on(Y,X,S), (A = putOn(Y,_) ; A = putOnTable(Y)); clear(X,S), \+ A = putOn(_,X). 

% Restore suppressed situation arguments 
restoreSitArg(onTable(X),S,onTable(X,S)). 
restoreSitArg(on(X,Y),S,on(X,Y,S)). 
restoreSitArg(clear(X),S,clear(X,S)). 

block(X):- member(X,[a,b,c,d,e]). 

% iniTial COndition 
onTable(a,s0). 
on(b,a,s0). 
on(c,b,s0). 
clear(c,s0). 
onTable(d,s0). 
on(e,d,s0). 
clear(3,s0).

谢谢!!!

来源

2012-07-24 angelius

您的谓词do/3无法成功，因为目标primitive_action/1将与您的查询一起失败。

目前，while/2未在primitive_action/1中描述，它似乎也从您的程序中丢失。因此，您需要通过更多事实来扩展primitive_action/1，或者向do/3添加新规则。除此之外，你需要描述什么while/2的含义。

来源

2012-07-24 12:13:45 false

我tryed添加这些定义为：和而却始终结果是一样的.... ％：定义做（E1：E2，S，S1）： - DO（E1 ，S，S1），执行（E2，S，S1）。（（P，E），S，S1）： - do（star（？（P）：E）：？（ - P），S，S1）。其他建议？请！！！ – angelius 2012-07-24 15:24:47

这个问题其实是关于Golog。你的错误非常平凡：你没有将Golog解释器代码复制到源文件/目录中。

Golog定义了许多高级编程结构，包括while循环和非确定性选择（pi），在这里使用。我敢肯定，你不想重塑Golog，所以只需去获取它。我假设你的问题是各种任务的一部分，你的老师可能会向你指出Golog口译员。否则，您可以随时在大学的认知机器人组页面上找到它。多伦多：http://www.cs.toronto.edu/cogrobo/main/systems/index.html

来源

2013-12-18 01:18:10

循环中的Prolog错误

回答

相关问题