Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news.harvard.edu!news2.near.net!MathWorks.Com!europa.eng.gtefsd.com!howland.reston.ans.net!EU.net!sun4nl!freya.let.rug.nl!vannoord
From: vannoord@let.rug.nl (Gertjan van Noord)
Subject: XOLDT on SICStus
Sender: news@let.rug.nl (News system at let.rug.nl)
Message-ID: <1994Sep21.093309.15608@let.rug.nl>
Date: Wed, 21 Sep 1994 09:33:09 GMT
Nntp-Posting-Host: vidar.let.rug.nl
Organization: Faculteit der Letteren, Rijksuniversiteit Groningen, NL
Keywords: XOLDT SICStus tables memo
Lines: 40

Xoldt/Sicstus

This is to announce my quick and dirty port of the XOLDT system
to Sicstus (after a recent request following my inquiry on
the sicstus-users list).

The XOLDT system is (C) David Scott Warren, Suny Brook.
The resulting XOLDT/Sicstus version is
available by anonymous FTP as

 tyr.let.rug.nl:pub/prolog-app/xoldt/xoldt.tar.gz 

The original (for Quintus Prolog) is available by anonymous
ftp as:
 sbcs.sunysb.edu:pub/xoldt/xoldt.tar.Z

Please contact me in case of problems.
vannoord@let.rug.nl


changes:

- changed calls to library files, added some preds that were in
  library, added calls to sicstus library files, commented out
  some preds available from sicstus library
- changed in xoldt_load.pl prolog_load_context/2
  (beware..) It might work even better than original...
  (thanks to san@sics.se)

ps. David Scott Warren writes:

  You might be interested to know that we are now distributing a new
  system called the SLG system, which supercedes the XOLDT system.
  Weidong Chen (at wchen@ceas.smu.edu) and I developed it and are
  distributing is by anonymous ftp (from seas.smu.edu in pub, and from
  cs.sunysb.edu in pub/XSB). It also is a metainterpreter that runs on
  Sicstus and Quintus (and XSB). It is a tabling system that computes WFS
  (and partial Stable Models, too).  SLG is guaranteed to be polynomial
  on propositional programs; XOLDT could be exponential.

