Ciao-users January 2001

ciao-users@cliplab.org

27 participants
26 discussions

RE: emacs: top level processor
by Larner, Dan <larner＠parc.xerox.com> 12 Jan '01

12 Jan '01

> -----Original Message----- > From: William Winder [mailto:winder(a)interchange.ubc.ca] > Sent: Wednesday, January 10, 2001 7:57 PM > To: Ciao Users > Subject: RE: emacs: top level processor > > > Many thanks - that did the trick for running the listener window. > > I still can't make the listener window listen; i.e when I > "call query" under > "query and main file" the query is written to the listener > window and then > nothing. (I have been trying to run the hello world program). > My guess is > that I'm not launching the query properly. Does the listener > window listen? Here's a way that works for me: Start emacs Load hw.pl into an emacs buffer Ciao/Prolog menu -> Load buffer into top level Ciao/Prolog menu -> Query and main file -> Set Query In minibuffer, enter "main(X)." (without the quotes) Ciao/Prolog menu -> Query and main file -> Call Query Select yes in the dialog that pops up -- Dan

2 1

remove
by shree ganesha 11 Jan '01

11 Jan '01

______________________________________________________________________ Do You Yahoo!? Il tuo indirizzo gratis e per sempre @yahoo.it su http://mail.yahoo.it

1 0

emacs: top level processor
by William Winder 10 Jan '01

10 Jan '01

I seem to be having a problem running ciao from emacs. (Installation seems correct: I do have the Info reader files, syntax coloring, and prolog mode menus.) I know very little about emacs, so it could be something simple, like making sure emacs knows wherer ciao is. In short, I am not able to do the following: * Loading the file using the `Ciao/Prolog' menu (or typing <^C> <l>) should start in another emacs buffer the Ciao toplevel shell and load the file. You should now be able to switch the the toplevel shell and make queries from within `emacs'. Here is the error message: Spawning child process: exec format error I'm using ciao under Win95 (ciao version 20.7). One complication of my system is that it is installed on a Zip drive D:, and the .emacs file seems to have to be on C: root. I doubt if that is important, though it did take a while to figure out why emacs was not reading the .emacs file. Any suggestions or samples for tracking down the problem? Bill Winder

1 0

RE: pl2java on Windows?
by Larner, Dan <larner＠parc.xerox.com> 04 Jan '01

04 Jan '01

I've made progress in this and have gotten the pl2java example to run on Windows. The story is interesting and I'm relaying it to the list as it may save someone time. (BTW: I'm now doing this on a Windows 2000 sp1 machine with jdk1.3) To get around the problem (see earlier message) of absolute_file_name producing a path that is unsuitable for use as a -classpath argument to java, I crudely hardcoded in javart.pl compound_classpath("e:/prolog/ciao-1.7p30Win32/library/javall"). certainly not a long term solution, but enough to work around the issue for now. The next problem I encountered was the that java process wasn't actually getting started. In an attempt to determine the cause, I decided to build ciao from it's source, so that I could examine things in the prolog_unix_popen function within the engine\streams.c file. In order to build Ciao, I needed to bring over a fresh version (1.1.7) of the GNU tools from www.cygwin.com. The build broke during compilation of engine\streams.c due to an undefined reference to sys_errlist in the function ENG_perror. I rewrote the function to not use sys_errlist, and I got the ciaoengine to build. [BTW: The next thing in the make, building the ciao compiler failed with the message E:/prolog/ciaosrc/ciao-1.7p30/bin/Win32i86/ciaoengine: should be in the standard location, under Win32/bin/make[1]: *** [compiler] Error 1 That file was there, but all I was really concerned about was building the ciaoengine, so I didn't pursue the cause of this error.] I copied the newly built engine to its install location, and found that there was some sort of version (entry point) mismatch between it, and the cygwin1.dll (created in December 1998) that ships with the binary distribution of ciao. So, I copied the new 1.1.7 cygwin1.dll in its place, and unbelievably, everything now worked. Strange -- very strange. My best guess is a change in the win32 api behavior between December 98 and now. -- Dan > -----Original Message----- > From: Larner, Dan <larner(a)parc.xerox.com> > [mailto:larner(a)parc.xerox.com] > Sent: Friday, December 29, 2000 4:40 PM > To: 'ciao-users(a)clip.dia.fi.upm.es' > Cc: Larner, Dan <larner(a)parc.xerox.com> > Subject: pl2java on Windows? > > > Hi, > > I'm trying to get the library/javaall/Examples/pl2java > example to work. I'm using Ciao-1.7p30 with the > Javasoft JDK 1.2.2 on a Windows NT sp5 machine. > > When I run the example, I get sh access violations. > It turns out that (in javart.pl) when a java_connection > is trying to be established, an attempt is made to start > java with the command line: > > java -classpath //C/prolog/ciao-1.7p30Win32/library/javall > CiaoJava.PLJavaServer > > which doesn't work properly because the > classpath string is ill formed. > > [Note: In a comand window I can enter the line > java -classpath C:/prolog/ciao-1.7p30Win32/library/javall > CiaoJava.PLJavaServer > and the server does start up correctly. ] > > It is being produced by compound_classpath's use of > absolute_file_name(library('javall/javart'),AbsFileName), > > Anyone have any hints as to how to get this to > work properly on Windows? > > -- Dan >

