Ciao-users

ciao-users@cliplab.org

948 discussions

Re: gcc problems affecting ciao code
by Marco Alberti 06 Jun '01

06 Jun '01

> > Dear ciao-users, > > we have realised that some versions of gcc (in particular, gcc > 2.96, which is shipped with at least Red Hat 7.1), seem to produce > incorrect code for Ciao Prolog. This can be tested simply by issuing > the query > > ?- X = 1.0. > > at the toplevel. If the answer comes wrong, then you have been hit. > I found the problem on my Redhat 7.1 Linux on an Athlon system, with ciao1.6p1. Together with gcc 2.96, kgcc (which is gcc 2.91.66) is shipped with that distribution to be used for kernel compilation, since gcc 2.96 causes many known problems if used for that purpose. I compiled ciao with kgcc, leaving the optimization level at "optimized", and everything seems to work fine (or at least it passes the "X=1.0." test :) ). To compile with kgcc instead of gcc, simply edit the makefile-sysdep/mkf-LINUXi86 file, substituting "kgcc" to "gcc" in the lines beginning with "CC=" and "LD=" Regards, Marco

2 1

Applications written with Ciao Prolog
by Manuel Carro 04 Jun '01

04 Jun '01

Dear Ciao Prolog users: a fellow user, Justin W Walsh <justinwalsh_99(a)hotmail.com>, asked: >> Could you possibly direct me to some actual examples of Applications that >> have been successfully been developed using CIAO prolog. At our development site we could cite, for example, the Ciao Prolog compiler itself, the Ciao Prolog toplevel shell, the Ciao auto-documenter LPdoc, and a number of other utilities (for example, the list of publications by year and topic at http://www.clip.dia.fi.upm.es/clippubsbyyear/clippubsbyyear.html and http://www.clip.dia.fi.upm.es/clippubsbytopic/clippubsbytopic.html , which is automatically generated from bibtex sources). But we, and surely others, would be pleased of hearing of developments being made using Ciao Prolog. In order not to clutter up everyone's mailbox with messages, I suggest that anybody who wants to contribute to that compilation send a short note to me or to ciao(a)clip.dia.fi.upm.es describing the work you are doing; we'll summarize and send out a list. If you include a WWW pointer, that'll allow us to make a nice WWW-browsable list. If you do not want to appear listed, but you are using Ciao Prolog for any development, we'll be glad of hearing from you. Simply tell us not to include you in the list. Of course, we will not reveal in any case email addresses unless they appear as contact addresses in the software descriptions. Best regards, MCL -- || Manuel Carro -- DLSIIS || || e-mail: mcarro(a)fi.upm.es || || http://lml.ls.fi.upm.es/~boris || || http://clip.dia.fi.upm.es/Software/Ciao || || Phone: +34 91 336-7455 FAX: +34 91 336-7412 ||

1 0

Re: Initialization file
by Daniel Cabeza Gras 04 Jun '01

04 Jun '01

Dear Phil, > I still just don't understand some behavior of Ciao Prolog. > That is: > > when running the Ciao top level and consulting a module (e.g. library(system)) > like > ?- use_module(library(system)). , > the top level tells me that "module already in executable" (which is obviously > not true as I couldn't execute the following command) I can use the clauses of > the module like > ?- cd('..'). > and they just work fine. The message "module already in executable" is indeed true, the ciaosh executable contains (and uses) that library module (system). The reason why you are not able to call the exported predicates of system is because the "user" module under which the toplevel calls are executed is not importing library(system), unless you make "use_module(library(system))." > But when I consult any own file which only contains one line: > ?- use_module(library(system)). (the same as above), > the clauses will not work - the module seems to be not consulted! > > What is the difference between typing a clause in and consulting it as a file? The '?-' prefix is used in the toplevel because there goals are executed "on the fly", you are not expected to use it in your code. If you want your code import another module, you need a declaration, that is, start it by ':-' : :- use_module(library(system)). Note that this makes that that code imports library(system), but this dos not affect the toplevel imports. You can also group use_module directives you frequently want issue in the toplevel by putting them in a file (with ':-', not with '?-') and making 'include(mystartupfile)'. Note that if you name this file as .ciaorc and put it in your home directory, it will be included by default. An example of a .ciaorc file would be: :- use_package(iso). :- use_module(library(system)). :- set_prolog_flag(write_strings, on). Daniel

1 0

gcc problems affecting ciao code
by Manuel Carro 04 Jun '01

04 Jun '01

