Hi
I'm trying to compile ciao using cygwin and gcc 3.2 but when ciaoc runs I get the following
*** --------------------------------------------------------- cd ciaoc && make compiler make[2]: Entering directory `/opt/ciao/src/ciao-1.9p34/ciaoc' cp -f ciaoc /opt/ciao/src/ciao-1.9p34/ciaoc/ciaoc.sta CIAOENGINE=/opt/ciao/src/ciao-1.9p34/bin/Win32i86/ciaoengine CIAOLIB=/opt/ciao/src/ciao-1.9p34 /opt/ciao/src/ciao-1.9p34/ciaoc/ciaoc.sta -s -x ciaoc ERROR: File library(compiler/header) not found - aborting... CIAOENGINE=/opt/ciao/src/ciao-1.9p34/bin/Win32i86/ciaoengine CIAOLIB=/opt/ciao/src/ciao-1.9p34 /opt/ciao/src/ciao-1.9p34/ciaoc/ciaoc -s -x gen_asr
{ERROR: segmentation violation} {ERROR: segmentation violation} {ERROR: segmentation violation} ....
Is it a ciao's problem or a cygwin's???
I've tried with 1.8 and 1.9 obtaininng the same result.
José Antonio Cuesta Corpa
___________________________________________________ Yahoo! Postales Felicita las Navidades con las postales más divertidas desde http://postales.yahoo.es ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------
Hi, I am trying to run the tck/tk examples via. emacs on Windows 98 but not finding success. For example, queens.pl loads with the following message:
use_module('d:/Downloads/AI/Prolog/Compilers/CIAO Prolog/ciao->
1.8p2Win32/library/tcltk/examples/queens.pl').
and when I try to Cc-t (Start ciao top level) in the message buffer I get:
starting ciao toplevel...done
but I see no results (wish GUI etc) displayed.
----
Similarly I tried another example, phone_book.pl, which brings up a blank wish screen (with the tcl prompt) but I don't know how to view and/or querry the phone_book (GUI?).
Does anyone have some words of advice on this?
Thanks, George
--------------------------------------------- Introducing NetZero Long Distance 1st month Free! Sign up today at: www.netzerolongdistance.com ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------
small :# fuzzy_predicate([(0,1),(0,1),(0.5,0),(1,0)]).
If I want to show X value in small(0.2,X) , how to solve it?
Because if I use write(X) ,then it show _xxx. I hope it show membership value.
Help me thx
============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------
Shih-Hsi wrote:
small :# fuzzy_predicate([(0,1),(0,1),(0.5,0),(1,0)]).
If I want to show X value in small(0.2,X) , how to solve it?
Because if I use write(X) ,then it show _xxx. I hope it show membership value.
Showing _xxx means that the you did not bind this value; every possible value in X may be true (that can sometimes be wrong, for instance the predicate blahingly_foolish(0.2,X) :- variable(x). wuold return an unbound variable for every given veraibal at the second argument, yet for any given number would return false. { Btw, sorry if I got the name 'variable' wrong, I haven't used prolog in a long time... }) In short, the return of _xxx for X means that for any X, small(0.2,X) is true.
May I ask though what fuzzy_predicate does?
Katsmall the Wise kela_bit(a)netvision.net.il
============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------
Shih-Hsi writes:
small :# fuzzy_predicate([(0,1),(0,1),(0.5,0),(1,0)]).
If I want to show X value in small(0.2,X) , how to solve it?
Because if I use write(X) ,then it show _xxx.
Those "fuzzy" variables get values via constraints, and the classical write and similar predicates are not able to print constraints, they only print values the variables are bound to. In this case, the variable is not bound to a value, although it might be constrained.
Getting a handle on the constraints of a variable is kind of weird. One possible solution is as follows:
:- use_module(library('clpr/clp_dump')). :- use_module(library(write),[write_list1/1]).
:- multifile dump/3.
... :- ... small(0.2,X), dump(X,X,Constraints), write_list1(Constraints), ...
You will then get printed something like:
.=.(_685,1.0)
which tells you that variable _685 is constrained to have value 1.0
Or, in other cases, you may get things like:
.>.(_685,0.62) .<.(_685,1.0)
which tells you that variable _685 is constrained to have a value in between 0.62 and 1.0.
Francisco Bueno CLIP group - CS Dept. - FIM - UPM ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------
And if you want the X variable be written as X instead of as _685 or similar, then do:
small(0.2,X), dump(X,'$VAR'('X'),Constraints), write_list1(Constraints),
Daniel ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------