🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.prolog
Article #1986

Prolog interpreter in Scheme, now available

#1986
From: Alan Dewar
Date: Fri, 29 Mar 1991 23:09
23 lines
1603 bytes
An implementation of Prolog in Scheme is now available from the University
of Calgary.  The following is an excerpt from the "readme" file:

	This package provides a fairly simple interpreter for pure
	Prolog, implemented in Scheme.  It is primarily intended for
	use in students' projects involving implementations of Prolog.
	Scheme Prolog version 1.1 is mostly a pure Prolog interpreter,
	though a few built-in primitives are also included.  Delayed
	goals are also supported, and an interval-arithmetic package
	is included.

This implementation is known to run on Chez Scheme and on ELK.  It is
intended to be portable to other Scheme implementations as well.

The Scheme Prolog interpreter may be obtained via anonymous ftp
(cpsc.ucalgary.ca) in the directory pub/prolog1.1, or as a compressed
tar file, pub/prolog11.tar.Z.  Other arrangements may be possible for
those without access to anonymous ftp.  Questions and comments may be
addressed to Alan Dewar (dewar@cpsc.ucalgary.ca) or John Cleary
(cleary@cpsc.ucalgary.ca).

Alan Dewar   Computer Science Department, University of Calgary
dewar@cpsc.ucalgary.ca
Technical Details
Message-ID: <1991Mar29.230912.5072@cpsc.ucalgary.ca>
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!van-bc!ubc-cs!alberta!cpsc.ucalgary.ca!news

Show Full Headers
Complete Article Headers
Newsgroups: comp.lang.prolog,comp.lang.scheme
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!van-bc!ubc-cs!alberta!cpsc.ucalgary.ca!news
From: dewar@cs-sun-fsa.cpsc.ucalgary.ca (Alan Dewar)
Subject: Prolog interpreter in Scheme, now available
Message-ID: <1991Mar29.230912.5072@cpsc.ucalgary.ca>
Originator: dewar@fsc
Nntp-Posting-Host: fsc
Organization: U. of Calgary Computer Science
Date: Fri, 29 Mar 91 23:09:12 GMT