gmane.comp.ai.prolog.yap.general

Re: problem with nb_setarg

Vitor Santos Costa — 2008-12-01T23:10:08

Hi Ingo That might be a problem in the debugger, and not in the actual code. I hope it is, at least. Can you send me a script that shows this fault? On Mon, Dec 1, 2008 at 8:44 AM, Ingo Thon public.gmane.org> wrote: ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/

problem with nb_setarg

Ingo Thon — 2008-12-01T08:44:36

Hi, I'm using an nb_setarg and from time to time it doesn't give the expected result sometimes* it does (9) call:nb_setarg(2,step(ln26,[r(b)]),[c,r(b)]) ? (9) exit:nb_setarg(2,step(ln26,[r(b)]),[c,r(b)]) ? and sometimes : (9) call:nb_setarg(2,step(ln1,[r(b)]),[c,r(b)]) ? (9) exit:nb_setarg(2,step(ln1,[c,r(b)]),[c,r(b)]) ? *sometimes means here that this code is run multiple times in an kind of "for loop" and always at the 26 position it gives the wrong result :/ maybe repeating with higher number of runs. Cheers Ingo ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/

Re: noreductive and nosplit parameters

Vitor Santos Costa — 2008-11-15T00:54:59

Hi YAP is just complaining, because Aleph does not define these parameters, they seem to be Progol-only. It is doing the right thing. Next follows some stuff from the progol manual, you may want to ask the Aleph mailing list for accurate info :). Cheers Vitor B reductive? disallows literals in the body to have terms more complex than most complex term in the clause head. Term complexity is measured as follows: Variables = 1, Term = 2 + sum of argument complexities, Constant = 2, Integer = 2 and Real = 2. .TP .B noreductive? disables reductive constraint. .TP .B split? allows "variable-splitting" i.e. breaking of variable co-references in the most specific clause constructed in the first step of the .I generalise/1 command. This enables a more complete search of the subsumption lattice above the most specific clause. .TP .B nosplit? disables variable-splitting. On Fri, Nov 14, 2008 at 10:32 AM, duxessa-gH+WsCr1+wQ1GQ1Ptb7lUw< at >public.gmane.org public.gmane.org> wrote: ---

noreductive and nosplit parameters

2008-11-14T10:32:21

Hi. I downloaded Progol datasets and I used a .b file (the background knowledge) for Aleph that contains these parameters: :- noreductive. :- nosplit. These parameters get problem with Yap compiler. Yap fails with this message: :- user: noreductive failed. :- user: nosplit failed. I don't know these parameters. I 've seen something as: set(splitvars,+V) in Aleph manual but I don't know if this is the same. Do you can help me? What does :- noreductive., :- nosplit. mean? How can I resolve my problem? Thanks. ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/

Re: (no subject)

Vitor Santos Costa — 2008-11-13T18:08:44

YAP works as a console application, so you need to call yap.exe and it hopefully should show you a prompt. You would then do something like cd('c:\Wor...\where I am'). [aleph]. do as usual. Cheers Vitor On Thu, Nov 13, 2008 at 5:12 PM, duxessa-gH+WsCr1+wQ1GQ1Ptb7lUw< at >public.gmane.org public.gmane.org> wrote: ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/

(no subject)

2008-11-13T17:12:16

Hi. I downloaded yap-5.1.3-installer and I executed it. My Operating System is Microsoft Windows XP. The installer has installed Yap in C: \Programmi\Yap. It's ok or not? I don't understand how load a .pl file (Aleph.pl in my case) in Yap with Windows XP, what is the default working directory and if I need to set anything for the compiler with the Microsoft OS or if I need of Microsoft Visual C++. and so one... for loading and running prolog files. I 've read the manual of yap but I don't know what I do. I hope in your help. Thanks. ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/

Re: problem with once in yap

Vitor Santos Costa — 2008-10-31T10:52:48

Hi Ingo This was a bug: I had forgotten to put a var test. It is fixed on gitorious. Sorry for the delay and thanks! Vitor ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/

Re: problem with once in yap

Vitor Santos Costa — 2008-10-29T10:51:15

