Ciao-users

ciao-users@cliplab.org

948 discussions

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

predicate_property/2 in CIAO 1.5pl169
by Paulo Moura 11 Jul '00

11 Jul '00

Hi! Any plans for an updated version of the predicate_property/2 predicate for CIAO 1.5, 1.6? What I'm looking for is for a predicate definition compliant (as much as possible) with the definition in the latest draft for the ISO Prolog Standard proposal for modules: ... 7.8 Predicate properties The properties of procedures can be found using the built- in predicate predicate_property(Callable, Property), where Callable is the meta-argument term Module:Goal (8.2.2). The predicate properties supported shall include: static - The procedure is static. dynamic - The procedure is dynamic. public - The procedure is a public procedure. private - The procedure is a private procedure. built_in - The procedure is a built-in procedure. multifile - The procedure is the subject of a multifile directive. exported - The module Module exports the procedure. metapredicate(MPMI) - The procedure is a metapredicat, and MPMI is its metapredicate mode indicator. imported_from(From) - The predicate is imported into module module from the module From. defined_in(DefiningModule) - The module with the name DefiningModule is the defining module of the procedure. A processor may support one of more additional predicate properties as an implementation specific feature. ... For my work, I need at least the properties dynamic, static and built_in. I know that in CIAO almost any predicate can be redefined, so the concept of "built-in predicate" is a bit different from other Prologs. 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 -----------------------------------------------------------

1 0

Re: calling compile/1 from a user defined predicate
by Paulo Moura 10 Jul '00

10 Jul '00

on 10.07.00 06:33, Marian Kamenov at marianpk(a)yahoo.com wrote: > I'm using CIAO for about a month on Windows NT 4.0 & Redhat Linux 6.1. > I don't see such a problem. Very easy to reproduce the bug. Just write a small Prolog source file with the following contents: test :- compile(file). Run the ciaoengine application and at the top level try: ?- compile(test). yes ?- test. {ERROR: user:compile/1 - undefined predicate} no It seams that I have to import the compile/1 predicate from some library. Unless we can only call it from the top level... 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 2

calling compile/1 from a user defined predicate
by Paulo Moura 09 Jul '00

09 Jul '00

Hi! In one of my programs that I'm trying to run in CIAO (1.5p169) I have the following clause: lgt_load_prolog_code(File) :- compile(File). Calling the above predicate always gives me the error: user:compile/1 - undefined predicate How do we call the compile/1 predicate from a user defined predicate? What module should be used/included? From the manual, it seams to be exported from a ciaosh module but there is no trace of the corresponding file in the libraries directories. 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 -----------------------------------------------------------

1 0

Re: Request: Hostname address
by Manuel Carro 06 Jul '00

06 Jul '00

Hi. >> In its socket library, Sicstus supports a useful predicate: >> >> hostname_address(+Host,-IPNum) >> >> which returns the IP number for a given hostname, as in >> >> | ?- hostname_address('trestle.ai.sri.com', X) >> >> X = '130.107.64.111' >> It has been added. The address http://www.clip.dia.fi.upm.es/Software/Ciao has a new distribution. The changes will propagate to http://cs.nmsu.edu/~clip/Software/Ciao tonight (Spanish time). Best, MCL ________________________________________________________________ [...] put Windows back into its place as an overpriced Nintendo.

1 0

← Newer
1
...
87
88
89
90
91
92
93
94
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