Hi,
As I read more and try more things, I suspect I'll be asking quite a
few questions of everyone. I'd like to thank people in advance for
their patience.
Right now, I'd like some clarification on terminology. Specifically,
"Goal", "Unify" and "Instantiate". I'm used to programming in php and
C/C++, and these concepts are a bit alien to me.