我在语言练习中停留了一些语法。这是我第一次用语法(用任何语言)。我需要创建一个解析器,它将计算机器人的目标坐标以及当前指向的方向(以n,s,w,e之一表示)。序言,机器人移动语法+解析器
可能的举措是:[go,10]
(或任何数字),[turn, left]
,[turn, right]
。 这是很容易(我觉得..)编写解析器识别正确的句子,如:[go,10,turn,right,go,10]
:然而
robot_p-->pol.
pol-->[go],num.
pol-->[go],num,pol.
pol-->[turn],[left].
pol-->[turn],[left],pol.
pol-->[turn],[right].
pol-->[turn],[right],pol.
num-->[D],{number(D)}.
robot(L):-robot_p(L,[]).
现在,我不知道,我怎么会积累每一个步骤,因此对于句子我举了一个例子,结果是[10,10,e]
。我想我应该写这样的东西:
robot_p(result)-->pol(result).
但是,如果是这样,它会怎么样呢?我可以改变num
到:
num(D)-->[D],{number(D)}.
下,这将启动:
pol([X,Y,N])-->[go],num(D),{N==n;//here I don't know what next}.
然而,我不知道这是否是好办法,如果是这样,现在给做。
编辑:
我忘记说了,我需要通过开始坐标。 因此,对于[0,0,n]
和移动[go,10,turn,right,go,10]
结果是[10,10,e]
。
EDIT2:
非常感谢@BretC寻求帮助。我已经按照你的提示创建了令我满意的版本。也许这将帮助别人:)
pol([X])-->[go],num(X).
pol([X| T])-->[go],num(X),pol(T).
pol([left])-->[turn],[left].
pol([left | T])-->[turn],[left],pol(T).
pol([right])-->[turn],[right].
pol([right | T])-->[turn],[right],pol(T).
commands(L,V):-pol(V,L,[]).
move([X,Y,D],V,[X1,Y,D]):-D==n,X1 is X+V.
move([X,Y,D],V,[X1,Y,D]):-D==s,X1 is X-V.
move([X,Y,D],V,[X,Y1,D]):-D==w,Y1 is Y-V.
move([X,Y,D],V,[X,Y1,D]):-D==e,Y1 is Y+V.
rotate(D,P,D1):-P==left,D==n,D1=w.
rotate(D,P,D1):-P==left,D==s,D1=e.
rotate(D,P,D1):-P==left,D==w,D1=s.
rotate(D,P,D1):-P==left,D==e,D1=n.
rotate(D,P,D1):-P==right,D==n,D1=e.
rotate(D,P,D1):-P==right,D==s,D1=w.
rotate(D,P,D1):-P==right,D==w,D1=n.
rotate(D,P,D1):-P==right,D==e,D1=s.
robot_H(D,[],D).
robot_H([X,Y,D],[H|T],K):-number(H),move([X,Y,D],H,ND),robot_H(ND,T,K).
robot_H([X,Y,D],[H|T],K):- \+number(H),rotate(D,H,D1),robot_H([X,Y,D1],T,K).
robot(S,P,K):-commands(P,P1),robot_H(S,P1,K).
num(X)-->[X],{number(X)}.
所以,举例来说:
?- robot([0,0,n],[go, 10, turn, left,turn,left, go, 20],K).
K = [-10, 0, s]
应该不是'POL的一个称之为 - >【转],[右],pol.'线实际上是'pol-- > [转],[左],pol'? – BretC
谢谢,通过重写错误(在Prolog中,我有不同语言的公式)。 –