1 0

RE: Doing assert from java?
by Larner, Dan <larner＠parc.xerox.com> 03 Jan '01

03 Jan '01

> -----Original Message----- > From: Jesus Correas Fernandez [mailto:jcorreas(a)clip.dia.fi.upm.es] > Sent: Tuesday, January 02, 2001 4:17 AM > To: larner(a)parc.xerox.com > Cc: ciao-users(a)clip.dia.fi.upm.es > Subject: RE: Doing assert from java? > >... > I tested your code using an independent Prolog server. You're quite > right about the actual problem, but I think the Prolog server messages > should be redirected to null or a log file, rather than reading them > from the Java side. We will change this in the Prolog server and send > you the changes. I don't know if sending them to a file is the right approach for all situations - there *is* information in those messages, and they are one effect of something that happens as a result of a call from Java. I think it should be possible for java to easily access that output. Perhaps you could set up the prolog side such that the output can be 'tee'd' -- that is, depending on some PLConnection setting, the output goes to java, a file, or both. >... > > You can find the ciao-users mailing list archive here: > > http://www.clip.dia.fi.upm.es/Mail/ciao-users/ Thanks! -- Dan

1 0

RE: Doing assert from java?
by Jesus Correas Fernandez 02 Jan '01

02 Jan '01

Hi Dan, > I found that I could run the program successfully when > I ran the prolog server independently (not exec'ed from Java). I tested your code using an independent Prolog server. You're quite right about the actual problem, but I think the Prolog server messages should be redirected to null or a log file, rather than reading them from the Java side. We will change this in the Prolog server and send you the changes. > By the way, I was surprised to find that you can't reuse structure > safely because the constructors copy their args. For example, I Yes, the structure argument array is copied by the constructor. The only elements that can be modified once the object is created are PLVariable bindings, to provide and return Prolog side variable bindings. You can do the following: PLVariable plX = new PLVariable(); fooArgs[0] = plX; ... plX.bind(new PLInteger(444)); ... > fooArgs[0] = new PLVariable(777); Anyway, I suggest you use the PLVariable constructor with no arguments; the argument refers to the variable number in the internal representation of the Prolog variable, and it should only be used for very special purposes. The constructor with no arguments generates this internal number automatically. > Thanks for the Ciao system! Now that I've gotten things working, Thank you for using it. > I was also wondering: is the mailing list is archived anywhere? You can find the ciao-users mailing list archive here: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ Regards, Jesus & the Ciao Prolog Team.

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users January 2001