Hi Ingo Sorry for the delay. This looks like a bug in the compilation of once (another one :( ). Hopefully it should be easy to fix. Thanks! Vitor On Sun, Oct 26, 2008 at 3:37 PM, Ingo Thon public.gmane.org> wrote: ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/

RSS feeds for YAP git versions available

Paulo Moura — 2008-10-28T10:16:10

Hi! I noticed today that gitorious.org started providing RSS feeds for git commits: http://gitorious.org/projects/yap-git Cheers, Paulo ----------------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Computer Science, University of Beira Interior 6201-001 Covilhã, Portugal Office 4.3 Ext. 3257 Phone: +351 275319891 Fax: +351 275319899 Email: public.gmane.org> Home page: Research: ----------------------------------------------------------------- ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/

problem with once in yap

Ingo Thon — 2008-10-26T15:37:49

When loading with yap -l a file containing p(X) :- format('a~n',[]),once(X),format('b~n',[]). q(X) :- format('a~n',[]),once(( (X) ; X )),format('b~n',[]). q2(X) :- format('a~n',[]),once(( once(X) ; X )),format('b~n',[]). r(X) :- format('a~n',[]),once((format('g~n',[]);format('g~n', []))),format('b~n',[]). :-p(format('goal ~n',[])). :-q(format('goal ~n',[])). :-q2(format('goal ~n',[])). :-r(format('goal ~n',[])). q fails like being undefined. :- user:q(format(goal ~n,[])) failed. But no error msg about its definition all other predicates succeeds. Yap version is 5.1.3 Ingo ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/

Re: Heisenbug in if/3

Vitor Santos Costa — 2008-10-18T11:56:18

Hi Brian That was a bug in the compilation of if/3. I wrote a quick fix and I pushed it to the git repository. The patch is at: http://gitorious.org/projects/yap-git/repos/mainline/commits/38c97bd331d47baaa8a19328f336352a54128fc2 Thanks! Vitor On Sat, Oct 18, 2008 at 1:17 AM, Brian DeVries public.gmane.org> wrote: ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/

Re: Heisenbug in if/3

Paulo Moura — 2008-10-18T09:31:46

On 2008/10/18, at 01:17, Brian DeVries wrote: The bug is also present in the latest git version of YAP 5.1.4. The problem doesn't seem to be in the implementation of the if/3 predicate: ?- if(foo(X), true, true). X = 1 ? ; X = 2 ? ; X = 3 ? ; no Cheers, Paulo ----------------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Computer Science, University of Beira Interior 6201-001 Covilhã, Portugal Office 4.3 Ext. 3257 Phone: +351 275319891 Fax: +351 275319899 Email: public.gmane.org> Home page: Research: ----------------------------------------------------------------- ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere i

Heisenbug in if/3

Brian DeVries — 2008-10-18T00:17:44

Howdy all, I'm trying to use the if/3 predicate, because I'd like to be able to backtrack over the first predicate in the test, rather than committing to it as is done with ->/3. Unfortunately, I've hit a Heisenbug in using it. My simple sample code is: bar(X) :- if(foo(3), true, true). foo(1). foo(2). foo(3). I expect it to bind X = 1 and return that answer, then X = 2 and X = 3 when I hit semicolon. When I run it, however, it gives me this error: ?- bar(X). ERROR at clause 1 of prolog:call/1 !! INSTANTIATION ERROR- call/1: expected bound value If I trace the execution, this happens: ?- trace. % Trace mode on. yes % trace ?- bar(X). (1) call:bar(_1055) ? (2) call:if(user:foo(_1055),user:true,user:true) ? (3) call:foo(_1055) ? ? (3) exit:foo(1) ? (4) call:foo(1) ? l X = 1 ? ; X = 2 ? ; X = 3 ? ; no % trace Basically, if I trace the execution of bar/1, so long as I wait until I see line (2) before leaping, I can execute withou

Re: [PPL-devel] [Fwd: Re: Maximum number of foreignpredicates?]

Enea Zaffanella — 2008-09-30T00:04:40

I wasn't able to reproduce the problem in a smaller environment ... To reproduce the problem, you should get the CVS head version of the PPL (see the web site) and do the following (for simplicity, I assume you build the PPL in the source tree): # autoreconf # ./configure --disable-optimization --enable-interfaces=yap_prolog --enable-instantiations=all # make # cd interfaces/Prolog; make check [NOTE: the two makes will take a _long_ time (more than 30 minutes on my machine ... which is not a slow one ... beside other things, they will generate something like 8242 predicate stubs] I have also tried running the offending command through gdb: # cd interfaces/Prolog/YAP # ../../../libtool --mode=execute -dlopen ../../../src/libppl.la -dlopen ppl_yap.la gdb yap GNU gdb Fedora (6.8-21.fc9) Copyright (C) 2008 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later This is free software: you are free to change and redistribute it. There is NO WARRANT

Re: [PPL-devel] [Fwd: Re: Maximum number of foreignpredicates?]

Vitor Santos Costa — 2008-09-29T21:42:17

Hi Enea This is definitely a NULL pointer. I was sure I had checked all memory allocations :(. Is it possible to construct me a file that just loads the C functions? Otherwise, just tell me the steps to build ppl (again). Thanks! Vitor ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/

Re: [PPL-devel] [Fwd: Re: Maximum numberofforeignpredicates?]

Enea Zaffanella — 2008-09-29T16:42:13

------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/

Re: Maximum number of foreign predicates?

Vítor Santos Costa — 2008-09-28T23:04:21

Hi Roberto (and yap-users) Sorry for taking so long to reply. I include a patch that seems to fix this bug for me. The patch and recent changes can also be found at http://gitorious.org/projects/yap-git The patch tries to handle DB overflows that may happen when you try to initialise a very large number of predicates. Please tell me if it works. This is a temporary location: yap has now moved to a git development model, and temporarily I am using gitorious to keep a copy. Cheers Vitor ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/_______________________________________________ Yap-users mailing list Yap-users-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f< at >public.gmane.org https://lists.sourcefo

Re: Maximum number of foreign predicates?

Vítor Santos Costa — 2008-09-05T02:53:56

Hi Roberto Sorry for the tardiness. There should be no restriction on the number of C-predicates. It is weird. Can you please send me a test example. Cheers Vitor On Sep 1, 2008, at 9:01 PM, Roberto Bagnara wrote: ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/

Maximum number of foreign predicates?

Roberto Bagnara — 2008-09-01T20:01:12

Hi there, I am experiencing a problem with YAP 5.1.3 that could be explained if there is a maximum number of foreign predicates that can be declared with YAP_UserCPredicate(). At the 1132th invocation of YAP_UserCPredicate() I get: % Restoring file /usr/local/lib/Yap/startup YAP version Yap-5.1.3 % % % YAP OOOPS: tried to access illegal address 0x20!!!!. % % 2398KB of Code Space (0x8800000--0x8a57820) 9KB of Global Stack (0x8a5c000--0x8a5e740) 2KB of Local Stack (0x8be76c8--0x8be8000) 0KB of Trail (0x8be8008--0x8be80d0) Performed 0 garbage collections Running code at clause 1 of prolog:load_foreign_files/3 Continuation is at clause 1 of prolog:load_foreign_files/3 clause 1 of prolog:load_foreign_files/3 clause 2 of prolog:$do_yes_no/2 clause 6 of prolog:$process_directive/3 clause 6 of prolog:$execute_command/4 indexing code of prolog:$catch/3 (*) clause 1 of prolog:$system_catch/4 clause 1 of prolog:$loop/2 clause 1 of prolog:$do_lf/9 clause 7 of prolog:$lf/14 clause 1

Re: How to force a YAP program to quit?

Isaac Gouy — 2008-08-27T16:31:41

Mea culpa. Seems like I've resolved the problem I was having with YAP programs without getting to the bottom of what the problem was. --- Isaac Gouy public.gmane.org> wrote: ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/

How to force a YAP program to quit?

Isaac Gouy — 2008-08-26T20:29:02

I've been having problems forcing YAP programs to quit using SIGKILL on Linux - that just seemed to create 2GB of garbage output before exhausting the disk allocation ... Action (h for help): Action (h for help): Action (h for help) ... What approach do you recommend for programmatically forcing YAP programs to quit? (YAP programs that are not being run interactively.) ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/