gmane.comp.ai.prolog.yap.general

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

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

Re: fyi Computer Language Benchmarks Game

Isaac Gouy — 2008-08-26T20:23:44

Glendon Holst converted a number of programs to YAP http://shootout.alioth.debian.org/gp4/benchmark.php?test=all&lang=yap ------------------------------------------------------------------------- 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: fyi Computer Language Benchmarks Game

Isaac Gouy — 2008-08-26T20:19:36

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

Re: Emacs mode?

Vítor Santos Costa — 2008-08-06T11:03:10

Hi Michael and Yue I think I may have missed a reply to this thread, besides Paulo's. This is what I use. Please give it a try, and if it works fine I can try to submit the patches upstream. In .emacs: (setq load-path (cons "~/Yap/work/misc" load-path)) (autoload 'run-prolog "prolog" "Start a Prolog sub-process." t) (autoload 'prolog-mode "prolog" "Major mode for editing Prolog programs." t) (autoload 'mercury-mode "prolog" "Major mode for editing Mercury programs." t) (setq prolog-system 'yap) ; optional, the system you are using; ; see `prolog-system' below for possible values (setq auto-mode-alist (append '(("\\.pl$" . prolog-mode) ("\\.yap$" . prolog-mode) ("\\.m$" . mercury-mode)) auto-mode-alist)) Please tell me if it works, or if it doesn't :) Cheers Vitor On Jul 30, 2008, at 8:49 PM, Paulo Moura wrote: ------------------------------------------------------------------------- This

Re: Error while redirecting standard out...

Vitor Santos Costa — 2008-08-06T10:34:47

Hi Markus Sorry for the delay in answering. I am confused about what is going on. The ?- messages are stderr, and the others are stdout. It seems you only capture messages in stderr, maybe because stdout is buffered. I see a number of options: - try flush_output(user_output) - try using user_error If both do not work, can you send me an example so that I can try it myslf? 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=/

Error while redirecting standard out...

Prossegger Markus — 2008-08-01T07:55:00

Hi everyone, I am trying to develop an application (in .net) using YAP as a dynamic rule-base-solver. It was quite easy to implement this using files for the exchange of information but as the next step I am interested to get the Prolog result via the standardout (which seems to be standarderror in YAP?). So I implemented the YAP process in .net and redirected the standarderror. It works for the startup messages and the consulting messages but not for queries like the following examples: writeAnything:-write('abc'). --> here I get only "?-yes" but not the "abc" writeAnything(X):-X='abc'. --> here I get nothing... What I am doing wrong? With greetings Markus ------------------------------------------------------------------------- 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_i

Error while redirecting standard out...

Markus Prossegger — 2008-07-31T13:04:58

Re: YAPor and tabling

Will Benton — 2008-07-30T19:54:21

Thanks, Ricardo. Please do keep me posted. best, wb On Jul 29, 2008, at 9:22 AM, Ricardo Rocha 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: Emacs mode?

Paulo Moura — 2008-07-30T19:49:30

On 2008/07/30, at 19:02, Michael H. Coen wrote: The current Logtalk distribution includes support for several text editors and syntax highlighters, including Emacs. This support may also be used for Prolog. 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/redirec

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

Re: YAPor and tabling

Ricardo Rocha — 2008-07-29T14:22:00

Dear Will, Or-parallelsim should be compatible with tabling because all the machinery required to support both is already implemented in Yap, it is called the OPTYap (Or-Parallelism within Tabling) engine. The problem is that OPTYap is not been maintained for a while :( and due to the last changes made to the underlying Yap engine, there should be a lot of small compatibility bugs that need to be fixed. We hope to able to put OPTYap alive as soon as possible. We let you know when this was done. Ricardo Rocha ------------------------------------------------------------------------- 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=/

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