From jsevaj@corp.phone.com Sat May 13 15:07:44 2000 Received: from mail.phone.com (mail.phone.com [204.163.165.10]) by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id PAA20975 for ; Sat, 13 May 2000 15:07:43 +0200 (MET DST) Received: from jahve (localhost [127.0.0.1]) by mail.phone.com (8.9.3/8.9.3) with SMTP id GAA11842 for ; Sat, 13 May 2000 06:03:27 -0700 (PDT) Message-ID: <006201bfbcdc$7216ff40$ba5e36c3@jahve> From: "Jon Sevaj" To: Subject: Variable implementation Date: Sat, 13 May 2000 15:09:15 +0200 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_005F_01BFBCED.33D2FE80" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 4.72.3110.5 X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3 This is a multi-part message in MIME format. ------=_NextPart_000_005F_01BFBCED.33D2FE80 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable 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.=20 - Jon Sevaj ------=_NextPart_000_005F_01BFBCED.33D2FE80 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

Hi there,

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

- Jon Sevaj

------=_NextPart_000_005F_01BFBCED.33D2FE80--