Ciao-users October 2000

ciao-users@cliplab.org

4 participants
4 discussions

Problems on Sparc
by John O'Sullivan 26 Oct '00

26 Oct '00

Hi Guys, Any suggestions on these problems. Problem 1: When using XEmacs 20.4 (Solaris 2.4) Ciao-Prolog 1.6 Architecture : Sparc OS: Solaris When I invoke the Debug Buffer source I get the following warnings. (1) (error/warning) Error in process filter: (void-function overlays-at) (2) (error/warning) Error in process filter: (void-function overlays-at) . . . . etc. When I invoke the same on LINUX (i86) with GNU Emacs I get no warnings everything works fine. Problem 2: I have a program sga.pl whic is a simple genetic algorithim . It runs without error from the shell. However if I try and debug the program (without emacs) as follows . Ciao-Prolog 1.6 #1: Thu Aug 17 10:06:32 BST 2000 ?- set_debug_mode(sga). yes ?- ensure_loaded('sga.pl'). {Reading /home25/sionna/johnos/ciao-1.6p1/code/sga.pl } yes ?- debug_module(user). {Modules selected for debugging: [user]} {No module is selected for source debugging} I get {ERROR: segmentation violation} after the third iteration of the main processing algorithim. This only happens on Solaris Sparc in debug mode. It works fine on Linux i86 . regards johnos

1 0

Re: compilation error
by Manuel Carro 17 Oct '00

17 Oct '00

Tyler Palmer writes: >> Hello. >> >> I'm trying to compile Ciao on an SGI running Irix 6.5, but get the >> following error: >> >> cc -O -DATOMGC -DTHREADS -DFOREIGN_FILES -DIRIX -Dmips -c -o >> prolog_tasks.o prolog_tasks.c >> "prolog_tasks.c", line 327: error(1133): expression must be a >> modifiable lvalue >> Thread_Create_GoalId(make_backtracking, >> ^ >> Hum. That is strange. I have just compiled 1.6p1 in an SGI (running Irix 6.2) and everything went smooth. I hope the different O.S. version does not make any difference: Thread_Create_GoalId is just a macro which calls a POSIX thread function. Just in case, you can try to wrap the macro between brackets, as shown below: if (create_thread) { goal->action |= NEEDS_FREEING; { Thread_Create_GoalId(make_backtracking, goal, goal->thread_id, (THREAD_T)goal->thread_handle); } exec_result = TRUE; } else ... Please do tell us if this solves the problem --- and also if it does not, and we'll try to find a workaround. A note to the rest of the users: some of you have approached us asking for newer (beta) versions of Ciao (the development version is currently 1.7p23). We were slowed down by disk storage problems. We are now in a much better shape, and we hope to release a beta version in short. We'll send a message to the list with updates. MCL & the Ciao Prolog Crew ________________________________________________________ Virtuosity is no big deal, if you don't mind practicing.

1 0

Problems with Debug while using ensure_loaded
by John O'Sullivan 06 Oct '00

06 Oct '00

I am tring to understand how to set the depth for the trace debug facility. If I have a program as follows PROGRAM NAME: sga.pl findterm([H],_,H). findterm([H|T],X,N):- Y is X + H, test(Y), findterm(T,Y,N). test(6). test(_). If I loaded it in to the interpreter with consult I seem to get a depth of debug as follows. Ciao-Prolog 1.6 #1: Thu Aug 17 10:06:32 BST 2000 ?- consult('sga.pl'). yes ?- debug_module(user). {Modules selected for debugging: [user]} {No module is selected for source debugging} yes ?- trace. {The debugger will first creep -- showing everything (trace)} yes {trace} ?- findterm([1,2,3,4,5,6,7,8,9],0,N). 1 1 Call: user:findterm([1,2,3,4,5,6,7,8,9],0,_370) ? 2 2 Call: _570 is 0+1 ? 2 2 Exit: 1 is 0+1 ? 3 2 Call: user:test(1) ? 3 2 Exit: user:test(1) ? 4 2 Call: user:findterm([2,3,4,5,6,7,8,9],1,_370) ? 5 3 Call: _1016 is 1+2 ? 5 3 Exit: 3 is 1+2 ? 6 3 Call: user:test(3) ? 6 3 Exit: user:test(3) ? 7 3 Call: user:findterm([3,4,5,6,7,8,9],3,_370) ? 8 4 Call: _1461 is 3+3 ? 8 4 Exit: 6 is 3+3 ? 9 4 Call: user:test(6) ? 9 4 Exit: user:test(6) ? 10 4 Call: user:findterm([4,5,6,7,8,9],6,_370) ? 11 5 Call: _1905 is 6+4 ? 11 5 Exit: 10 is 6+4 ? 12 5 Call: user:test(10) ? 12 5 Exit: user:test(10) ? 13 5 Call: user:findterm([5,6,7,8,9],10,_370) ? 14 6 Call: _2348 is 10+5 ? 14 6 Exit: 15 is 10+5 ? 15 6 Call: user:test(15) ? 15 6 Exit: user:test(15) ? a { Execution aborted } ?- ^C If I use ensure_loaded I can only debug as follows: ensure_loaded('sga.pl'). ?- debug_module(user). {Modules selected for debugging: [user]} {No module is selected for source debugging} yes ?- trace. {The debugger will first creep -- showing everything (trace)} yes {trace} ?- findterm([1,2,3,4,5,6,7,8,9],0,N). 1 1 Call: user:findterm([1,2,3,4,5,6,7,8,9],0,_370) ? 1 1 Exit: user:findterm([1,2,3,4,5,6,7,8,9],0,9) ? N = 9 ? What do I need to do to debug to this level using ensure_loaded as the mechanism for loading the code?

2 1

Java to prolog interfaz
by jaldea 04 Oct '00

04 Oct '00

I ask you about the usage of the CiaoJava package. I`m trying to execute your example called "queens", but I can´t execute it because I receive an error from the console. This error is about it`s impossible to create the process plserver. JUAN PABLO P.D: My O.S is Windows98.

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