Ciao-users June 2001

ciao-users@cliplab.org

3 participants
6 discussions

Re: read from string?
by Manuel Carro 29 Jun '01

29 Jun '01

Joshua Levy writes: >> Hello, >> >> I have a ciao question. I wish to use the >> prolog reader to parse input from a string, >> rather than from a stream (a facility >> provided by read_from_chars/2 in SICStus). >> The {atom,string}2term predicates do this for >> simple terms, but do not correctly parse many >> things such as "(a,b,c)", "{a,b,c}", "foo((a; b))". >> (At least under v1.7p93, which I'm running.) >> Are there any other facilities for this? >> >> Thanks for your help. >> >> Joshua Dear Joshua, Yes, the implementation is not complete, as the documentation reads. We are working on a better version, based on communicating Prolog streams with character strings, and then calling the standart Prolog reader. In the meantime, a (valid) kludge is this one: ------------------------------------------------------- :- module(stt, [str2trm/2], []). :- use_module(library(format)). :- use_module(library(system)). :- use_module(library(read)). str2trm(String, Term):- mktemp(stringtotermXXXXXX, TempFileName), open(TempFileName, write, TempStreamWrite), format(TempStreamWrite, "~s.~n", [String]), close(TempStreamWrite), open(TempFileName, read, TempStreamRead), read(TempStreamRead, Term), close(TempStreamRead), delete_file(TempFileName). ------------------------------------------------------- Of course it creates, opens, writes to, reads from, deletes a file, which may be a performance problem if it is called many times. But it works nicely otherwise: ?- stt("a", T). T = a ? yes ?- stt("a(1)", T). T = a(1) ? yes ?- stt("(1,r,t)", T). T = (1,r,t) ? yes ?- stt("{1,r;t}", T). T = {1,r;t} ? yes ?- stt("[{1,r;t}, foo(([{}];(a,b,c)))]", T). T = [{1,r;t},foo(([{}];a,b,c))] ? yes MCL & the Ciao Prolog Team ___________________________________________________ Real programmers can write FORTRAN in any language.

1 0

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

07 Jun '01

> However, I tried to locate kgcc in my 7.1 box, and it is not > installed. Do you remember which package is it bundled with? The package is compat-egcs (on the 2nd CD of my distribution). Regards Marco

1 0

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

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 June 2001