Prolog - ASP 'not' to Prolog negate

Question

Answer Set Programming（ASP）のサンプル問題があります。私がPrologで同等のコードを作成しようとすると、私はnotがブロックされたままになってしまいます。

これはASPコードです：

road(berlin,potsdam). 
road(potsdam,werder). 
road(werder,brandenburg). 
road(X,Y) :- road(Y,X). 

blocked(werder,brandenburg). 

route(X,Y) :- road(X,Y), not blocked(X,Y). 
route(X,Y) :- route(X,Z), route(Z,Y). 

drive(X) :- route(berlin,X). 

#show drive/1 

答えは：drive(potsdam)、drive(werder)、drive(berlin)。

Prologでは、最初はnotを\+に変更するだけで簡単だと思っていました。私がdrive(X).を照会すると、それは再帰的にX = potsdam答えを生成します。私はPrologとASPが異なって動作することを知っていますが、私はそれを理解できません。

road(X,X). 

として

road(X,Y) :- road(Y,X). 

：あなたは述語を置き換えることができます

is road(X,Y)? 
is road(Y,X)? 
is road(X,Y)? 
is road(Y,X)? 
..... 

：

Answer 1

問題は事実の間で一致しない場合、これは永遠に再帰ますroad(X,Y) :- road(Y,X).です追加：

reachable(X,Y):- 
    road(X,Y) 
    ; road(Y,X). 

と変更：

route(X,Y) :- road(X,Y), \+ blocked(X,Y). 

へ：

route(X,Y) :- reachable(X,Y), \+ blocked(X,Y).