palexand@Intrepid.ece.ukans.edu (Perry Alexander) (01/31/89)
I am looking for a Prolog available on the PC that is `close' to Quintus Prolog. In particular, is anyone familiar with Wisdom Prolog. - Perry (alexander@space-tech.arpa)
karam@sce.carleton.ca (Gerald Karam) (02/02/89)
In article <291@Intrepid.ece.ukans.edu> palexand@intrepid.UUCP (Perry Alexander) writes: >I am looking for a Prolog available on the PC that is `close' to Quintus >Prolog. In particular, is anyone familiar with Wisdom Prolog. The one that I have heard that people have some success in porting to is Arity Prolog. While I have both available to me, I never tried it myself. gerald
dunn@iuvax.cs.indiana.edu (02/04/89)
Arity Prolog makes some claims about being source compatible with Quintus, or at least they did a year ago or so when I looked into this. I have not tested this claim.
jan@cancol.oz (Jan Newmarch) (02/13/89)
We have used Arity/Prolog for some years. The worst incompatability
is the if..then..else construct:
ifthenelse(P,Q,R)
and
ifthen(P,Q)
instead of (P->Q;R) and (P->Q). Unfortunately Arity have swiped the
operator -> for use in a case statement construct with the wrong
precedence for P->Q. The interpreter is ok - add this to the start of your
DEC-10 program:
:- op(0,xfy, -> ). % kill the operator
:- op(1100,xfy, -> ). % bring it back with better precedence
(P->Q;R) :- ifthenelse(P,Q,R).
(P->Q) :- ifthenelse(P,Q,fail). % ifthen(P,Q) succeeds if P fails
This does not work for the Arity/Prolog compiler, and you are best off
writing a translator from (P->Q) notation to that of Arity.
Most other things are fine, but you have to watch for little DEC-10
oddities like put("a") which Arity doesn't like.
+----------------------+---+
| Jan Newmarch |:-)| ACSnet: jan@cancol.oz
| Info. Sciences & Eng.|___| ARPA: jan%cancol.oz.au@uunet.uu.net
| Canberra CAE | UUCP: {uunet,ukc}!munnari!cancol.oz.au!jan
| P.O. Box 1 | CSNET: jan%cancol.oz@australia
| Belconnen A.C.T. 2616 | JANET: jan%au.oz.cancol@EAN-RELAY
| AUSTRALIA |
+--------------------------+