Re: DM: Quintus Prolog source code compilation

[John Day]

There are some public domain extensions to SWI which make
it more like Quintus.  Just copy the extension files to 
<SWI_INSTALL_DIR>/lib/library directory.

http://julius.ling.ohio-state.edu/~jansche/prolog/swilib/

I think that might clear up some of your problems. 

-jday

At 11:32 AM 11/25/98 -0200, Fernanda Araujo Baiao wrote:
>Dear DMiners,
>
> 
>My name is Fernanda Baiao and I am a PhD student at 
>COPPE/UFRJ-Brazil in the area 
>of AI and DB. 
>
>My academic research is on first-order theory revision, and for this 
>purpose I
>intend to use the FORTE system from the Univ. of Texas. 
>Unfortunately, I am facing 
>some difficulties to compile the system (which is a Quintus Prolog 
>source code) since 
>we do not have Quintus Prolog system here at my University. I have 
>tried to use
>SWI-Prolog and Sicstus Prolog, but there were many compilation 
>errors.
>
>Does anyone know about compatibility issues between Quintus Prolog 
>and any other
>Prolog compiler? Is Quintus the only Prolog compiler capable of 
>processing FORTE source 
>code? Is there a shareware version of it available for downloading? 
>Where?
>
>Thank you very much in advance for any further help.
>
>Best regards,
>
>Fernanda Baiao
>MSc in Databases
>http://www.cos.ufrj.br/~baiao
>
>