mack@inco.UUCP (Dave Mack) (05/22/87)
I am looking for a public domain Prolog interpreter. I am also
offering to post one to the USENET, depending on the response
I get to this posting.
The reason for the strange form of this request is that I no
longer have time to hack at my version of Prolog. My implementation
is an incomplete Clocksin-Mellish syntax interpreter. Many of
the built-in functions are not yet implemented and it has several
major bugs ("cut" doesn't work quite right, for example.) It
does correctly parse CM prolog and performs resolution (mostly)
correctly. It is written in C for BSD4.2, but should be easily
portable System V, since about the only OS dependent feature is
"index".
If I get a reasonable number of positive responses to this posting,
I will finish documenting the beast and ship a couple of shar
files to comp.sources.unix.
If you want a copy, let me know. If you manage to fix any of
the bugs, mail me the diffs. I'll test them and post them to
the net.
Happy Hacking!
--
------------------------------------------------------------------------------
Dave Mack
McDonnell Douglas-Inco, Inc. (home of the laser-guided hamburger)
8201 Greensboro Drive DISCLAIMER: Until they pay me for
McLean, VA 22101 them, my opinions are my own. Call
(703)883-3911 for prices.
...!seismo!sundc!hadron!inco!mack
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++at@laura.informatik.uni-dortmund.de (Andreas Toenne) (05/26/87)
> I am looking for a public domain Prolog interpreter. I am also > offering to post one to the USENET, depending on the response > I get to this posting. Sorry for posting this, but inco is not in our routing tables :-( Dave, I'm just working on a prolog interpreter and I will finish it in about 2-3 weeks. Andreas Toenne Dept. of CS, IRB U of Dortmund, W-Germany at@unido.uucp at@unido.bitnet ...!seismo!unido!at P.S. please NOTE !! i have to pay for mail in both directions, so please don't bother me with large files until i asked for them. THANX D