Hi,
Folks, you asked about using prompts to use delimited continuation aka
prompts for the unification stuff.
Cool tech.
Anyhow. The main use for this thing in a unifying context is to be able to
cut a whole tree from further out in the limbs of the tree.
The first step taken was to reuse the
--- Begin Message ---
Hi,
Want to share some more info about what the *** I am trying to do.
(Part I)
On the unification, unification match and backtracking.
first off, unification.
Let capitals, X,Y,Z be varible and x,y,z etc symbols. Let [X Y Z | W]
denotes lists all in the tradition of
Hi Stefan,
Thanks for this writeup, it was very interesting. I don't come from the
logic programming world, so it was great to hear your thoughts and see
your code. It's clear that you've thought a lot about these problems :)
It's very cool that you were able to come in an hack up performant
solu
Hi,
Want to share some more info about what the *** I am trying to do.
(Part I)
On the unification, unification match and backtracking.
first off, unification.
Let capitals, X,Y,Z be varible and x,y,z etc symbols. Let [X Y Z | W]
denotes lists all in the tradition of prolog. Let be unifica