Dear ciao-users, we have realised that some versions of gcc (in particular, gcc 2.96, which is shipped with at least Red Hat 7.1), seem to produce incorrect code for Ciao Prolog. This can be tested simply by issuing the query ?- X = 1.0. at the toplevel. If the answer comes wrong, then you have been hit. While a satisfactory workaraund or complete bug correction appears, we advise all users who have noticed problems in programs using floating point arithmetic or clp(r) to recompile and reinstall Ciao Prolog as follows: 1) Go to the sources. 2) Issue the command "make engclean" 3) Edit SETTINGS: search for the OPTIM_LEVEL flag and set it to 'normal' 4) Issue the command "make eng" 5) Issue the command "make justinstalleng" Of course, cleaning up completely, editing SETTINGS, and reinstalling is a solution, but the steps above constitute a minimal and much faster set of steps. Note that the Ciao Prolog applications executed with the generated engine will run slower due to lack of optimizations. Please do not hesitate to contact ciao-bug(a)clip.dia.fi.upm.es for bug reporting, ciao-users(a)clip.dia.fi.upm.es for general comments, questions, etc. Best regards, MCL -- || Manuel Carro -- DLSIIS || || e-mail: mcarro(a)fi.upm.es || || http://lml.ls.fi.upm.es/~boris || || http://clip.dia.fi.upm.es/Software/Ciao || || Phone: +34 91 336-7455 FAX: +34 91 336-7412 ||

1 0

Postdoc Positions at the CLIP group
by A. German Puebla Sanchez 25 May '01

25 May '01

