Subject: Variable implementation

From: "Jon Sevaj" <[email-masked]>
Date: Sat, 13 May 2000 15:09:15 +0200

Hi there,

I'm currently writing a (pseudo-)prolog interpreter. (It is a personal, non-commercial project). I was wondering if anyone knows any good resources on the internet or books on this subject. I particularly interested in information related to variable implementation, how to distinguish bound and unbound variables and how the binding actually is performed. 

- Jon Sevaj