Mark Guzdial wrote:
> 
> >
> >Sure!  I'm not sure where the Prolog/V stuff is...do you have an url,
> >Mark?
> 
> Code and docs at http://www.cc.gatech.edu/projects/squeakers/25.html

Thanks, Mark.  I'll dig into it.  Perhaps there will be something about
unification.  I've never heard of that term before.

Rob