Re: Thinking Recursion

From: Torkel Franzen (torkel_at_sm.luth.se)
Date: 03/29/05 

Date: 29 Mar 2005 12:15:03 +0200

student <nospam@a.b.c.dINVALID> writes:

> My question was (and is) implicit in my suggestion that it would be
> nice if LPTP
> allowed users to directly input predicate definitions in internal form,
> instead of only being able
> to see the internal forms of predicate definitions that arise when a
> Prolog predicate
> is translated into internal form by LPTP.

  I'm sure LPTP is great stuff, but it's unlikely to help student
who are having trouble with with "thinking recursion".