Subject: [SWIPL] Memoization

From: "Douglas R. Miles" <[email-masked]>
Date: Mon, 7 May 2001 16:00:29 -0700

I would like to see how to impliment a meta interpretor in SWI that can call

|?- path(1,5,X).

With the given program:

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

edge(1,2).
edge(2,2).
edge(2,4).
edge(2,3).
edge(3,5).

Thank you,

Douglas