From pascal@rz.hu-berlin.de  Fri Jan 14 16:17:47 2000
Received: from suncom.rz.hu-berlin.de (suncom.rz.hu-berlin.de [141.20.1.31])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id QAA24389
	for <prolog@swi.psy.uva.nl>; Fri, 14 Jan 2000 16:17:46 +0100 (MET)
Received: from localhost.rz.hu-berlin.de (root@ppp196-143.rz.hu-berlin.de [141.20.196.143])
	by suncom.rz.hu-berlin.de (8.9.3/8.9.3) with ESMTP id QAA14127
	for <prolog@swi.psy.uva.nl>; Fri, 14 Jan 2000 16:17:55 +0100 (MET)
Received: (from pascal@localhost)
	by localhost (8.8.8/8.8.8/Debian/GNU) id PAA06090;
	Fri, 14 Jan 2000 15:55:25 +0100
Date: Fri, 14 Jan 2000 14:55:24 +0000 (GMT)
From: Pascal Vaillant <Pascal.Vaillant@rz.hu-berlin.de>
To: prolog@swi.psy.uva.nl
Subject: Something wrong here with Prolog+JPL
Message-ID: <Pine.LNX.4.05.10001141428230.5925-100000@torstrasse>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by swi.psy.uva.nl id QAA24389



Dear _,

I have a problem with SWI Prolog in relation to JPL, Fred Dushin's
Java/SWI-Prolog interface package.

I installed JPL on my machine (Pentium + Linux) to command Prolog from
Java programs. The package compiled correctly, but the test programs in
the test or demo subdirectories always give this result:

 [PROLOG INTERNAL ERROR:
         trapUndefined(): undefined: system:$undefined_procedure/4
 [Switched to system mode: style_check(+dollar)]
 PROLOG STACK:
 ]

 Action? 

In the case this message would mean that pl would have to be launched
with style_check(+dollar), I created a pl.rc file containing the order
style_check(+dollar):

 pascal:/usr/lib/pl-3.2.9# cat pl.rc
 :-writef("Hello, I am reading this file.\n").
 :-style_check(+dollar).
 pascal:/usr/lib/pl-3.2.9# 

But to my surprise it has no effect on the actual value of
style_check(dollar):

 pascal:~/trouve/jpl/jpl-1.0.1/test> /usr/bin/pl
 Hello, I am reading this file.
 Welcome to SWI-Prolog (Version 3.2.9)
 Copyright (c) 1993-1999 University of Amsterdam.  All rights reserved.

 For help, use ?- help(Topic). or ?- apropos(Word).

 1 ?- style_check(?dollar).

 No
 2 ?- halt.
 pascal:~/trouve/jpl/jpl-1.0.1/test> 


Does somebody have an idea about what is not going how it should go?

By the way, I still could not compile SWI Prolog 3.2.9 so that the
resulting program works with the line editor provided by GNU's
'libreadline' library. When I type the up-arrow, I get : '^[[A', and
Control-P simply yields '^P'. However when compiling, no message
indicates that something is not going wrong. Has anybody already
have this problem, or have a hint about what could go wrong?

(cf. my mail to this list, 10 Jan 2000).

Thanks in advance for any help,

Pascal

--
Pascal Vaillant                                Jägerstraße 10/11
Humboldt Universität zu Berlin                 10117 Berlin (Allemagne)
Lehstuhl Computerlinguistik                    Tel: (+49/30) 20 19 25 54

