gmane.comp.ai.prolog.yap.general

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

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

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

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

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

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

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

64bit Vista

johnnyc — 2008-08-13T19:53:20

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

Emacs mode?

Michael H. Coen — 2008-07-30T18:02:21

Hi everyone, I'm a new user of Yap and have heard great things about it and its developer. I was surprised that I couldn't find a yap-mode for emacs, which is my preferred development environment. So, I was wondering if anyone has modified ediprolog.el (for SWI) so that it's usable with yap or knows of some other alternative. (Running yap through emacs in shell-mode isn't really much fun. :) Many thanks, Mike ------------------------------------------------------------------------- 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=/

Compiling Prolog (.pl) programs as a standaloneapplication

Eric Raunig — 2008-07-27T19:11:19

YAPor and tabling

Will Benton — 2008-07-28T22:31:17

Is or-parallelism compatible with tabling? If so, what configure options should I use to enable it? (Merely combining "--enable-or-parallelism" with "--enable-tabling" results in linker errors and some warnings that lead me to believe that the two options are incompatible.) thanks, wb ------------------------------------------------------------------------- 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=/

[BUG] syntax error(s) in config.in.h

Keri Harris — 2008-07-27T06:40:14

A vanilla compile on an x86_64 Linux box is producing: In file included from ./console/yap.c:19: ../config.h:127: error: expected identifier or '(' before '/' token In file included from ./include/YapInterface.h:29, from ./console/yap.c:20: ../include/yap_structs.h:36: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'YAP_Term' make: *** [arrays.o] Error 1 make: *** [absmi.o] Error 1 This is ultimately caused by an error in config.h.in: #undef FFVAX /* manual */ #define FAFloat double/* manual */ The autoconf manual indicates that nothing should appear after the autoheader symbol. [1] The attached patch moves the offending comments to preceding lines. Keri [1] http://www.gnu.org/software/autoconf/manual/html_node/Header-Templates.html#Header-Templates ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux ba

[PATCH] split up --enable-myddas configure option

Keri Harris — 2008-07-27T06:17:15

Currently the Yap configure script automatically checks for *both* MySQL and ODBC libraries when --enable-myddas is selected. This raises two issues: 1) A system may have both MySQL and ODBC libraries installed but we may only want Yap MYDDAS support for one of them. 2) On source-based Linux distributions like Gentoo Linux it can lead to inconsistent installs - two installations of Yap, both configured with --enable-myddas, can result in different library dependencies. The attached patch splits --enable-myddas into --enable-myddas-mysql and --enable-myddas-odbc to allow finer-grained selection. Keri ------------------------------------------------------------------------- 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=/____________________________________________

[BUG] CHR install doesn't work with DESTDIR

Keri Harris — 2008-07-05T04:52:09

