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: ------------------------------------------------------------------------- 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=/

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 in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/

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 without problem. If I don't (i.e., I leap at line (1) ), then it gives me the above error. I can provide additional traces if necessary, but I figure these should be sufficient. Additionally, if I turn trace back off, it goes back to the same error: ?- notrace. % Debug mode off. yes ?- bar(X). ERROR at clause 1 of prolog:call/1 !! INSTANTIATION ERROR- call/1: expected bound value X-( Additionally, I can encounter a really weird trace with the following sequence of steps (after exiting and reconsulting my test file): ?- trace. % Trace mode on. yes % trace ?- bar(X). (1) call:bar(_1055) ? l ERROR at clause 1 of prolog:call/1 !! INSTANTIATION ERROR- call/1: expected bound value (1) exception:bar(_1055) ? a % YAP execution aborted. ?- bar(X). ERROR at clause 1 of prolog:call/1 !! INSTANTIATION ERROR- call/1: expected bound value ?- trace. % Trace mode on. yes % trace ?- bar(X). (1) call:bar(_1055) ? (2) call:call(user:_1126) ? (2) exit:call(user:!) ? (1) exit:bar(_1055) ? true ? yes % trace So now I'm really feeling X-( . I am running YAP version Yap-5.1.3 . Is there anything I am doing wrong? I don't see where I'm using if/3 improperly or something, and it works when I trace it (sometimes anyways), so I'm pretty confused now. Thanks! ~Brian W. DeVries ------------------------------------------------------------------------- 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 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 WARRANTY, to the extent permitted by law. Type "show copying" and "show warranty" for details. This GDB was configured as "x86_64-redhat-linux-gnu"... (no debugging symbols found) (gdb) set args -l yap_pl_check.pl (gdb) run Starting program: /usr/local/bin/yap -l yap_pl_check.pl (no debugging symbols found) (no debugging symbols found) (no debugging symbols found) (no debugging symbols found) (no debugging symbols found) (no debugging symbols found) (no debugging symbols found) (no debugging symbols found) (no debugging symbols found) (no debugging symbols found) (no debugging symbols found) % Restoring file /usr/local//lib/Yap/startup YAP version Yap-5.1.3 Program received signal SIGSEGV, Segmentation fault. 0x00000000006b5523 in Yap_InitCPred () from /usr/local//lib/libYap.so Missing separate debuginfos, use: debuginfo-install gcc.x86_64 glibc.x86_64 gmp.x86_64 ncurses.x86_64 readline.x86_64 (gdb) bt #0 0x00000000006b5523 in Yap_InitCPred () from /usr/local//lib/libYap.so #1 0x00007f6ac85b7d30 in init () at ppl_yap.cc:9186 #2 0x00000000006f6a59 in p_load_foreign () from /usr/local//lib/libYap.so #3 0x00000000006242da in Yap_absmi () from /usr/local//lib/libYap.so #4 0x000000000067f1dd in exec_absmi () from /usr/local//lib/libYap.so #5 0x0000000000681b0c in do_goal () from /usr/local//lib/libYap.so #6 0x00000000006f82d6 in YAP_RunGoalOnce () from /usr/local//lib/libYap.so #7 0x0000000000401b55 in main () (gdb) f 1 #1 0x00007f6ac85b7d30 in init () at ppl_yap.cc:9186 9186YAP_USER_C_PREDICATE(ppl_Uint16_Box_contains_integer_point, 1); Current language: auto; currently c++ (gdb) quit The segmentation fault is obtained when trying to init the C predicate ppl_Uint16_Box_contains_integer_point/1, which is 840th in the list of more than 8000 that should be initialized. Hoping this helps ... Cheers, Enea Zaffanella. ------------------------------------------------------------------------- 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 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.sourceforge.net/lists/listinfo/yap-users

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 of prolog:$load_files/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 of prolog:$load_files/3 indexing code of prolog:$catch/3 (*) clause 1 of prolog:$system_catch/4 clause 1 of prolog:$do_startup_reconsult/1 clause 1 of prolog:$init_system/0 clause 1 of prolog:$live/0 meta-call Exiting .... If there is not such a maximum number, how could I investigate this problem further? All the best, Roberto

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=/