mime-version:content-type;

------=_Part_21150_7292440.1195590595507 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline

ESPA=D1OL

hola, quiero usar la herramienta "Prolog Cafe" tengo que modificar el Makefile indicando los campos PROLOG y PSYSTEM ################################################################ # Prolog system and Prolog system type # PROLOG : command name of your Prolog system (e.g. prolog) # PSYSTEM: type of your Prolog system (sicstus, swi and others) ################################################################ Si tengo instalado ciao-prolog =BFque tengo que poner en PSYSTEM, y PROLOG = ?

ENGLISH

Hello, I want to use the tool "Prolog Cafe" I must to modify the MakeFile and change de variables PROLOG y PSYSTEM ################################################################ # Prolog system and Prolog system type # PROLOG : command name of your Prolog system (e.g. prolog) # PSYSTEM: type of your Prolog system (sicstus, swi and others) ################################################################ If I have installed ciao-prolog , what values I set in PSYSTEM, y PROLOG values ?

Marco

------=_Part_21150_7292440.1195590595507 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline

ESPA=D1OL<br><br>hola, quiero usar la herramienta &quot;Prolog Cafe&quot;<b= r>tengo que modificar el Makefile indicando los campos PROLOG y PSYSTEM<br>= ################################################################<br># Prolo= g system and Prolog system type <br>#&nbsp;&nbsp; PROLOG :&nbsp; command name of your Prolog system (e.g. p= rolog)<br>#&nbsp;&nbsp; PSYSTEM: type of your Prolog system (sicstus, swi a= nd others)<br>#############################################################= ###<br>Si tengo instalado ciao-prolog =BFque tengo que poner en PSYSTEM, y = PROLOG&nbsp; ?&nbsp; =20 <br><br> <br>ENGLISH<br><br>Hello, I want to use the tool &quot;Prolog Cafe= &quot;<br>I must to modify the MakeFile and change de variables PROLOG y PS= YSTEM<br>################################################################ <br> # Prolog system and Prolog system type<br> #&nbsp;&nbsp; PROLOG :&nbsp; command name of your Prolog system (e.g. prolo= g)<br> #&nbsp;&nbsp; PSYSTEM: type of your Prolog system (sicstus, swi and others)= <br> ################################################################<br> If I have installed ciao-prolog , what values I set in PSYSTEM, y PROLOG va= lues&nbsp; ?&nbsp; <br><br><br>Marco <br>

------=_Part_21150_7292440.1195590595507--

============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------