Ciao-users

ciao-users@cliplab.org

948 discussions

operator expression broken in ciao but works in gprolog (bug?)
by Jeff Donner 18 Feb '03

18 Feb '03

Hi, I have an example from Bratko, Exercise 3.13. The problem is to make operators of 'was', 'of', 'the' in such a way as to make: diana was the secretary of the department. correct prolog and then to be able to write things like: ?- Who was the secretary of the department. and get: Who = diana etc. This set of definitions doesn't work in ciao, but works in gprolog: %% file: diana.pl :- op(200, fy, the). :- op(250, xfy, of). :- op(300, yfx, was). diana was the secretary of the department. %% end diana.pl betenoir ~/logic> ciao Welcome to the Ciao Prolog Development System! ** WARNING **: your shell initialization scripts have not been properly modified for locating the Ciao on-line documentation. Please refer to the instructions in the file /usr/local/ciao/lib/ciao/NewUser. Ciao-Prolog 1.8 #2: Sat Feb 8 22:26:15 MST 2003 ?- [diana]. Note: [diana] is obsolete, use ensure_loaded(diana) instead yes ?- Who was the secretary of the department. {SYNTAX ERROR: (lns 6-6) operator expected after expression Who ** here ** was the secretary of the department . } no ?- -- end ciao --gprolog session: betenoir ~/logic> gprolog GNU Prolog 1.2.16 By Daniel Diaz Copyright (C) 1999-2002 Daniel Diaz | ?- [diana]. compiling /home/jd/logic/diana.pl for byte code... /home/jd/logic/diana.pl compiled, 5 lines read - 589 bytes written, 9 ms yes | ?- Who was the secretary of the department. Who = diana yes | ?- -- end gprolog I saw an email by Daniel Cabeza Gras on Aug-13-02 but I don't think that's relevant. Am I doing something wrong? (I did :- use_module(library(operators)). also but it made no difference) Thanks for any info, Jeff Donner ============================================================================== 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/ -----------------------------------------------------------------------------

1 0

foreign_interface
by Jason Davis 11 Feb '03

11 Feb '03

Hi There All, I wish to use the foreign_interface library in order to get a 'C' program to call function in my prolog program. however looking at the library it is all double Dutch to me. Does anyone have a simple example that they would share with me. Many Thanks, Jason. ============================================================================== 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/ -----------------------------------------------------------------------------

1 0

Re: Ciao Prolog's tarball and Solaris 8's "tar" command
by Bill McEnaney 24 Jan '03

24 Jan '03

Hi, Kirill, I, too, have found some packages that tell people to use GNU tar instead Solaris's tar. So I'll keep running GNU tar. Something strange happened when I tried to build the current version of Ciao. Ld complained that in some program or other, "setenv" was an undefined symbol. Maybe I made a mistake when I tried to build Ciao. But I don't know why ld would try to link a program to a csh command. What went wrong? Cheers, Bill > > Hello, Kirill, > > Thanks for your letter. It's a good idea to discourage the use of > Solaris's tar command. But this is the first time I've had trouble with > it. Maybe Solaris 9's tar works properly on the Ciao tarball? > > Bill > > > > Hello Bill, > > > > AFAIK, there is a problem with Solaris' tar. I've seen a couple of other > > packages explicitly stating that their tarballs should be unarchived > > using GNU tar, and not the Solaris' one. > > > > To Almighty Maintainers: would it worth to explicitly discourage the use > > of Solaris' tar? > > > > Cheers, > > Kirill > > > > Bill McEnaney wrote: > > > Hi, Everybody, > > > > > > My name is "Bill." I thought you might want to hear about a problem I > > > had tonight when I tried to untar the Ciao Prolog tarball on my > > > Sunblade 100 Workstation. Solaris 8's tar command will complain about > > > a directory checksum error if you try to untar Ciao Prolog's tarball > > > with it. But GNU tar will untar that tarball without complainng. > > > Just thought the information would help if you'll install Ciao on a > > > Solaris 8 box. > > > > > > Bill > > > > > > _______________________________________________________ > > > It is as much a crime to disturb the peace when truth prevails as it is > > > a crime to keep the peace when truth is violated. There is therefore a > > > time in which peace is justified and another time when it is not > > > justifiable -- Blaise Pascal > > > _______________________________________________________ > It is as much a crime to disturb the peace when truth prevails as it is > a crime to keep the peace when truth is violated. There is therefore a > time in which peace is justified and another time when it is not > justifiable -- Blaise Pascal > ============================================================================== > 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/ > ----------------------------------------------------------------------------- > > _______________________________________________________ It is as much a crime to disturb the peace when truth prevails as it is a crime to keep the peace when truth is violated. There is therefore a time in which peace is justified and another time when it is not justifiable -- Blaise Pascal ============================================================================== 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/ -----------------------------------------------------------------------------

