ラムダ微積分シンタックスエラープロローグ

Question

Prologでベータ版、DCG、レキシコンを実装しようとしています。 私はコンパイルしようとしたときに、オペレータ@という構文エラーが出されました。 どうすれば修正できますか？

 
beta(Exp,Exp):- 
    atomic(Exp), 
    !. 

beta(lbd(V,F_body)@Exp,Result):- 
    !, 
    substitute(V,Exp,F_body,Result1), 
    beta(Result1,Result). 

beta(Exp,Result):- 
    Exp=..ExpList, 
    maplist(beta,ExpList,ResultList), 
    Result=..ResultList. 

s(SSem) --> np(NPSem), vp(VPSem),{var_replace(NPSem,NPSem1),beta(NPSem1@VPSem,SSem)}. 

vp(VPSem) --> v(VSem), np(NPSem),{var_replace(VSem,VSem1),beta(VSem1@NPSem,VPSem)}. 

np(lbd(p,p@john)) --> [john]. 

np(lbd(p,p@mary)) --> [mary]. 

v(lbd(s,lbd(x,s@lbd(y,likes(x,y))))) --> [likes]. 

Answer 1

あなたは例えば、使用して、二項演算子として@を定義することができます。

:- op(500, xfy, @). 

、あなたのプログラムの先頭にこのディレクティブを追加した場合、それはエラーと警告なしでコンパイルし、あなたは のonIX演算子として(@)/2を使うことができます。

例：

 
?- write_canonical(a@b@c). 
@(a,@(b,c)) 

私は練習として、この演算子に適しアソシエを選択しておきます。