Ciao-users

ciao-users@cliplab.org

948 discussions

Re: Problems with concurrent facts and classes
by Francisco Bueno Carrillo 21 Nov '01

21 Nov '01

jsabater(a)iiia.csic.es says: >> The probem is the following. Although message/1 is declared as >> concurrent, when the predicate main/0 arrives to the second >> retract_fact(message(B)) instead of waiting, it fails (as if message/1 was >> declared as data or dynamic). What's wrong in my code? There's nothing wrong, in fact. Concurrent attributes are not working yet in Ciao (neither in 1.6 #3). We will try to put it working for 1.8 (coming soon). If what you want is not a concurrent attribute (different for each instance) but a concurrent fact (common for all instances), i.e., a concurrent *class* attribute, then you can define it in a separate module and import it into the class. This workaround is the way to define class attributes in OCiao, whether concurrent or not. This will do: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% :- class(test,[],[]). :- use_module(testattributes,[message/1]). :- export([main/0]). main :- asserta_fact(message(a)), retract_fact(message(A)), display(A),nl, retract_fact(message(B)), display(B),nl. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% :- module(testattributes,[message/1],[]). :- concurrent message/1. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Now, you can simulate a concurrent instance attribute by indexing the concurrent class attribute. Something like this: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% :- class(test,[],[]). :- use_module(testattributes,[message/2]). :- export([main/0]). main :- self(S), asserta_fact(message(S,a)), retract_fact(message(S,A)), display(A),nl, retract_fact(message(S,B)), display(B),nl. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% :- module(testattributes,[message/2],[]). :- concurrent message/2. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Ok. This makes the predicate concurrent for every instance of the class. What you can do to avoid this is to create concurrent predicates dynamically for each instance, using the library(concurrency):concurrent/1 predicate. This will require some more programming... ;-) Regards, Paco ------- End of forwarded message -------

1 0

Re: Compiling static executables
by Daniel Cabeza Gras 21 Nov '01

21 Nov '01

Dear Miguel, Currently there is no support for the -S option in Windows. We are working on it. Daniel Cabeza

1 0

Compiling static executables
by f980299＠zipi.fi.upm.es 21 Nov '01

21 Nov '01

Hello, I have a problem with the Ciao standalone compiler. I am trying to compile an static executable with ciaoc on Windows, and I get the following error message: ERROR: File //C/Archivos de programa/ciao-1.6p3Win32/engine/ciaoengine.Win32i86. sta not found - aborting... I haven't found this file in my installation, nor the directory engine. The command I use to copile is: c:\archiv~1\ciao-1~1.6p3\ciaoc\ciaoc -S -o alex.exe alex.pl I've tryed both under WindowsMe and Windows 2000. Thank you very much for your help. Miguel

1 0

Re: Problems with modules.
by MCL 09 Nov '01

09 Nov '01

>> This is really a problem of a novice Ciao user. >> The toplevel/compiler within emacs environment >> gives me the following output: >> >> ?- append(A,B,[1,2,3]). >> {ERROR: user:append/3 - undefined predicate} The toplevel acts, in many ways, as another module. So you have to explicitly load the modules containing the predicates you intend to use. In this case, Ciao-Prolog 1.7 #132: Wed Oct 31 19:34:53 CET 2001 ?- use_module(library(lists)). Note: module already in executable yes ?- append(A, B, [1,2,3]). A = [], B = [1,2,3] ? ; A = [1], B = [2,3] ? ; A = [1,2], B = [3] ? ; A = [1,2,3], B = [] ? ; no ?- Note the first "use_module". Additionaly, if you load into the toplevel a module, say `f', which in turn uses another module, e.g., `lists', the module lists is not made automatically visible at the toplevel, even if it was already loaded. MCL ________________________________________________________ Virtuosity is no big deal, if you don't mind practicing.

1 0

None
by Hans Schlenker 14 Oct '01

14 Oct '01

Dear Ciao users! We would like to use the promising lpdoc package to document our SICStus Prolog program code. I tried to install lpdoc for SICStus, but without success, unfortunately. There is actually some entry in the SETTINGS file for SICStus-3, which is apparently far from working. Is there anyone having any experince with this? Any hint would be highly appreciated! Best regards, Hans -- ============================================================== Hans Schlenker Phone: +49 30 6392 1861 Fraunhofer-FIRST Fax: +49 30 6392 1805 Kekuléstraße 7 Email: hans.schlenker@ 12489 Berlin, Germany first.fraunhofer.de ============= http://www.first.fraunhofer.de/~hs =============

1 0

Emacs info file
by Lars Erik Röjerås 09 Aug '01

09 Aug '01

Hi! I have just installed Ciao 1.7p115. Everything seems to be working except a small glitch in info. When I look at one of the index pages (for example "Predicate/Method Definition Index") there are no cross references (links) defined. I cannot "hyperjump" from an index entry to the place it refers to. The stand-alone info behaves the same as from Xemacs. As a side effect (I think), when I use "C-C TAB" (ciao-help-on-current-symbol) I end up at the index page, not the description of the symbol. I would apreicate some help and possibly a "precompiled" ciao.info which you know works. Regards, Lars Erik PS. The librowser is extremly useful!! -- /***************************************** Lars Erik Röjerås Leonis Solutions AB Myrtenvägen 2 176 74 Järfälla Sweden Mobile: +46 (0)705 58 90 08 Fax: +46 (0)8 583 605 22 rojeras(a)leonis.se http://www.leonis.se *****************************************/

2 1

How to use variables as head ?
by Roel Wuyts 08 Aug '01

08 Aug '01

Hello, I have been using ciao for some time now, and this time I'm really stuck :-) I would like to use a variable in a head (as I used to do in WinProlog, for example). The problem is I cannot get it to compile, so I guess that I'm forgetting some switch or doing something completely stupid... Specifically, this is the rule I want to define: traverseComponent(Environment, Process, Component) :- Process(Component, Environment). Resulting in the following compile error: ERROR: (lns 408-411) syntax error: , or ) expected in arguments traverseComponent ( Environment , Process , Component ) :- call ( Process ** here ** ( Component , Environment ) ) . } -- Roel Wuyts Software Composition Group Roel.Wuyts(a)iam.unibe.ch University of Bern, Switzerland Board member of the European Smalltalk User Group: www.esug.org

2 1

Perl foreign interface
by Lars Erik Röjerås 07 Aug '01

07 Aug '01

Dear Ciao team! Thank you for a very good and feature rich prolog implementation. Have you considered implementing a foreign interface from Perl to Prolog? I guess it could be done very similar to the Java interface, to let the two environments communicate through a socket. Potentially a lot of the Prolog side code could be reused too, it seems to be quite generic. Regards, Lars Erik -- /***************************************** Lars Erik Röjerås Leonis Solutions AB Myrtenvägen 2 176 74 Järfälla Sweden Mobile: +46 (0)705 58 90 08 Fax: +46 (0)8 583 605 22 rojeras(a)leonis.se http://www.leonis.se *****************************************/

3 2

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

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