1 0

Re: Ciao Prolog's tarball and Solaris 8's "tar" command
by Bill McEnaney 23 Jan '03

23 Jan '03

Hello, Kirill, Thanks for your letter. It's a good idea to discourage the use of Solaris's tar command. But this is the first time I've had trouble with it. Maybe Solaris 9's tar works properly on the Ciao tarball? Bill > > Hello Bill, > > AFAIK, there is a problem with Solaris' tar. I've seen a couple of other > packages explicitly stating that their tarballs should be unarchived > using GNU tar, and not the Solaris' one. > > To Almighty Maintainers: would it worth to explicitly discourage the use > of Solaris' tar? > > Cheers, > Kirill > > Bill McEnaney wrote: > > Hi, Everybody, > > > > My name is "Bill." I thought you might want to hear about a problem I > > had tonight when I tried to untar the Ciao Prolog tarball on my > > Sunblade 100 Workstation. Solaris 8's tar command will complain about > > a directory checksum error if you try to untar Ciao Prolog's tarball > > with it. But GNU tar will untar that tarball without complainng. > > Just thought the information would help if you'll install Ciao on a > > Solaris 8 box. > > > > Bill > > > > _______________________________________________________ > > It is as much a crime to disturb the peace when truth prevails as it is > > a crime to keep the peace when truth is violated. There is therefore a > > time in which peace is justified and another time when it is not > > justifiable -- Blaise Pascal > _______________________________________________________ It is as much a crime to disturb the peace when truth prevails as it is a crime to keep the peace when truth is violated. There is therefore a time in which peace is justified and another time when it is not justifiable -- Blaise Pascal ============================================================================== 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/ -----------------------------------------------------------------------------

1 0

Re: compiling ciao in cygwin
by Manuel Carro 22 Jan '03

22 Jan '03

>> I'm trying to compile ciao using cygwin and gcc 3.2 but when ciaoc runs >> I get the following >> >> >> *** --------------------------------------------------------- >> cd ciaoc && make compiler >> make[2]: Entering directory `/opt/ciao/src/ciao-1.9p34/ciaoc' >> cp -f ciaoc /opt/ciao/src/ciao-1.9p34/ciaoc/ciaoc.sta >> CIAOENGINE=/opt/ciao/src/ciao-1.9p34/bin/Win32i86/ciaoengine >> CIAOLIB=/opt/ciao/src/ciao-1.9p34 >> /opt/ciao/src/ciao-1.9p34/ciaoc/ciaoc.sta -s -x ciaoc >> ERROR: File library(compiler/header) not found - aborting... >> CIAOENGINE=/opt/ciao/src/ciao-1.9p34/bin/Win32i86/ciaoengine >> CIAOLIB=/opt/ciao/src/ciao-1.9p34 /opt/ciao/src/ciao-1.9p34/ciaoc/ciaoc >> -s -x gen_asr >> >> {ERROR: segmentation violation} >> {ERROR: segmentation violation} >> {ERROR: segmentation violation} >> .... >> >> Is it a ciao's problem or a cygwin's??? I am afraid it is Ciao's. Ciao Prolog does not bootstrap straightforwardly on a Windows/Cygwin machine (at the moment). Only the bytecode emulator and ancillary libraries are natively compiled for Windows, and linked statically in a single executable. The rest of the (Prolog/bytecode) code is platform-independent, and does not need to be compiled in the same target architecture as the emulator. We usually provide a Windows binary version in the distribution site; I have just updated it to include snapshots for the current (development) release (1.9p44). If you want to fiddle around with the sources (lots of fun there!), it is probably better at this moment that you (a) use a Linux/Unix/Mac OS X box, or (b) get to grips with compiling in Windows (and send us the patches!). (a) is probably the easiest, but (b) will make many people happy and it will ensure you a place in our Hall of Fame [this, is, of course an open invitation]. We will of course be happy to collaborate in accomplishing (b). Good New Year's Eve to everybody! MCL _________________________________ Exceptions should be exceptional. ============================================================================== 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/ -----------------------------------------------------------------------------

3 2

Ciao Prolog's tarball and Solaris 8's "tar" command
by Bill McEnaney 21 Jan '03

21 Jan '03

Hi, Everybody, My name is "Bill." I thought you might want to hear about a problem I had tonight when I tried to untar the Ciao Prolog tarball on my Sunblade 100 Workstation. Solaris 8's tar command will complain about a directory checksum error if you try to untar Ciao Prolog's tarball with it. But GNU tar will untar that tarball without complainng. Just thought the information would help if you'll install Ciao on a Solaris 8 box. Bill _______________________________________________________ It is as much a crime to disturb the peace when truth prevails as it is a crime to keep the peace when truth is violated. There is therefore a time in which peace is justified and another time when it is not justifiable -- Blaise Pascal ============================================================================== 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/ -----------------------------------------------------------------------------

