Ciao-users

ciao-users@cliplab.org

948 discussions

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

calling ciao from tcl
by Nenad Ivezic 13 Sep '00

13 Sep '00

Although there is a reference to the tcl library being 'bidirectional interface to the Tcl (pronounced Tickle)' I couldn't see any account of the way to call ciao from a Tcl script. Please advise. Thanks, -- Nenad Ivezic, PhD, Guest Researcher Manufacturing Systems Integration Division National Institute of Standards and Technology (on leave from Oak Ridge National Laboratory) phone: 301-975-3536 fax: 301-258-9749 Internet: nivezic(a)nist.gov

1 0

tcl examples
by Nenad Ivezic 13 Sep '00

13 Sep '00

I am very new to ciao. I installed 95/98/NT ciao binary and am just starting to play with the system. When trying to run tcl examples I get Ciao/Prolog/LPdoc Listener exited abnormally with code 3328 What am I doing wrong? Thanks, -- Nenad Ivezic, PhD, Guest Researcher Manufacturing Systems Integration Division National Institute of Standards and Technology (on leave from Oak Ridge National Laboratory) phone: 301-975-3536 fax: 301-258-9749 Internet: nivezic(a)nist.gov

1 0

Problem reading files
by Wamberto W. Vasconcelos 12 Sep '00

12 Sep '00

Dear CIAO Users I tried to run the following program in CIAO v1.6 ------------------------------------------------------ :- op(950,xfx,'==>'). :- use_module(library(read)). :- use_module(library(write)). main :- open('file.pl',read,Stream), read(Stream,A), close(Stream), write(A), nl. ------------------------------------------------------ where the contents of "file.pl" are: p(a==>b). and I got the following: [user(a)thurso]$ ciao Ciao-Prolog 1.6 #1: Thu Aug 3 11:19:43 BST 2000 ?- ensure_loaded(program). yes ?- main. {ERROR: read/2 - syntax error (lns 1-1) , or ) expected in arguments: p ( a ** here ** ==> b ) . } no ?- halt. ---------------------------------------------------- I ran the same program on SICStus (commenting out the use_ module lines) and it worked OK. What is going on here? Is there anything I should be doing? Thanks for any help in advance Cheers -- wamberto

3 2

Using consult
by John O'Sullivan 16 Aug '00

16 Aug '00

I am trying to use consult/1 in a file but keep getting an error indicating that the predicate is undefined. Do I need to include a module or package in order to use this?

2 1

Reading terms from streams
by Alexander Berman 29 Jul '00

29 Jul '00

Hi, I'm a new CIAO user trying to produce a server for evaluating expressions in a certain language. I would like to read a term from a (socket) stream (using some user-defined operators) but I don't want to get stuck waiting for the term to be completed (i.e. reaching the "." at the end). E.g., one line should be read from the stream, and if that line doesn't contain a complete term I would like the action to fail (and not pend). Can I read one line as a list of characters and then convert them to a term? How? The string2term does not seem to do the job. Any suggestions? Thanks Alexander

3 4

Problems in downloading Pillos
by Manuel Carro 21 Jul '00

21 Jul '00

A couple of users reported this error: >> tried to download the newest Pillow version for SWI prolog, but I only >> received the following message: >> >> Not Found >> >> The requested URL /~clip/Software/Pillow/pillow1.1.swi.tar.gz was not >> found on this server. It is corrected now. MCL ________________________________________________________ In life, as in art, the truth is in the beholder's eyes.

1 0

PiLLoW 1.1 is available!
by Daniel Cabeza Gras 20 Jul '00

20 Jul '00

PiLLoW version 1.1, included with the latest version of Ciao Prolog (1.6#1), is now available for SICStus 3.8, SWI Prolog 3.3, and YAP 4.3.0. Improvements from the previous version include handling of XML code, templates (HTML/XML code with 'named holes' which are associated to logical variables), and a reference manual. Please see: http://www.clip.dia.fi.upm.es/Software/pillow/ for details. The PiLLoW library (``Programming in Logic Languages on the Web'') is a public domain Internet/WWW programming library for Logic Programming Systems which simplifies the process of writing applications for this environment. The library provides facilities for generating HTML or XML structured documents by handling them as Herbrand terms, producing HTML forms, writing form handlers, processing HTML templates, accessing and parsing WWW documents (either HTML or XML), accessing code posted at HTTP addresses, etc. The PiLLoW library has been developed in the context of the &-Prolog and Ciao systems, but it has been adapted to a number of popular Logic Programming systems. PiLLoW is distributed under the GNU Library General Public License. P.S. If you have ported PiLLoW to other Prologs, please let us know! Daniel Cabeza & the Clip lab team

1 0

Re: Linux-Kernel compilation trouble
by Manuel Carro 20 Jul '00

20 Jul '00

Christian writes: >> yes it happens ... i just tried to compile a new (2.4-test3 doesn't >> matter) kernel with the Debian make-kpkg tool. >> It stopped on behalf, notifing that the Architecture "LINUXi86" >> architecture is unknown to it. LINUXi86 ?!?! .. gotcha ... the CIAO init >> scipt sets the ARCH Enviroment Variable.. unsetting it fixed it. >> >> So it isnt harmfull ... but how about either to change the Variables >> Name to CIAO_ARCH for example or better using the well known GNU >> Abrevitations to encode the Architecture "i686-linux-gnu", "sparc-sun" >> and so on. Thanks for pointing it out! Actually, ARCH is (was) only needed to run older versions of Ciao Prolog, and appears in the script for compatibility reasons. You (and anyone else who may be experiencing troubles) can just comment out the lines in the initialization scripts (DOTcshrc/DOTprofile). We will probably remove the old variable from newer versions of Ciao. Manuel Carro & the Ciao Prolog Development Team

1 0

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