🚀 go-pugleaf

rok writes in reply to my claim that
>>ALS Prolog for the Mac ... (eg. to load a predicate definition
>>from a window you must save the file and load the file).
                                                 
>That turns out not to be the case.  In the versions I tried, you could
>do
>        consult(user).

Yes, I stand corrected.  I _was_ hoping you'd reply to my message, but
to the point I raised at the end of message...

--------------

On a different topic altogether, I'd appreciate pointers to papers
on program transformation in Prolog.  Here are the papers I know of:

Tamaki and Saito (1984) Unfold/Fold Transformation of Logic Programs,
Proc 2nd ICLP.

Kanamori and Horiuchi (1987) Construction of Logic Programs based on
Generalized Unfold/Fold Rules, Proc 4th ICLP.

Ueda (1987) Making Exhaustive Search Programs Deterministic, Proc 4th
ICLP.

Seki and Furukawa (1987) Notes on Transformation Techniques for
Generate and Test Programs, IEEE Symposium on Logic Programming.


Can one still get Clark's monograph "Predicate Logic as a
Computational Formalism" from Imperial College, and does it contain
much more material than is in the papers above?

Thanks,

Mark Johnson