2 1

compiling ciao in cygwin
by Jose 15 Jan '03

15 Jan '03

Hi I'm trying to compile ciao using cygwin and gcc 3.2 but when ciaoc runs I get the following *** --------------------------------------------------------- cd ciaoc && make compiler make[2]: Entering directory `/opt/ciao/src/ciao-1.9p34/ciaoc' cp -f ciaoc /opt/ciao/src/ciao-1.9p34/ciaoc/ciaoc.sta CIAOENGINE=/opt/ciao/src/ciao-1.9p34/bin/Win32i86/ciaoengine CIAOLIB=/opt/ciao/src/ciao-1.9p34 /opt/ciao/src/ciao-1.9p34/ciaoc/ciaoc.sta -s -x ciaoc ERROR: File library(compiler/header) not found - aborting... CIAOENGINE=/opt/ciao/src/ciao-1.9p34/bin/Win32i86/ciaoengine CIAOLIB=/opt/ciao/src/ciao-1.9p34 /opt/ciao/src/ciao-1.9p34/ciaoc/ciaoc -s -x gen_asr {ERROR: segmentation violation} {ERROR: segmentation violation} {ERROR: segmentation violation} .... Is it a ciao's problem or a cygwin's??? I've tried with 1.8 and 1.9 obtaininng the same result. José Antonio Cuesta Corpa ___________________________________________________ Yahoo! Postales Felicita las Navidades con las postales más divertidas desde http://postales.yahoo.es ============================================================================== 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/ -----------------------------------------------------------------------------

6 5

Re: stand alone Exe's
by Oscar Portela Arjona 03 Dec '02

03 Dec '02

> I made the .pl file into a ciao compiled .cpx file using the 'Make > Executable' option from Explorer, which I have always thought of as a > replacement for an .exe. No, it's more like a script calling the Ciao engine... > If I try and run this .cpx file on another machine it seams to require > ciao to be installed. > Is this the case or is there another form of compilation needed? Yes, as the script requires the Ciao engine to be present, it would, at first, require the system to be installed. However, there is a way to avoid that need for installation, allowing to distribute Ciao programs developed on Windows (Unix stand alone executables actually work by means of the -S flag on compilation). The steps to follow are: 1. Compile the Ciao program with -s option. This comprises the libraries and other modules in the .cpx program file. 2. Create a .bat file with the following lines: @SET CIAOLIB=.\ @"ciaoengine.exe" %* -C -i -b "program" where program is the .cpx file name. 3. put the following files in the directory where the .cpx and .bat files are: sh.exe cygwin1.dll ciaoengine.exe (These files are in Win32/bin/ directory of any Ciao distribution for Windows). The procedure to install the program in a Windows machine is just to copy the previous files in any directory, and run the batch file. There is no need to change the registry. Greets. -- Oscar Portela Arjona portela(a)grupobbva.net ============================================================================== 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/ -----------------------------------------------------------------------------

1 0

stand alone Exe's
by Jason Davis 03 Dec '02

03 Dec '02

Hi There All, I have used ciao for a little while now and have always run my program on the machine where it was developed. I made the .pl file into a ciao compiled .cpx file using the 'Make Executable' option from Explorer, which I have always thought of as a replacement for an .exe. If I try and run this .cpx file on another machine it seams to require ciao to be installed. Is this the case or is there another form of compilation needed? Regards, Jason. ============================================================================== 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/ -----------------------------------------------------------------------------

1 0

Research positions at Roskilde University, Denmark
by John Gallagher 02 Dec '02

02 Dec '02

The following fully-funded PhD position is available. PhD Scholarship in Computer Science: Specialization and Analysis Techniques for Pervasive Systems The Department of Communication, Journalism and Computer Science at Roskilde University (RUC) hereby seeks applicants for a PhD scholarship in Computer Science starting as soon as possible. The scholarship is jointly financed by RUC and the European Commission. The PhD student will be associated with the EC-funded research project ASAP: Advanced Specialization and Analysis for Pervasive Systems. For further information about the position, please contact Professor John Gallagher, Tel. +45 4674 2196, email jpg(a)ruc.dk. The application must be based on the full announcement which is found on: http://www.ruc.dk/ruc_en/about/Positions/phdasap Terms of appointment and salary will be according to the agreement between the Ministry of Finance and the Danish Confederation of Professional Associations. Deadline for applications: 19 December 2002 at 12.00. There are also possibilities for post-doctoral research positions. Please contact Professor John Gallagher Tel. +45 4674 2196, email jpg(a)ruc.dk. ============================================================================== 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/ -----------------------------------------------------------------------------

1 0

← Newer
1
...
67
68
69
70
71
72
73
...
95
Older →

Jump to page:

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