Veri bloğunda döngü kenarları ekleme (bddbddb)

Question

Grafikteki tüm yolları bulmak için aşağıdaki kurallara sahibim.

path(X,Y) :- edge(X,Y). 
path(X,Y) :- edge(X,Z), path(Z,Y). 

Ancak,> n zaten mevcut değilse n kenar eklemek kadar, aynı zamanda, her bir düğüm N, için istiyoruz.

Düğümlerle herhangi bir ilişkisi olmadan bunu nasıl yapabilirim?

Answer 1

yalnız Prolog'da şu yazılır:

 
path(X,X). 
path(X,Y) :- false, edge(X,Y). 
path(X,Y) :- edge(X,Z), path(Z,Y). 

veya biraz daha kısa ve daha sonlanan closure0/3 kullanarak. onlar çözümlerin sonsuz dizi itiraf beri

 
path(X,Y) :- 
    closure0(edge, X,Y). 

yılında (birçok tanımları) Prolog bir alt kümesi olarak Datalog, path(X,X). gibi gerçekler, izin verilmez. Bu nedenle, bu gerçeği sonlu düğümler kümesiyle kısıtlamanız gerekir. on line

path(X,X) :- 
    node(X). 
path(X,Y) :- 
    edge(X,Z), 
    path(Z,Y).