Announcing Postdoc Positions at the CLIP group ---------------------------------------------- School of Computer Science Technical University of Madrid The CLIP (Computational Logic, Implementation and Parallelism) group (http://clip.dia.fi.upm.es) at the School of Computer Science of the Technical University of Madrid is searching for candidates for postdoctoral research positions in the research areas in which the group is involved. A PhD in Computer Science or related areas is required. These are research positions (no teaching is compulsory, although it is allowed) and renewable for up to 5 years. The initial salary is 28.548 Euros/year plus an initial budget of 5.707 Euros for travel and other expenses during the first year. Knowledge of Spanish is not a prerequisite for application and candidates can be of any nationality. The working language at the CLIP group for research is English. The number of positions available depends on the quality of the applicants. The positions are co-funded by the Spanish Ministry of Science and Technology and the Technical University of Madrid within the "Ramon y Cajal" program. Interested applicants should send their C.V. and a description of their research interests to the CLIP group (clip-staff(a)clip.dia.fi.upm.es) by ** June 15 ** Selection will follow a two step process which is described in more detail at http://clip.dia.fi.upm.es/Job_Openings/RyC.html More details on the CLIP group, publications, projects, and research areas of interest can be found at http://clip.dia.fi.upm.es (see e.g. the group description at http://www.clip.dia.fi.upm.es/clip_desc_bysys/clip_desc_bysys.html and the listing of research topics and publications at http://clip.dia.fi.upm.es/clippubsbytopic/clippubsbytopic.html). -- ============================================================= | German Puebla | Facultad de Informatica | | german(a)fi.upm.es | Universidad Politecnica de Madrid | | Phone +34-91-336-7449 | http://clip.dia.fi.upm.es/~german | =============================================================

1 0

Persistent database-connection
by Petter Egesund 21 May '01

21 May '01

Hi, I am trying to figure out how to use the persistent databasesolution with ODBC. I have to questions: 1. I can´t find the serverprogram wich is required to be on the Windows-machine. It is supposed to be in the same directory as the library, but I cant see any C or exe-file. Any suggestions? 2. I have been looking at the example for connecting to the database, and wonder about the parameters: sql_persistent_location(sampledb, %% The 'sampledb' descriptor: db('ASA 6.0 Sample','dba', 'sql','r2d5.dia.fi.upm.es':2020)). What does the parameters in the db-predicate mean? The last one is easy, but what about 'ASA 6.0 Sample' 'dba' and 'sql' Is the first one only for description, the second the name of the table, and the third a constant for all sql-systems? Thanks for a great system, hope anybody has the time to answer my questions regards, Petter Egesund, Norway

1 0

None
by herr.rossi＠operamail.com 07 May '01

07 May '01

Hi, I'm rather new to Ciao-Prolog and I got a problem creating my own loader file: I want the library(system) to be loaded as soon as I open Emacs in Prolog-mode; so I created a file "myStarter.pl" which only consists of the lines :- use_package(iso). :- use_module(library(system)). but when I consult it (... open it in emacs and ^C^C) I'm still not able to use e.g. cd('..') or directory_files('.',F). I first have to enter the use_module(library(system)) clause again. What am I doing wrong? How can I create my individual loader file? Phil ------------------------------------------- The Fastest Browser on Earth now for FREE!! Download Opera 5 for Windows now! Get it at http://www.opera.com/download/ -------------------------------------------

2 1

Pillow problem with sicstus and Apache on win2000
by Eleni Mplanta 02 May '01

02 May '01

Hello everybody, I have unsuccessfully been trying to configure pillow to work with sicstus prolog. I have the following configuration: Windows 2000 Professional Apache Web Server with php extensions Sicstus Prolog v.3.8.5 Does anybody know what modifications I should make to httpd.conf in order to make everything work? Might the problem be somewhere else? Thanks in advance, Elena.

2 1

Re: problem with data predicates
by Manuel Hermenegildo 02 May '01

02 May '01

Joshua Levy <levy(a)sdl.sri.com> writes: >> Thank you for such a quick and detailed reply to my >> question. For completeness, I would suggest that the >> documentaion, particularly the chapter "Fast/concurrent >> update of facts" in Part II, include a reference to the >> data directive. (It might keep others from pestering >> you with the same question...) Actually, the documentation is there in the source code but, due to a typo in a command to LPdoc, it did now make it to the manual. It is now fixed (1.7 patch 95). Thanks for pointing it out! -- ----------------------------------------------------------------------------- herme(a)fi.upm.es | Manuel Hermenegildo +34-91-336-7435 (Work) | Facultad de Informatica, UPM +34-91-352-4819 or 336-7412 (FAX) | Universidad Politecnica de Madrid http://www.clip.dia.fi.upm.es/~herme | 28660-Boadilla del Monte, MADRID SPAIN -----------------------------------------------------------------------------

1 0

[boris@aaron.ls.fi.upm.es: Re: problem with data predicates]
by Manuel Hermenegildo 02 May '01

02 May '01

------- Start of forwarded message ------- X-Coding-System: nil Return-Path: <owner-ciao-users(a)clip.dia.fi.upm.es> Date: Fri, 27 Apr 2001 19:28:12 +0200 From: Manuel Carro <boris(a)aaron.ls.fi.upm.es> Subject: Re: problem with data predicates In-reply-to: <200104270305.f3R35jN30341(a)quarter.csl.sri.com> Sender: owner-ciao-users To: Joshua Levy <levy(a)sdl.sri.com> Cc: ciao-users Reply-to: boris(a)aaron.ls.fi.upm.es MIME-version: 1.0 Precedence: bulk X-My-Url: http://lml.ls.dia.fi.upm.es/~boris References: <200104270305.f3R35jN30341(a)quarter.csl.sri.com> X-Authentication-warning: salmon.ls.fi.upm.es: boris set sender to boris(a)lml.ls.fi.upm.es using -f Joshua Levy writes: >> However, I've >> run into a problem in using the data predicates. >> Can you tell me if it is a bug, or what I'm doing wrong? >> I made a file foo.pl containing: >> >> :- module(foo,[main/0]). >> >> blah(1). >> >> main :- >> assertz_fact(blah(2)), >> blah(2). >> You should declare blah/1 as a data predicate by inserting :- data blah/1. after the module declaration (it can go anywhere, but respecting certain order makes programs easier to read for other people). This tells the compiler that blah/1 is dynamic, and can be changed during program execution. These predicates are compiled specially, and the compiler must be aware of that. The main/0 call fails (silently) at the point of doing assertz_fact. Note that assertz_fact/1 is a Ciao Prolog extension for asserting facts. If you use the ISO Prolog assertz/1 (slightly less efficient in the case of facts) a runtime error is raised. Note that it is not necessary that a blah/1 fact appears in the source code: the predicate still exists even if it has no clauses. >> Now if I trace the source, it behaves as I would expect -- >> blah(2) is satified. But if I compile it, it ends >> with failure. Any insight would be appreciated. Programs debugged in the toplevel are also loaded in a special interpreted mode, which happens to be the same as a dynamic predicate. That's why the clause assertion does not fail. However assertz_fact gives an error. assert{a,z}_fact make less tests than the assert{a,z} primitive, which, in part, explains their faster execution. Your program could have been classified as "wrong" (quotes intended) by simple ocular inspection, but other cases, such as main:- ... assertz_fact(G), ... are not so straightforward, and would need a non-trivial amount of analysis. It is our hope to plug other analysis tools we are developing into Ciao Prolog to catch these errors at compile time, without overloading the execution. Note that I quoted "wrong" on purpose: it may be the intention of the program author that the program fails (in Prolog sense) if the fact to be asserted is not among those declared as data/1. >> (Also, while I'm asking, is there a way to avoid the >> 'undefined predicate' error that results if I delete >> the blah(1) assertion?) blah(1) is not an assertion, but a predicate definition --- more exactly, a clause of a predicate definition. If you take it out, the compiler finds a explicit call to blah/1 which cannot be resolved a compile time, since no module exporting it is being loaded. >> Thanks very much for you help, >> and for making an excellent prolog system freely available. Thanks for you kind words! MCL __________________________________________________________________ Anything is possible if you don't know what you are talking about. ------- End of forwarded message ------- -- ----------------------------------------------------------------------------- herme(a)fi.upm.es | Manuel Hermenegildo +34-91-336-7435 (Work) | Facultad de Informatica, UPM +34-91-352-4819 or 336-7412 (FAX) | Universidad Politecnica de Madrid http://www.clip.dia.fi.upm.es/~herme | 28660-Boadilla del Monte, MADRID SPAIN -----------------------------------------------------------------------------

1 0

← Newer
1
...
80
81
82
83
84
85
86
...
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