🚀 go-pugleaf

Given all the interest in Unfold/Fold, would anyone care to hear about
a toy program I wrote that uses the Unfold/Fold transformation on the
following input clauses to derive the following output?  If so, I will
write a short description for the net.

Mark Johnson

Preferred return address:  johnson@csc.brown.edu

Input clauses (assertions in database).

string(n(X,Y),S) <- [ string(X,SX), string(Y,SY), append(SX,SY,S) ].
string(X,[X]) <- [terminal(X)].
terminal(a) <- [].
terminal(b) <- [].
revpairwise([],[]) <- [].
revpairwise([A],[A]) <- [].
revpairwise([A,B|Es],Rs) <- [revpairwise(Es,Ms), append(Ms,[A,B],Rs)].
append([],Cs,Cs) <- [].
append([A|As],Bs,[A|Cs]) <- [ append(As,Bs,Cs) ].

Sample Interaction.

fold(string(_,_)).

%    string_f(A,B,C) :-
%        string(A,D),
%        append(D,B,C).

string_f(n(A,B),C,D) :-
    string_f(A,E,D),
    string_f(B,C,E).
string_f(A,B,[A | B]) :-
    terminal(A).

No
fold(revpairwise(_,_)).

%    revpairwise_f(A,B,C) :-
%        revpairwise(A,D),
%        append(D,B,C).

revpairwise_f([],A,A).
revpairwise_f([A],B,[A | B]).
revpairwise_f([A,B | C],D,E) :-
    revpairwise_f(C,[A,B | D],E).

No