The Yap CHR install doesn't play nice with DESTDIR. If there is an older version of yap installed (say yap-5.1.2) and we want to use DESTDIR to install yap-5.1.3 outside the standard install location (say into a staging area) then the CHR compile is likely to fail since YAPSHAREDIR still points to the old libraries. This can result in a variety of errors: on linux-ppc (old version 5.1.2; new version 5.1.3): make[1]: Entering directory `/var/tmp/portage/dev-lang/yap-5.1.3/work/Yap-5.1.3/LGPL/chr' .../../yap ../../startup -f -l chr_swi_bootstrap.yap \ -g "chr_compile_step1 ('chr_translate_bootstrap1.chr','chr_translate_bootstrap1.pl'),halt." \ -z 'halt(1).' make[1]: *** [chr_translate_bootstrap1.pl] Segmentation fault Even if there is *no* previous installation, then using DESTDIR will cause yap to fail to find the required libraries: make[1]: Entering directory `/var/tmp/portage/dev-lang/yap-5.1.3/work/Yap-5.1.3/LGPL/chr' .../../yap ../../startup -f -l

Pseudo-Modules in yap

Ingo Thon — 2008-07-04T08:44:38

Hi, is it somehow possible to define "pseudo-modules"? With pseudo-module I mean an identifier for a module current_thingy: which can be mapped to different real modules thingy1:, thingy2:,.... s.t. that if current_thingy: is mapped to thingy42: then in current_thingy exactly all facts of thingy42 hold. But also additional predicates defined in current_thingy itself atm I'm using a workaround like bb_put(current_thingy,thing42) and later on bb_get(current_thingy, CT), CT:current_predicates. But obviously it clutteres my code,.... I'm using the mentioned code in the context of Srl/Ilp like setting where I want to switch between trainigsexamples, but I guess this might be also intressting for switching between db connections, file access, switching between algorithms,..... If anyone has hint how to have module with - some predicates defined inside of the module - and all goal failing in the current modules get redirected to a different module I would be very happy. Ingo ------------------------

thread_get_message(?Term) with timeout

Jiefei Ma — 2008-06-19T13:15:46

Dear all, Hi, I have a question: is it possible to put timeout constraint to thread_get_message(?Term)? I think this is important because sometimes you may not want a thread to wait for a message forever. So I tried the following approaches: 1. use thread_get_message(?Term) as a goal in time_out(+Goal, +Timeout, -Result). However, it doesn't work. It seems that when the thread is suspended by "thread_get_message", "time_out" has no effect. 2. use thread_send_message(+Term) as the callable in alarm(+Second, +Callable, +OldAlarm), ie. thread_get_message_t(Msg, Timeout) :- alarm(Timeout, thread_send_message('$timeout'), _), thread_get_message(Msg). However, it doesn't seem to work as case 1 -- the current thread is suspended and alarm/3 doesn't have any effect. 3. use a new thread to send the timeout message, ie. thread_get_message_t(Msg, Timeout) :- thread_self(Id), thread_create( alarm(Timeout, thread_send_message(Id, '$timeout'), _), _ ), thread_get_mess

YAP 5.1.3

Vitor Santos Costa — 2008-06-18T09:50:48

Hi! At long last, I am very happy to announce YAP-5.1.3 at www.dcc.fc.up.pt/~vsc/Yap. Sources and WIN32 binaries are available. I hope to have other binary packages available soon. It's hard to specify everything new that is YAP-5.1.3. There are a lot of fixes under the hood, that should make YAP much hardier and capable for large applications. Thanks to help from Jan and others there is more compatibility with SWI, including lots of built-ins such as non-backtrackable terms, support for a number of SWI packages. 64 bit support is much better. Threads, thanks to Paulo, are now starting to be really useful. YAP should work well under VISTA, thanks to feedback from Jose. Atom garbage collection now works and is enabled by default. I could go on and on :) I also see this release as a watermark. We have some really cool ideas for the future of YAP, and I believe we now have a stable foundation for their development. News on that real soon now :) On the other hand, it would be nice to have a stable version t

clpq status?

Fred Mesnard — 2008-06-10T11:26:00

Hi, I'd like to enjoy Yap's speed :-) but I need the clpq library (not the clpr one!). Below is what I get. Is there any plan to port clpq to Yap? Thanks in advance, Fred $ yap % Restoring file /usr/local/lib/Yap/startup YAP version Yap-5.1.3 ?- use_module(library(clpq)). % reconsulting /usr/local/share/Yap/clpq.pl... ERROR!! at file /usr/local/share/Yap/maplist.pl, near line 110. PERMISSION ERROR- in line 110, system predicate forall/2: modifying static procedure forall/2 % Warning: at file /usr/local/share/Yap/rbtrees.yap, near line 381. % Singleton variable NT in rbtrees:insert2/6, clause 2. % reconsulted /usr/local/share/Yap/clpq.pl in module clpq, 150 msec 765520 bytes yes ?- {X=0}. ERROR!! EXISTENCE ERROR- procedure rational/1 is undefined, called from context nf_q:{}/1 Goal was nf_q:rational(_1178-0) ?- ------------------------------------------------------------------------- Check out the new SourceForge.net Marketplace. It

[PATCH] use $(MAKE) variable in sub-make invocation

Keri Harris — 2008-06-06T23:41:08

The attached patch supports make flags automatically being passed to a sub-make[1]. For example, a parallel build can be accomplished in the sub-makes via 'make -jN'. Without the patch each sub-make will run a single job: (cd library/random; make) make[1]: Entering directory `/home/keri/cvs/yap/library/random' make[1]: warning: jobserver unavailable: using -j1. Add `+' to parent make rule [1] http://www.gnu.org/software/make/manual/make.html#Recursion Keri ---- ------------------------------------------------------------------------- Check out the new SourceForge.net Marketplace. It's the best place to buy or sell services for just about anything Open Source. http://sourceforge.net/services/buy/index.php_______________________________________________ Yap-users mailing list Yap-users-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f< at >public.gmane.org https://lists.sourceforge.net/lists/listinfo/yap-users

How to access instantiated variables from C interface?

Priebe, Denny — 2008-06-05T10:08:40

Hi list, sorry for asking this almost certainly FAQ: how can I access the value of instantiated variables using the C interface? I have a predicate foo(_, [1,2]). and YAP_Term args[] = { YAP_MkIntTerm(4711), YAP_MkVarTerm() }; YAP_Functor f = YAP_MkFunctor(YAP_LookupAtom("foo"), 2); YAP_Term g = YAP_MkApplTerm(f, 2, args); YAP_Bool retcode = YAP_CallProlog(g); if (retcode != FALSE) { YAP_Write(g, do_putc, 0); fprintf(stderr, "\n"); printf("IsVarTerm=%d\n", YAP_IsVarTerm(args[1])); printf("IsPairTerm=%d\n", YAP_IsPairTerm(args[1])); } YAP_Reset(); I can see from the output foo(4711,[1,2]) IsVarTerm=1 IsPairTerm=0 that my VarTerm (args[1]) has been instantiated, but I assumed it to be a PairTerm now. How do I use the interface correctly to make my VarTerm a PairTerm so that I can use YAP_HeadOfTerm() and YAP_TailOfTerm() to access its elements? Thanks in advance for any hints. Best regards, Denny ----------------