Newsgroups: comp.lang.lisp
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!gatech!swrinde!pipex!dircon!rheged!simon
From: simon@rheged.dircon.co.uk (Simon Brooke)
Subject: Re: Looking for a small CL Prolog
Message-ID: <D85nCB.4M4@rheged.dircon.co.uk>
Organization: none. Disorganization: total.
References: <S.N.K.Watt-0505951117070001@uu-stuart-mac.open.ac.uk>
Date: Sat, 6 May 1995 11:45:45 GMT
Lines: 29

In article <S.N.K.Watt-0505951117070001@uu-stuart-mac.open.ac.uk>,
Stuart Watt <S.N.K.Watt@open.ac.uk> wrote:
>I'm looking for a Common Lisp Prolog-like package with the following features:
>
>1. The cut primitive
>2. Fully interpreted so I can make rapid dynamic changes to the database
>3. At least a bit flexible and extensible
>
>I don't care about the syntax. Any help appreciated, because otherwise
>I'll have to write it myself. If anybody has any ideas, please could they
>let me know either here or directly at S.N.K.Watt@open.ac.uk. 
>
>Regards, Stuart

What you almost certainly want is a paper by M Nilsson, _The world's
shortest Prolog interpreter?_ -- lovely little paper, amazingly small
program. Does cut, is fully interpreted, is incredibly simple so you
won't have trouble extending it. 

It's written in MACLISP, but I think would port cleanly to CL.
Unfortunately I can't remember where it was published, but it's in a
book on Prolog implementations... if the worst comes to the worst, I
could snail mail a copy of my offprint to a few people.

-- 
------- simon@rheged.dircon.co.uk (Simon Brooke)

	The trouble with Simon is that he only opens his mouth to change feet.
					;; of me, by a 'friend'
