Ciao-users July 2000

ciao-users@cliplab.org

11 participants
18 discussions

Reading terms from streams
by Alexander Berman 29 Jul '00

29 Jul '00

Hi, I'm a new CIAO user trying to produce a server for evaluating expressions in a certain language. I would like to read a term from a (socket) stream (using some user-defined operators) but I don't want to get stuck waiting for the term to be completed (i.e. reaching the "." at the end). E.g., one line should be read from the stream, and if that line doesn't contain a complete term I would like the action to fail (and not pend). Can I read one line as a list of characters and then convert them to a term? How? The string2term does not seem to do the job. Any suggestions? Thanks Alexander

3 4

Problems in downloading Pillos
by Manuel Carro 21 Jul '00

21 Jul '00

A couple of users reported this error: >> tried to download the newest Pillow version for SWI prolog, but I only >> received the following message: >> >> Not Found >> >> The requested URL /~clip/Software/Pillow/pillow1.1.swi.tar.gz was not >> found on this server. It is corrected now. MCL ________________________________________________________ In life, as in art, the truth is in the beholder's eyes.

1 0

PiLLoW 1.1 is available!
by Daniel Cabeza Gras 20 Jul '00

20 Jul '00

PiLLoW version 1.1, included with the latest version of Ciao Prolog (1.6#1), is now available for SICStus 3.8, SWI Prolog 3.3, and YAP 4.3.0. Improvements from the previous version include handling of XML code, templates (HTML/XML code with 'named holes' which are associated to logical variables), and a reference manual. Please see: http://www.clip.dia.fi.upm.es/Software/pillow/ for details. The PiLLoW library (``Programming in Logic Languages on the Web'') is a public domain Internet/WWW programming library for Logic Programming Systems which simplifies the process of writing applications for this environment. The library provides facilities for generating HTML or XML structured documents by handling them as Herbrand terms, producing HTML forms, writing form handlers, processing HTML templates, accessing and parsing WWW documents (either HTML or XML), accessing code posted at HTTP addresses, etc. The PiLLoW library has been developed in the context of the &-Prolog and Ciao systems, but it has been adapted to a number of popular Logic Programming systems. PiLLoW is distributed under the GNU Library General Public License. P.S. If you have ported PiLLoW to other Prologs, please let us know! Daniel Cabeza & the Clip lab team

1 0

Re: Linux-Kernel compilation trouble
by Manuel Carro 20 Jul '00

20 Jul '00

Christian writes: >> yes it happens ... i just tried to compile a new (2.4-test3 doesn't >> matter) kernel with the Debian make-kpkg tool. >> It stopped on behalf, notifing that the Architecture "LINUXi86" >> architecture is unknown to it. LINUXi86 ?!?! .. gotcha ... the CIAO init >> scipt sets the ARCH Enviroment Variable.. unsetting it fixed it. >> >> So it isnt harmfull ... but how about either to change the Variables >> Name to CIAO_ARCH for example or better using the well known GNU >> Abrevitations to encode the Architecture "i686-linux-gnu", "sparc-sun" >> and so on. Thanks for pointing it out! Actually, ARCH is (was) only needed to run older versions of Ciao Prolog, and appears in the script for compatibility reasons. You (and anyone else who may be experiencing troubles) can just comment out the lines in the initialization scripts (DOTcshrc/DOTprofile). We will probably remove the old variable from newer versions of Ciao. Manuel Carro & the Ciao Prolog Development Team

1 0

Ciao Reference Manual (ciao.ps)
by Daniel Dudley 18 Jul '00

18 Jul '00

1. The contents of sections 1.3 and 1.4 are the same. 2. To facilitate double-sided printing, equal left and right margins are required. 3. The manual is too bulky for 'comb' (spiral) binding and, as a single document, is also unwieldy. May I suggest that it be split into several volumes, each with their own TOC and Index sections? I would suggest something along the following lines: Volume I: 'Basics' Parts 1 and 2 (142 pages + TOC + Index) Volume II: 'Libraries & Abstract Data Types' Parts 3, 4, 5, 6 and 9 (184 pages+ TOC + Index) Volume III: 'Extensions & Foreign Language Interfaces' Parts 7 and 8 (148 pages+ TOC + Index) Volume IV: 'Standalone Utilities, Contributed Libraries, Appendices & References' Parts 10, 11 and 12, References and Definition Indexes (126 pages + TOC + Index) This leaves room for moderate expansion of each volume. In due course, additional volumes may be required, eg. Volume V: 'Graphical User Interface (GUI)'. Cheers, Daniel

2 1

Re: Single quotes and terms
by Naomi Lindenstrauss 18 Jul '00

18 Jul '00

Try doubling the inner quotes 'it''s hopefuly ok. If not write me.'

1 0

Single quotes and terms
by Luis Rodrigo 17 Jul '00

17 Jul '00

Hello everyone there! I´m working in a project that involves managing english expressions, and I need to include single quotes inside terms delimited by single quotes. How can I do this? Here is an example: 'that's right' Thank you very much. Hasta luego. Luis.

2 1

Ciao 1.6 now available!
by Manuel Carro 15 Jul '00

15 Jul '00

Version 1.6 of the Ciao Prolog System is Available -------------------------------------------------- Ciao is a complete Prolog system, supporting ISO-Prolog, but its novel modular design allows both restricting and extending the language. This makes it possible to work with fully declarative subsets of Prolog and also to extend these subsets (or ISO-Prolog) both syntactically and semantically. Most importantly, these restrictions and extensions can be activated separately on each program module so that several extensions can coexist in the same application for different modules. Ciao currently includes extensions for feature terms (records), functional logic programming, higher-order (with predicate abstractions), constraints, object-oriented programming, persistence, several control rules (breadth-first search, iterative deepening), concurrency (threads/engines), a good base for distributed execution (agents), concurrent built-in database, and parallel execution. Libraries also support WWW programming, sockets, external interfaces (C, Java, TclTk, relational databases), etc. Ciao Prolog 1.6 is the current stable Ciao Prolog distribution since the last stable version (Ciao Prolog 1.4). The major changes and improvements over Ciao Prolog 1.4 include: * Source-level debugger in emacs, breakpts. * Emacs environment improved, added menus for Ciaopp and LPDoc. * Debugger embeddable in executables. * Stand-alone executables available for UNIX-like operating systems. * Many improvements to emacs interface. * Menu-based interface to autodocumenter. * Threads now available in Win32. * Many improvements to threads. * Modular clp(R) / clp(Q). * Other computation rules: And-fair breadth-first and iterative deepening. * Improved syntax for predicate abstractions. * Library of higher-order list predicates. * Better code expansion facilities (macros). * New delay predicates (when/2). * Compressed object code/executables on demand. * The size of atoms is now unbound. * Fast creation of new unique atoms. * Number of clauses/predicates essentially unbound. * Delayed goals with freeze restored. * Faster compilation and startup. * Much faster fast write/read. * Improved documentation. * Other new libraries. * Improved installation/deinstallation on all platforms. * Many improvements to autodocumenter. * Many bug fixes in libraries and engine. The manual includes a list of changes for previous versions. Ciao Prolog 1.6 is available for downloading from http://www.clip.dia.fi.upm.es/Software/Ciao Ciao 1.6 patch #0 had an installation problem. This is now corrected, and Ciao 1.6 patch #1 is already available. If you downloaded Ciao 1.6 patch #0 please download Ciao 1.6 patch #1. Happy logic programming! The Ciao Prolog Development Team

1 0

Error running CIAO 1.6p0 Win32 version
by Paulo Moura 13 Jul '00

13 Jul '00

Hi! After installing the Win32 version of CIAO 1.6p0 I keep getting the error: library library(c) not found, exiting... every time I try to start the CIAO shell. Installation went smooth and I reboot the PC after installation completed. Anyone else is getting this error? TIA, Paulo ----------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Mathematics and Informatics Office 4.32 Ext. 3251 University of Beira Interior Phone: +351 275319700 6201-001 Covilhã Fax: +351 275319732 Portugal mailto:pmoura(a)noe.ubi.pt http://www.ci.uc.pt/logtalk/pmoura.html -----------------------------------------------------------

2 1

Logtalk config file for CIAO 1.5p169 now available
by Paulo Moura 11 Jul '00

11 Jul '00

Hi! A preliminary Logtalk config file for CIAO 1.5p169 now available for download from the Logtalk web site: http://www.ci.uc.pt/logtalk/logtalk.html Happy logtalking! Paulo ----------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Mathematics and Informatics Office 4.32 Ext. 3251 University of Beira Interior Phone: +351 275319700 6201-001 Covilhã Fax: +351 275319732 Portugal mailto:pmoura(a)noe.ubi.pt http://www.ci.uc.pt/logtalk/pmoura.html -----------------------------------------------------------

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 July 2000