🚀 go-pugleaf

>                               The software does not come with any 
> predefined modules or commands that allow you to switch to Edinburgh syntax
> in a simple way.  

You just enter:

<- switch(synt2) .

And you're in Edinburgh syntax, with appropriate pragma values
already set.  

You can also easily configure IBM Prolog so that Edinburgh is your
default syntax, if you so desire.

>     IBM MVS PROLOG does NOT have abolish/2, assert/1, and asserta/1
> defined as built-in predicates in MVS/PROLOG Release 1 Level 0.  There are
> significant differences between the MVS and VM versions of PROLOG.

I think that you're refering to the *old*, obsolete MVS Prolog.
The *new* IBM Prolog for MVS is Version 1 Release 2.  It is a port
from CMS (which is why it is very compatible) and it most certainly
does have abolish, assert and other Edinburgh predicates.  The
switch/1 predicate not only changes operator declarations, pragmas
and syntax details; it also changes the default prefixes for many
built-in predicates (for example, there are two =../2 predicates,
with slightly different semantics).

The *new* IBM Prolog for MVS became available about 2 weeks ago.

----   
 
I'm not sure that debating the alleged good and bad points of IBM Prolog
is an appropriate use of comp.lang.prolog.  If you have specific questions
or complaints about IBM Prolog, you can send them directly to me:

- peter ludemann	ludemann@mlpvm1.iinus1.ibm.com