Ciao-users July 2000

ciao-users@cliplab.org

11 participants
18 discussions

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

Re: BOUNCE ciao-users@clip.dia.fi.upm.es: Non-member submission from [Lars Erik Röjerås <rojeras@leonis.se>]
by Manuel Carro 06 Jul '00

06 Jul '00

>> The problem is solved and was due to a missing initial slash (/) in the path >> to ciaosh.bat. Mine read "d:PROGRAM/chiao..." where it should be >> "d:/PROGRAM/ciao..." >> >> Thanks a lot Manuel!! >> >> Regards/LEO You're welcome. MCL ________________________________________________________________ [...] put Windows back into its place as an overpriced Nintendo.

1 0

Re: SV: Installation problems
by Manuel Carro 05 Jul '00

05 Jul '00

>> I just downloaded Ciao 1.5p167 and the emacs error remains just the same. >> That is, when I try to start the top level from within NT Emacs i get a >> "Spawning child process: exec format error" >> >> I am quite sure it is just a small detail in my setup, but I am not >> experienced enough in Emacs lisp (or Ciao) to figure out what could be >> wrong. Can you please give a hint what I should look for? Hi. I've just installed Ciao in an NT machine, with no problems. We need some more information to find what is the problem. Which version of Emacs are you using? Can you open a Windows shell in Emacs (just do M-x shell)? If no, it is possible that you are using a anti-virus software which is causing problems: see http://www.gnu.org/software/emacs/windows/ntemacs.html#anti-virus for a workaround. Can you start the ciao shell (go to the installation directory, and, under the 'shell' directory, start ciaosh by clicking on it)? In ciao mode (e.g., after opening a *.pl file), when you go to the Ciao/Prolog menu and, at the bottom, select "SET MODE DEFAULTS" and then "Set Ciao Prolog toplevel executable", does the path to the ciaosh.bat file appears? If so, can you start from an MS-DOS shell this ciaosh.bat file? I am forwarding this mail to the ciao-users list; others may have found this problem and know how MCL _____________________________________________________________________ E lengeege weth e smell nember ef vewels cen remeen quete expresseve.

1 0

predicate_property/2 in CIAO 1.0pl7
by Paulo Jorge Lopes de Moura 04 Jul '00

04 Jul '00

Hi, I need a way to find if a given predicate is dynamic, static or built-in. The Reference Manual lists the usual predicate_property/2 but does not enumerate the possible predicate properties. Can someone provide me with some more info or a possible solution? Thanks. Regards, Paulo ----------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Mathematics and Informatics Office 4.32 University of Beira Interior Phone: +351 75 319700 6200 Covilhc Fax: +351 75 319732 Portugal mailto:pmoura(a)noe.ubi.pt http://www.ci.uc.pt/logtalk/pmoura.html -----------------------------------------------------------

3 2

Long atoms
by Adam Cheyer 04 Jul '00

04 Jul '00

Hi, I've just discovered CIAO prolog and am quite impressed! I'm trying to port a series of programs from Quintus prolog to CIAO, and I think the most complicated part of the port will be related to maximum atom length: CIAO insists on a maximum of 512 characters, while Quintus (and I believe Sicstus) allow atom values up to 64K. The programs will send data among Quintus and CIAO processes using sockets, and I'm worried the limitation will break a lot of code. Would it be a good idea to look at changing this restriction inside of CIAO, or are there good reasons why 512 characters are as long at atoms should ever be in CIAO? Thanks, Adam

2 1

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