🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.archives
Article #5730

slog, small Prolog in Scheme [comp.lang.scheme,comp.lang.prolog]

#5730
From: Dorai Sitaram
Date: Tue, 19 Dec 1989 22:37
54 lines
3143 bytes
Archive-name: slog/how-to-get
Original-posting-by: dorai@titan.rice.edu (Dorai Sitaram)
Original-subject: Re: Prolog interpreter in LISP wanted
Archive-site: titan.rice.edu [128.42.1.30]
Archive-directory: public
Archive-files: slog.sh
Reposted-by: emv@math.lsa.umich.edu (Edward Vielmetti)

In article <3833@brazos.Rice.edu> dorai@titan.rice.edu (Dorai Sitaram) writes:
>[This is also addressed to people other than Clocksin.]
>
>I have a fairly complete (i.e., it includes bagof and ilk, though I
>didn't feel the need to add assert/detract!) and "easily" extensible
>Prolog embedding written in Scheme, modeled on the one described in
>[...]
>want it, send me email, I'll see if I can make it subscribe to RRRS
>standards to make it portable (allow time for delivery!), and email
>you a copy. If you don't have a Scheme at your place, my code will
>[...]

I somewhat underestimated the response I would get for the above
message.  I've emailed the code to some of you, but there's still a
backlog, and there are some of you I couldn't reach.  There were
suggestions that I _post_ the code.  I guess, though, it'd be more
convenient to all concerned if I made it ftp'able from Rice, rather
than clog the net.

Procedure: ftp titan.rice.edu (as anonymous)
	   get public/slog.sh

slog.sh is a shar file, and contains two implementation files (slog.ss
and bagof.ss), two doc (loosely speaking!) files (Readme and Usage),
and a bunch of example files (mostly from Sterling&Shapiro) to make it
easy to acquire a feel for the possibly unusual syntax.  The code is
_not_ completely RRRS-compatible, but should be easily fixable for the
Scheme of your choice/fate by adding requisite definitions of
extend-syntax, boxes and printf (see The Scheme Programming Language
by R. Kent Dybvig).  If you encounter bugs/problems or get royally
chewed by you-don't-know-what, email me, and I'll see if I can fix it.

BTW, I would still like to get email from those who will be ftp'ing
the stuff, so that I can get back to you if there are changes.  (No,
the list of names will _not_ be released to junk-mail senders. :-)

--dorai

ps: The code is completely free, and users can make all the changes
and/or extensions to it they want.  You might want to tell me about
it, if you think it's significant, though.
--
-------------------------------------------------------------------------------
It may be that the gulfs will wash us down;
It may be we shall touch the Happy Isles.
-------------------------------------------------------------------------------
Technical Details
Message-ID: <10387@stag.math.lsa.umich.edu>
Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!usc!zaphod.mps.ohio-state.edu!math.lsa.umich.edu!emv
References: <3841@brazos.Rice.edu>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!usc!zaphod.mps.ohio-state.edu!math.lsa.umich.edu!emv
From: dorai@titan.rice.edu (Dorai Sitaram)
Newsgroups: comp.archives
Subject: slog, small Prolog in Scheme [comp.lang.scheme,comp.lang.prolog]
Message-ID: <10387@stag.math.lsa.umich.edu>
Date: 19 Dec 89 22:37:20 GMT
References: <3841@brazos.Rice.edu>
Sender: news@math.lsa.umich.edu
Reply-To: dorai@titan.rice.edu (Dorai Sitaram)
Followup-To: comp.lang.scheme
Lines: 54
Approved: emv@math.lsa.umich.edu (Edward Vielmetti)