You will need to implement unification for your record type. I recommend
just using simpler data structures unless how to do this is apparent to you
- it's not particularly difficult but you need to go to the source if you
want to understand how to make it work.
David
On Fri, Feb 14, 2014 at 1:1
As a Xmas present I gave myself a copy of "Concepts, Teechniques and Models
of Computer Programming" and I'm enjoying myself reading it. The book uses
Oz/Mozart but I'm trying to translate some of the code in clojure.
The first computation model is declarative and variables behave much as
LVars
