From kemp@munta.cs.mu.OZ.AU Fri Mar 18 11:20:29 EST 1994
Article: 10013 of comp.lang.prolog
Xref: glinda.oz.cs.cmu.edu comp.lang.prolog:10013
Newsgroups: comp.lang.prolog
Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!math.ohio-state.edu!cs.utexas.edu!swrinde!ihnp4.ucsd.edu!munnari.oz.au!cs.mu.OZ.AU!munta.cs.mu.OZ.AU!kemp
From: kemp@munta.cs.mu.OZ.AU (David Kemp)
Subject: Re: Datalog
Message-ID: <9407714.20333@mulga.cs.mu.OZ.AU>
Sender: news@cs.mu.OZ.AU
Organization: Computer Science, University of Melbourne, Australia
References: <1994Mar14.173951.33247@ucl.ac.uk>
Date: Fri, 18 Mar 1994 04:28:23 GMT
Lines: 54

ubac1pd@dcs.bbk.ac.uk (Cummins J) writes:

>Does anyone know where to obtain a datalog interpreter to run on a 
>sun under sunos 4.X or alternatively to run on PC running dos/windows/os2 ?

There are many "datalog interpreters" available;
most of which probably run under sunos 4.X

Here is a very incomplete list,
and I hope I do not offend those that I have left off.
Maybe this should be added to the FAQ?
Here it is in alphabetical order since it puts our system first ;-)
By the way, these systems are much more than just Datalog interpreters,
many of them allow function symbols and almost arbitrary use of negation,
but Datalog programs are guaranteed to terminate on them.

Aditi
from the University of Melbourne is available as a "Beta-release".
send mail to aditi@cs.mu.oz.au (mail me if it bounces).
It is free, but you will need to sign some sort of license.

Coral
from the University of Wisconsin is available
via anonymous ftp from ftp.cs.wisc.edu

EKS
from ECRC.  I seem to remember that it is currently not available,
but I could be wrong.

Glue-Nail
from Standford University.
I am not sure who you contact to get a copy of this.

LDL
from MCC.
I am not sure who you contact to get a copy of this.

XSB
from University of NY Stony Brook is 
via anonymous ftp
- XSB, system with OLDT-resolution and HiLog capability.  Compiler
  for Linux, Sun, Sparc, and NeXT.  Anonymous FTP from
  cs.sunysb.edu (130.245.1.15), directory pub/XSB.
  E-mail: xsb-contact@cs.sunysb.edu


Finally, if you want a very portable 5000 lines of C code
that can evaluate Datalog with stratified negation but without arithmetic,
and does it in the most naive manner imaginable
(it will terminate on all queries though!),
then I could send you a program I wrote seven years ago!

Cheers,
	David