Nabble - Yap Prolog

Re: path to yap

2009-10-23T16:05:13Z

Hi Ingo

YAP actually keeps around an Yap_argv and an Yap_argc which hold the
original value of argc,argv. Would argv[0] work on win32?

The Koders code is GPLed, so I can't include it in the main source :(

Cheers

Vitor

On Thu, Oct 22, 2009 at 11:18 PM, Ingo Thon <ingo.thon@...> wrote:

>
> On 21 Oct 2009, at 01:13, Vitor Santos Costa wrote:
>>
>> Hi Ingo,
>>
>> Actually, that's a difficult question, YAP doesn't support that but I
>> think that other languages, like ocaml, do have support. So it should be
>> doable.
>
> Yes it is definitely possible.
> The simplest solutionis to just use argv[0],
> which seems to be not available to the yap-user.
>
>
> The problem is storing argv[0] requires changes to the yap sources
> (console/yap.c).
> as the command line arguments are far as I see it nowhere stored.
> In general I think it might be not the worst idea to provide all arguments
> to the prolog envrionment.
> Appareantly the calling process can apparently manipulate this.
> But still the following code would be in most cases (except yap is executed
> using non properly initiales the arg structure) output the right result:
> static int parse_yap_arguments(int argc, char *argv[], YAP_init_args *iap)
> {
> char actualpath[PATH_MAX + 1];
> realpath(argv[0], actualpath);
> printf("> %s <-> %s\n",argv[0],actualpath);
>
>
> There are actually more general better working approaches like the code here
> http://www.koders.com/c/fidEC2463ED7BDAD5D8B6CBAF1020498F35D9B3EDD9.aspx
> but this also requires to have access to the argument 0.
> I included a hacked custom predicate based on that (only tested on a mac).
> Which would still require in some cases argv[0] (except for: Macos, cygwin,
> linux)
>
>
>
> Ingo
>
>
>
>>
>> Sorry for the delay :(
>>
>> Vitor
>>
>> On Wed, Oct 7, 2009 at 1:53 PM, Ingo Thon <ingo.thon@...>
>> wrote:
>>>
>>> Hi,
>>>
>>> I've the problem that I want to start a new instance of yap from
>>> within yap using system/1.
>>> Therefor I was wondering whether it is possible to get the path to
>>> the current instance of yap.
>>>
>>>
>>> Thanks ingo
>>>
>>> -------------------------------------------------------
>>> Ingo Thon <ingo.thon@...>
>>> Dept. of Computer Science
>>> Katholieke Universiteit Leuven
>>> Phone: +32 16 32 7741
>>> skype: ingo_thon
>>> web: http://www.cs.kuleuven.be/~ingo/
>>> -------------------------------------------------------
>>>
>>>
>>>
>>> Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm
>>>
>>>
>>> ------------------------------------------------------------------------------
>>> Come build with us! The BlackBerry(R) Developer Conference in SF, CA
>>> is the only developer event you need to attend this year. Jumpstart your
>>> developing skills, take BlackBerry mobile applications to market and stay
>>> ahead of the curve. Join us from November 9 - 12, 2009. Register now!
>>> http://p.sf.net/sfu/devconference
>>> _______________________________________________
>>> Yap-users mailing list
>>> Yap-users@...
>>> https://lists.sourceforge.net/lists/listinfo/yap-users
>>>
>>
>>
>> ------------------------------------------------------------------------------
>> Come build with us! The BlackBerry(R) Developer Conference in SF, CA
>> is the only developer event you need to attend this year. Jumpstart your
>> developing skills, take BlackBerry mobile applications to market and stay
>> ahead of the curve. Join us from November 9 - 12, 2009. Register now!
>> http://p.sf.net/sfu/devconference
>> _______________________________________________
>> Yap-users mailing list
>> Yap-users@...
>> https://lists.sourceforge.net/lists/listinfo/yap-users
>
> -------------------------------------------------------
> Ingo Thon <ingo.thon@...>
> Dept. of Computer Science
> Katholieke Universiteit Leuven
> Phone: +32 16 32 7741
> skype: ingo_thon
> web: http://www.cs.kuleuven.be/~ingo/
> -------------------------------------------------------
>
> I distance myself from the disclaimer probably added to this email without
> my request.
> Instead the following disclaimer applies.
> Notice: Unless you are Zaphod Beeblebrox you are only allowed to read the
> words
> containing no ä. If you violated that, then you owe the sender 5 euros for
> each word
> containing an ä you have read.
>
> Emails from me do not usually represent the official policy of the K.U.
> Leuven.
>
>
>
>
> -------------------------------------------------------
> Ingo Thon <ingo.thon@...>
> Dept. of Computer Science
> Katholieke Universiteit Leuven
> Phone: +32 16 32 7741
> skype: ingo_thon
> web: http://www.cs.kuleuven.be/~ingo/
> -------------------------------------------------------
> I distance myself from the disclaimer probably added to this email without
> my request.
> Emails from me do not usually represent the official policy of the K.U.
> Leuven.
>
>
> Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm
>

------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Yap Read Buffer containing illegal characters

2009-10-23T03:19:14Z

It's probably more a convenience as it seems the problem is in my code.

The following code in a custom C++ predicate causes yap into an
infinite loop
(consuming 100% cpu time).

parsed = YAP_ReadBuffer("/aa/a", &err);
whereas
parsed = YAP_ReadBuffer("'/aa/a'", &err);
parsed = YAP_ReadBuffer("'aaa", &err);
both work.

It's just hard(er) to trace down as
YAP_Term YAP_BufferToString(char *buf )
YAP_Term YAP_BufferToAtomList(char *buf )
both work.

Cheers Ingo

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm

------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Re: path to yap

2009-10-22T15:18:22Z

On 21 Oct 2009, at 01:13, Vitor Santos Costa wrote:
> Hi Ingo,
>
> Actually, that's a difficult question, YAP doesn't support that but I
> think that other languages, like ocaml, do have support. So it
> should be doable.
Yes it is definitely possible.
The simplest solutionis to just use argv[0],
which seems to be not available to the yap-user.

The problem is storing argv[0] requires changes to the yap sources
(console/yap.c).
as the command line arguments are far as I see it nowhere stored.
In general I think it might be not the worst idea to provide all
arguments
to the prolog envrionment.
Appareantly the calling process can apparently manipulate this.
But still the following code would be in most cases (except yap is
executed
using non properly initiales the arg structure) output the right result:
static int parse_yap_arguments(int argc, char *argv[], YAP_init_args
*iap)
{
char actualpath[PATH_MAX + 1];
realpath(argv[0], actualpath);
printf("> %s <-> %s\n",argv[0],actualpath);

There are actually more general better working approaches like the
code here
http://www.koders.com/c/fidEC2463ED7BDAD5D8B6CBAF1020498F35D9B3EDD9.aspx
but this also requires to have access to the argument 0.
I included a hacked custom predicate based on that (only tested on a
mac).
Which would still require in some cases argv[0] (except for: Macos,
cygwin, linux)

Ingo

>
> Sorry for the delay :(
>
> Vitor
>
> On Wed, Oct 7, 2009 at 1:53 PM, Ingo Thon
> <ingo.thon@...> wrote:
>> Hi,
>>
>> I've the problem that I want to start a new instance of yap from
>> within yap using system/1.
>> Therefor I was wondering whether it is possible to get the path to
>> the current instance of yap.
>>
>>
>> Thanks ingo
>>
>> -------------------------------------------------------
>> Ingo Thon <ingo.thon@...>
>> Dept. of Computer Science
>> Katholieke Universiteit Leuven
>> Phone: +32 16 32 7741
>> skype: ingo_thon
>> web: http://www.cs.kuleuven.be/~ingo/
>> -------------------------------------------------------
>>
>>
>>
>> Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm
>>
>> ---------------------------------------------------------------------
>> ---------
>> Come build with us! The BlackBerry(R) Developer Conference in SF, CA
>> is the only developer event you need to attend this year.
>> Jumpstart your
>> developing skills, take BlackBerry mobile applications to market
>> and stay
>> ahead of the curve. Join us from November 9 - 12, 2009. Register now!
>> http://p.sf.net/sfu/devconference
>> _______________________________________________
>> Yap-users mailing list
>> Yap-users@...
>> https://lists.sourceforge.net/lists/listinfo/yap-users
>>
>
> ----------------------------------------------------------------------
> --------
> Come build with us! The BlackBerry(R) Developer Conference in SF, CA
> is the only developer event you need to attend this year. Jumpstart
> your
> developing skills, take BlackBerry mobile applications to market
> and stay
> ahead of the curve. Join us from November 9 - 12, 2009. Register now!
> http://p.sf.net/sfu/devconference
> _______________________________________________
> Yap-users mailing list
> Yap-users@...
> https://lists.sourceforge.net/lists/listinfo/yap-users

-------------------------------------------------------
Ingo Thon <ingo.thon@...>
Dept. of Computer Science
Katholieke Universiteit Leuven
Phone: +32 16 32 7741
skype: ingo_thon
web: http://www.cs.kuleuven.be/~ingo/
-------------------------------------------------------

I distance myself from the disclaimer probably added to this email
without my request.
Instead the following disclaimer applies.
Notice: Unless you are Zaphod Beeblebrox you are only allowed to read
the words
containing no ä. If you violated that, then you owe the sender 5
euros for each word
containing an ä you have read.

Emails from me do not usually represent the official policy of the
K.U. Leuven.

-------------------------------------------------------
Ingo Thon <ingo.thon@...>
Dept. of Computer Science
Katholieke Universiteit Leuven
Phone: +32 16 32 7741
skype: ingo_thon
web: http://www.cs.kuleuven.be/~ingo/
-------------------------------------------------------
I distance myself from the disclaimer probably added to this email
without my request.
Emails from me do not usually represent the official policy of the
K.U. Leuven.

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm

------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

bug report: YAP OOOPS in USER C-CODE: tried to access illegal address 0x4!!!!

2009-10-22T07:18:54Z

Hi,

I'd like to report a bug I get with YAP 5.1.4 and YAP 6.0 for which the error message is shown below.
It occurs when running a program that uses the ProbLog module. Because ProbLog is not publicly available yet, I cannot provide you with the relevant code.
The makers of ProbLog assured me that the bug is in YAP and not in ProbLog.

I'd appreciate any useful pointers,

Thanks,

Guy

%
% YAP OOOPS in USER C-CODE: tried to access illegal address 0x4!!!!.
%
%
2896KB of Code Space (0x2000000--0x22d41f0)
%
% PC: ptree:count_ptree/2 at clause 1
%   Continuation: ptree:count_ptree/2 at clause 1
%    3731KB of Global Stack (0x251e000--0x28c2d2c)
%    19KB of Local Stack (0x2961138--0x2966000)
%    66KB of Trail (0x2966004--0x297682c)
%    Performed 7 garbage collections
% All Active Calls and
%         Goals With Alternatives Open (Global In Use--Local In Use)
%
% ptree:count_ptree/2 at clause 1
% problog:eval_dnf/3 at clause 1
% problog:problog_low/4 at clause 2
% user:ev/3 at clause 2
%         ptree:compress_pt/2 (3715KB--19KB)
%         ptree:compress_pt/2 (3606KB--19KB)
%         ptree:compress_pt/2 (3495KB--19KB)
%         ptree:compress_pt/2 (3372KB--18KB)
%         ptree:compress_pt/2 (3244KB--18KB)
%         ptree:compress_pt/2 (3113KB--18KB)
%         ptree:compress_pt/2 (2982KB--18KB)
%         ptree:compress_pt/2 (2851KB--17KB)
%         ptree:compress_pt/2 (2677KB--17KB)
%         ptree:compress_pt/2 (2597KB--17KB)
%         ptree:compress_pt/2 (2490KB--17KB)
%         ptree:compress_pt/2 (2400KB--17KB)
%         ptree:compress_pt/2 (2309KB--16KB)
%         ptree:compress_pt/2 (2200KB--16KB)
%         ptree:compress_pt/2 (2108KB--16KB)
%         ptree:compress_pt/2 (2000KB--16KB)
% user:trySetting/1 at clause 1
% user:flipForever/2 at clause 1
%         ptree:compress_pt/2 (1843KB--15KB)
%         ptree:compress_pt/2 (1787KB--15KB)
%         ptree:compress_pt/2 (1703KB--15KB)
%         ptree:compress_pt/2 (1624KB--15KB)
%         ptree:compress_pt/2 (1557KB--15KB)
%         ptree:compress_pt/2 (1470KB--14KB)
%         ptree:compress_pt/2 (1402KB--14KB)
%         ptree:compress_pt/2 (1320KB--14KB)
%         ptree:compress_pt/2 (1193KB--14KB)
%         ptree:compress_pt/2 (1113KB--13KB)
%         ptree:compress_pt/2 (1006KB--13KB)
%         ptree:compress_pt/2 (916KB--13KB)
%         ptree:compress_pt/2 (825KB--13KB)
%         ptree:compress_pt/2 (716KB--13KB)
%         ptree:compress_pt/2 (624KB--12KB)
%         ptree:compress_pt/2 (517KB--12KB)
%         ptree:compress_pt/2 (513KB--12KB)
%         ptree:compress_pt/2 (513KB--12KB)
%         ptree:compress_pt/2 (513KB--11KB)
%         ptree:compress_pt/2 (513KB--11KB)
%         ptree:compress_pt/2 (513KB--11KB)
%         ptree:compress_pt/2 (513KB--11KB)
%         ptree:compress_pt/2 (513KB--11KB)
%         ptree:compress_pt/2 (513KB--10KB)
%         ptree:compress_pt/2 (513KB--10KB)
%         ptree:compress_pt/2 (513KB--10KB)
%         ptree:compress_pt/2 (513KB--10KB)
%         ptree:compress_pt/2 (513KB--9KB)
%         ptree:compress_pt/2 (513KB--9KB)
%         ptree:compress_pt/2 (513KB--9KB)
%         ptree:compress_pt/2 (513KB--9KB)
%         ptree:compress_pt/2 (513KB--9KB)
%         ptree:compress_pt/2 (513KB--8KB)
%         ptree:compress_pt/2 (513KB--8KB)
%         ptree:compress_pt/2 (513KB--8KB)
%         ptree:compress_pt/2 (513KB--8KB)
%         ptree:compress_pt/2 (513KB--7KB)
%         ptree:compress_pt/2 (512KB--7KB)
%         ptree:compress_pt/2 (512KB--7KB)
%         ptree:compress_pt/2 (512KB--7KB)
%         ptree:compress_pt/2 (512KB--7KB)
%         ptree:compress_pt/2 (512KB--6KB)
%         ptree:compress_pt/2 (512KB--6KB)
%         ptree:compress_pt/2 (512KB--6KB)
%         ptree:compress_pt/2 (512KB--6KB)
%         ptree:compress_pt/2 (512KB--6KB)
%         ptree:compress_pt/2 (512KB--5KB)
%         ptree:compress_pt/2 (512KB--5KB)
%         ptree:compress_pt/2 (512KB--5KB)
%         ptree:compress_pt/2 (512KB--5KB)
%         ptree:compress_pt/2 (512KB--4KB)
%         ptree:compress_pt/2 (512KB--4KB)
%         ptree:compress_pt/2 (512KB--4KB)
%         ptree:compress_pt/2 (512KB--4KB)
%         ptree:compress_pt/2 (512KB--3KB)
%         ptree:compress_pt/2 (512KB--3KB)
%         ptree:compress_pt/2 (511KB--3KB)
%         ptree:compress_pt/2 (511KB--3KB)
%         ptree:compress_pt/2 (511KB--3KB)
%         ptree:compress_pt/2 (511KB--2KB)
%         ptree:compress_pt/2 (511KB--2KB)
%         ptree:compress_pt/2 (511KB--2KB)
%         ptree:compress_pt/2 (511KB--2KB)
%         ptree:compress_pt/2 (511KB--1KB)
%         ptree:compress_pt/2 (511KB--1KB)
%         ptree:compress_pt/2 (511KB--1KB)
%         ptree:compress_pt/2 (511KB--1KB)
%         ptree:compress_pt/2 (511KB--1KB)
%         ptree:compress_pt/2 (511KB--0KB)
%         ptree:compress_pt/2 (511KB--0KB)
% user:greedyChoiceSearch/2 at clause 1
% prolog:$query/2 at clause 4
% prolog:$command/4 at clause 2
% prolog:$enter_top_level/0 at clause 6
%         prolog:$catch/3 (510KB--0KB)
% prolog:$system_catch/4 at clause 1
% meta-call

   Exiting ....

Re: YAP version in c_interface.h

2009-10-21T01:24:10Z

Vitor Santos Costa wrote:
> Took me long enough, but now I have YAPVERSION which will be supported
> from 6.0.0, and should be SWI like. Now, if I knew how to generate
> this from git, I'd be a happy camper :)

Hi Vitor,

great news indeed, thanks!

Please, let me take the occasion to express my gratitude and admiration
for the work you and Jan are doing about the compatibility of SWI-Prolog
and YAP: as a Prolog user I value very much all this.
Cheers,

Roberto

--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@...

------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Re: YAP version in c_interface.h

2009-10-20T16:20:05Z

Roberto,

Took me long enough, but now I have YAPVERSION which will be supported
from 6.0.0, and should be SWI like. Now, if I knew how to generate
this from git, I'd be a happy camper :)

Cheers

Vitor

On Fri, Jul 31, 2009 at 3:18 PM, Roberto Bagnara <bagnara@...> wrote:

>
>
>
> Hi there,
>
> would you please consider adding to c_interface.h the definition of
> macros allowing to determine the YAP version at compile time?
> I mean, like the macros
>
> SICSTUS_MAJOR_VERSION
> SICSTUS_MINOR_VERSION
> SICSTUS_REVISION_VERSION
> SICSTUS_BETA_VERSION
>
> defined by sicstus.h, the macros
>
> CIAO_MAJOR_VERSION
> CIAO_MINOR_VERSION
> CIAO_PATCH_VERSION
> CIAO_SVNREV
>
> defined by ciao_prolog.h, and the macro
>
> PLVERSION
>
> defined by SWI-Prolog.h.
> Thanks in advance,
>
> Roberto
>
> --
> Prof. Roberto Bagnara
> Computer Science Group
> Department of Mathematics, University of Parma, Italy
> http://www.cs.unipr.it/~bagnara/
> mailto:bagnara@...
>
>
> ------------------------------------------------------------------------------
> Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
> trial. Simplify your report design, integration and deployment - and focus on
> what you do best, core application coding. Discover what's new with
> Crystal Reports now. http://p.sf.net/sfu/bobj-july
> _______________________________________________
> Yap-users mailing list
> Yap-users@...
> https://lists.sourceforge.net/lists/listinfo/yap-users
>

Re: path to yap

2009-10-20T16:13:32Z

Hi Ingo,

Actually, that's a difficult question, YAP doesn't support that but I
think that other languages, like ocaml, do have support. So it should
be doable.

Sorry for the delay :(

Vitor

On Wed, Oct 7, 2009 at 1:53 PM, Ingo Thon <ingo.thon@...> wrote:

> Hi,
>
> I've the problem that I want to start a new instance of yap from
> within yap using system/1.
> Therefor I was wondering whether it is possible to get the path to
> the current instance of yap.
>
>
> Thanks ingo
>
> -------------------------------------------------------
> Ingo Thon <ingo.thon@...>
> Dept. of Computer Science
> Katholieke Universiteit Leuven
> Phone: +32 16 32 7741
> skype: ingo_thon
> web: http://www.cs.kuleuven.be/~ingo/
> -------------------------------------------------------
>
>
>
> Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm
>
> ------------------------------------------------------------------------------
> Come build with us! The BlackBerry(R) Developer Conference in SF, CA
> is the only developer event you need to attend this year. Jumpstart your
> developing skills, take BlackBerry mobile applications to market and stay
> ahead of the curve. Join us from November 9 - 12, 2009. Register now!
> http://p.sf.net/sfu/devconference
> _______________________________________________
> Yap-users mailing list
> Yap-users@...
> https://lists.sourceforge.net/lists/listinfo/yap-users
>

Re: not a valid element for clpfd_reifiable_expression

2009-10-20T16:09:54Z

Dear Domenico

My apologies for the very long lag tme :(
> I've come across a little problem when using clp over finite domain.

>    ?- X = 2, B #<==> (X in 1..3).
>    ERROR!!
>    DOMAIN ERROR- : 2 in 1..3 not a valid element for
> clpfd_reifiable_expression

YAP-6.0.0 succeeds too, maybe because it has a more recent version of
CLP(FD). Would you mind trying it?

> The strange thing is that SWI doesn't have the same problem and succeeds.
> Out of curiosity, single quotes seem to affect integers in some strange way,
> is there a reason for this:

Yes, try X is 2'111 and you'll understand :)

Sorry for the delay

Vitor

> ?- X = 2'.
> X = 0 ?
>
> ?- X = 100'.
>    | '
>    | .
>    SYNTAX ERROR at user, near line 11:
> X = 100
> <==== HERE ====>
> .
>
>    ?- X = 51'.
>    SYNTAX ERROR at user, near line 18:
> X = []
> <==== HERE ====>
> 5.
> Thanks in advance,
> Domenico
> (Really sorry if this is a repeated message, I sent it already but from the
> wrong email account)
>
> ------------------------------------------------------------------------------
> Come build with us! The BlackBerry® Developer Conference in SF, CA
> is the only developer event you need to attend this year. Jumpstart your
> developing skills, take BlackBerry mobile applications to market and stay
> ahead of the curve. Join us from November 9-12, 2009. Register now!
> http://p.sf.net/sfu/devconf
> _______________________________________________
> Yap-users mailing list
> Yap-users@...
> https://lists.sourceforge.net/lists/listinfo/yap-users
>
>

Re: profiling in prolog

2009-10-20T09:02:42Z

Hi Tiago

Sorry for the delay. I couldn't understand your question very well :(

On Wed, Oct 7, 2009 at 3:57 PM, Tiago Bordoni <tiagobordoni@...> wrote:
> Hi.
>
> I´m working in a project for my graduation that a have to do some profiling
> in prolog code and write this data in a new .pl archieve.
> My problem is that a don´t know which place and struct that has the prolog
> code that is read from the archive in the moment that i load it.

YAP has this hook ap_inform_profiler_of_clause and
ap_inform_of_removal that are called whenever you add or remove code.
They are implemented in gprof.c and you should look at them first, I
think.

> The profiling information is in a new struct that i created in pred_entry
> struct.
> Which struct or global variable that have then start list of pred_entry
> vars?
> Wich struct or variable have the .pl source read in the load?

YAP does not keep the source of facts. Instead, it uses unification to
recover the fact. Sources for rules are kept in a ClSource field of
each clause structure. The code for clause in cdmgr.c is a bit
complex, but that's how YAP recovers source.

Sorry again for the delay :(

Vitor

>
> thanks for all.
> --
> TIAGO HENRIQUE BORDONI
> ------------------------------------------------
> 5° Ano - INFORMÁTICA - UEM
> Maringá - Paraná - Brasil
> Cel.: (44) 9982 8191
>
> ------------------------------------------------------------------------------
> Come build with us! The BlackBerry(R) Developer Conference in SF, CA
> is the only developer event you need to attend this year. Jumpstart your
> developing skills, take BlackBerry mobile applications to market and stay
> ahead of the curve. Join us from November 9 - 12, 2009. Register now!
> http://p.sf.net/sfu/devconference
> _______________________________________________
> Yap-users mailing list
> Yap-users@...
> https://lists.sourceforge.net/lists/listinfo/yap-users
>
>

profiling in prolog

2009-10-07T07:57:48Z

Hi.

I´m working in a project for my graduation that a have to do some profiling in prolog code and write this data in a new .pl archieve.
My problem is that a don´t know which place and struct that has the prolog code that is read from the archive in the moment that i load it.
The profiling information is in a new struct that i created in pred_entry struct.
Which struct or global variable that have then start list of pred_entry vars?
Wich struct or variable have the .pl source read in the load?

thanks for all.
--
TIAGO HENRIQUE BORDONI
------------------------------------------------
5° Ano - INFORMÁTICA - UEM
Maringá - Paraná - Brasil
Cel.: (44) 9982 8191

------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

path to yap

2009-10-07T05:53:41Z

Hi,

I've the problem that I want to start a new instance of yap from
within yap using system/1.
Therefor I was wondering whether it is possible to get the path to
the current instance of yap.

Thanks ingo

-------------------------------------------------------
Ingo Thon <ingo.thon@...>
Dept. of Computer Science
Katholieke Universiteit Leuven
Phone: +32 16 32 7741
skype: ingo_thon
web: http://www.cs.kuleuven.be/~ingo/
-------------------------------------------------------

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm

------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

not a valid element for clpfd_reifiable_expression

2009-10-01T05:43:34Z

Dear all,

I've come across a little problem when using clp over finite domain.

?- X = 2, B #<==> (X in 1..3).

ERROR!!

DOMAIN ERROR- : 2 in 1..3 not a valid element for clpfd_reifiable_expression

The strange thing is that SWI doesn't have the same problem and succeeds.

Out of curiosity, single quotes seem to affect integers in some strange way, is there a reason for this:

?- X = 2'.

X = 0 ?

?- X = 100'.

| '

| .

SYNTAX ERROR at user, near line 11:

X = 100

<==== HERE ====>

?- X = 51'.

SYNTAX ERROR at user, near line 18:

X = []

<==== HERE ====>

Thanks in advance,

Domenico

(Really sorry if this is a repeated message, I sent it already but from the wrong email account)

------------------------------------------------------------------------------
Come build with us! The BlackBerry® Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9-12, 2009. Register now!
http://p.sf.net/sfu/devconf
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Re: load_files/2performance

2009-09-20T15:46:14Z

Thanks very much Vitor for your prompt action!
Life can indeed be tough but let's believe that
the future is longer than the past :)

Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T +32 3444 7618
http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare

Vítor Santos Costa <vsc@...>

09/20/2009 05:01 PM

To	Jos De Roo/AMDUS/AGFA@AGFA
cc	yap-users@...
Subject	Re: [Yap-users] load_files/2performance

Hi Jos

First, my apologies to everyone. The last few weeks have been tough, I have been unable to do much for YAP :(

the test was small and my thinking even smaller.. :-)
this might be better

'$check_if_reconsulted'(N,A) :-
( recorded('$reconsulted',N/A,_) ->
recorded('$reconsulted',X,_),
( X = N/A , !;
X = '$', !, fail;
fail
)
).

and the speed gain is the similar

It looks correct, and if the predicates are contiguous will be efficient. It would be nicer to add the file name to the stack, but this will work.

Thanks!

Vitor

Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T +32 3444 7618
http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare

Jos De Roo/AMDUS/AGFA

09/19/2009 01:25 PM

To	Jos De Roo/AMDUS/AGFA@AGFA@AGFASMTP
cc	yap-users@...
Subject	Re: [Yap-users] load_files/2performanceLink

A small test with following change

diff --git a/pl/boot.yap b/pl/boot.yap
index b76559a..1e354ac 100644
--- a/pl/boot.yap
+++ b/pl/boot.yap
@@ -440,7 +440,7 @@ true :- true.
recorded('$reconsulted',X,_),
( X = N/A , !;
X = '$', !, fail;
- fail
+ !, fail
).

'$inform_as_reconsulted'(N,A) :-

now gives

time yap -g "load_files(['gen100000.yap'],[compilation_mode(assert_all)]),halt"
% Restoring file /usr/local/lib/Yap/startup.yss
YAP version Yap-6.0.0
% reconsulting /home/jdroo/temp/gen100000.yap...
% reconsulted /home/jdroo/temp/gen100000.yap in module user, 1080 msec 32995232 bytes
% YAP execution halted

real 0m1.195s
user 0m1.164s
sys 0m0.032s

which is (728297/1080-1)*100 = 67335 percent faster
and all our test cases are now happy :-)

Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T +32 3444 7618
http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare

Jos De Roo/AMDUS/AGFA@AGFA

09/13/2009 02:24 PM

To	yap-users@...
cc
Subject	[Yap-users] load_files/2performance

We make use of load_files([F],[compilation_mode(assert_all)])
and it appeared to us that it could take a long time for some cases
so I made a test file like

p0(s,o).
p1(s,o).
p2(s,o).
p3(s,o).
p4(s,o).
p5(s,o).
p6(s,o).
p7(s,o).
p8(s,o).
p9(s,o).
p10(s,o).
p11(s,o).
p12(s,o).
...
p99999(s,o).

and ran

time yap -g "load_files(['gen100000.yap'],[compilation_mode(assert_all)]),halt"
% Restoring file /usr/local/lib/Yap/startup.yss
YAP version Yap-6.0.0
% reconsulting /home/jdroo/temp/gen100000.yap...
% reconsulted /home/jdroo/temp/gen100000.yap in module user, 728297 msec 32995232 bytes
% YAP execution halted

real 12m9.012s
user 12m8.370s
sys 0m0.512s

which is more than 1000 times slower than

time yap -g "['gen100000.yap'],halt"
% Restoring file /usr/local/lib/Yap/startup.yss
YAP version Yap-6.0.0
% consulting /home/jdroo/temp/gen100000.yap...
% consulted /home/jdroo/temp/gen100000.yap in module user, 664 msec 19792048 bytes
% YAP execution halted

real 0m0.682s
user 0m0.668s
sys 0m0.012s

Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T +32 3444 7618
http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare------------------------------------------------------------------------------ Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day trial. Simplify your report design, integration and deployment - and focus on what you do best, core application coding. Discover what's new with Crystal Reports now. http://p.sf.net/sfu/bobj-july_______________________________________________ Yap-users mailing listYap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

------------------------------------------------------------------------------
Come build with us! The BlackBerry® Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9-12, 2009. Register now!
http://p.sf.net/sfu/devconf_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

------------------------------------------------------------------------------
Come build with us! The BlackBerry® Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9-12, 2009. Register now!
http://p.sf.net/sfu/devconf
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Re: load_files/2performance

2009-09-20T08:01:53Z

Hi Jos

First, my apologies to everyone. The last few weeks have been tough, I have been unable to do much for YAP :(

the test was small and my thinking even smaller.. :-)
this might be better

'$check_if_reconsulted'(N,A) :-
( recorded('$reconsulted',N/A,_) ->
recorded('$reconsulted',X,_),
( X = N/A , !;
X = '$', !, fail;
fail
)
).

and the speed gain is the similar

It looks correct, and if the predicates are contiguous will be efficient. It would be nicer to add the file name to the stack, but this will work.

Thanks!

Vitor

Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T +32 3444 7618
http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare

Jos De Roo/AMDUS/AGFA
09/19/2009 01:25 PM

To
Jos De Roo/AMDUS/AGFA@AGFA@AGFASMTP

cc
yap-users@...

Subject
Re: [Yap-users] load_files/2performanceLink

A small test with following change

diff --git a/pl/boot.yap b/pl/boot.yap
index b76559a..1e354ac 100644
--- a/pl/boot.yap
+++ b/pl/boot.yap
@@ -440,7 +440,7 @@ true :- true.
recorded('$reconsulted',X,_),
( X = N/A , !;
X = '$', !, fail;
- fail
+ !, fail
).

'$inform_as_reconsulted'(N,A) :-

now gives

time yap -g "load_files(['gen100000.yap'],[compilation_mode(assert_all)]),halt"
% Restoring file /usr/local/lib/Yap/startup.yss
YAP version Yap-6.0.0
% reconsulting /home/jdroo/temp/gen100000.yap...
% reconsulted /home/jdroo/temp/gen100000.yap in module user, 1080 msec 32995232 bytes
% YAP execution halted

real 0m1.195s
user 0m1.164s
sys 0m0.032s

which is (728297/1080-1)*100 = 67335 percent faster
and all our test cases are now happy :-)

Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T +32 3444 7618
http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare

Jos De Roo/AMDUS/AGFA@AGFA
09/13/2009 02:24 PM

To
yap-users@...

cc

Subject
[Yap-users] load_files/2performance

We make use of load_files([F],[compilation_mode(assert_all)])
and it appeared to us that it could take a long time for some cases
so I made a test file like

p0(s,o).
p1(s,o).
p2(s,o).
p3(s,o).
p4(s,o).
p5(s,o).
p6(s,o).
p7(s,o).
p8(s,o).
p9(s,o).
p10(s,o).
p11(s,o).
p12(s,o).
...
p99999(s,o).

and ran

time yap -g "load_files(['gen100000.yap'],[compilation_mode(assert_all)]),halt"
% Restoring file /usr/local/lib/Yap/startup.yss
YAP version Yap-6.0.0
% reconsulting /home/jdroo/temp/gen100000.yap...
% reconsulted /home/jdroo/temp/gen100000.yap in module user, 728297 msec 32995232 bytes
% YAP execution halted

real 12m9.012s
user 12m8.370s
sys 0m0.512s

which is more than 1000 times slower than

time yap -g "['gen100000.yap'],halt"
% Restoring file /usr/local/lib/Yap/startup.yss
YAP version Yap-6.0.0
% consulting /home/jdroo/temp/gen100000.yap...
% consulted /home/jdroo/temp/gen100000.yap in module user, 664 msec 19792048 bytes
% YAP execution halted

real 0m0.682s
user 0m0.668s
sys 0m0.012s

Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T +32 3444 7618
http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare
------------------------------------------------------------------------------ Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day trial. Simplify your report design, integration and deployment - and focus on what you do best, core application coding. Discover what's new with Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________ Yap-users mailing list Yap-users@...https://lists.sourceforge.net/lists/listinfo/yap-users

------------------------------------------------------------------------------
Come build with us! The BlackBerry® Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9-12, 2009. Register now!
http://p.sf.net/sfu/devconf_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Re: load_files/2performance

2009-09-19T13:09:49Z

the test was small and my thinking even smaller.. :-)
this might be better

'$check_if_reconsulted'(N,A) :-
( recorded('$reconsulted',N/A,_) ->
recorded('$reconsulted',X,_),
( X = N/A , !;
X = '$', !, fail;
fail
)
).

and the speed gain is the similar

Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T +32 3444 7618
http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare

Jos De Roo/AMDUS/AGFA

09/19/2009 01:25 PM

To	Jos De Roo/AMDUS/AGFA@AGFA@AGFASMTP
cc	yap-users@...
Subject	Re: [Yap-users] load_files/2performanceLink

Jos De Roo/AMDUS/AGFA@AGFA

09/13/2009 02:24 PM

To	yap-users@...
cc
Subject	[Yap-users] load_files/2performance

We make use of load_files([F],[compilation_mode(assert_all)])
and it appeared to us that it could take a long time for some cases
so I made a test file like

p0(s,o).
p1(s,o).
p2(s,o).
p3(s,o).
p4(s,o).
p5(s,o).
p6(s,o).
p7(s,o).
p8(s,o).
p9(s,o).
p10(s,o).
p11(s,o).
p12(s,o).
...
p99999(s,o).

and ran

time yap -g "load_files(['gen100000.yap'],[compilation_mode(assert_all)]),halt"
% Restoring file /usr/local/lib/Yap/startup.yss
YAP version Yap-6.0.0
% reconsulting /home/jdroo/temp/gen100000.yap...
% reconsulted /home/jdroo/temp/gen100000.yap in module user, 728297 msec 32995232 bytes
% YAP execution halted

real 12m9.012s
user 12m8.370s
sys 0m0.512s

which is more than 1000 times slower than

time yap -g "['gen100000.yap'],halt"
% Restoring file /usr/local/lib/Yap/startup.yss
YAP version Yap-6.0.0
% consulting /home/jdroo/temp/gen100000.yap...
% consulted /home/jdroo/temp/gen100000.yap in module user, 664 msec 19792048 bytes
% YAP execution halted

real 0m0.682s
user 0m0.668s
sys 0m0.012s

Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T +32 3444 7618
http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare
------------------------------------------------------------------------------ Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day trial. Simplify your report design, integration and deployment - and focus on what you do best, core application coding. Discover what's new with Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________ Yap-users mailing list Yap-users@...https://lists.sourceforge.net/lists/listinfo/yap-users

------------------------------------------------------------------------------
Come build with us! The BlackBerry® Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9-12, 2009. Register now!
http://p.sf.net/sfu/devconf
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Re: load_files/2performance

2009-09-19T04:25:27Z

Jos De Roo/AMDUS/AGFA@AGFA

09/13/2009 02:24 PM

To	yap-users@...
cc
Subject	[Yap-users] load_files/2performance

We make use of load_files([F],[compilation_mode(assert_all)])
and it appeared to us that it could take a long time for some cases
so I made a test file like

p0(s,o).
p1(s,o).
p2(s,o).
p3(s,o).
p4(s,o).
p5(s,o).
p6(s,o).
p7(s,o).
p8(s,o).
p9(s,o).
p10(s,o).
p11(s,o).
p12(s,o).
...
p99999(s,o).

and ran

time yap -g "load_files(['gen100000.yap'],[compilation_mode(assert_all)]),halt"
% Restoring file /usr/local/lib/Yap/startup.yss
YAP version Yap-6.0.0
% reconsulting /home/jdroo/temp/gen100000.yap...
% reconsulted /home/jdroo/temp/gen100000.yap in module user, 728297 msec 32995232 bytes
% YAP execution halted

real 12m9.012s
user 12m8.370s
sys 0m0.512s

which is more than 1000 times slower than

time yap -g "['gen100000.yap'],halt"
% Restoring file /usr/local/lib/Yap/startup.yss
YAP version Yap-6.0.0
% consulting /home/jdroo/temp/gen100000.yap...
% consulted /home/jdroo/temp/gen100000.yap in module user, 664 msec 19792048 bytes
% YAP execution halted

real 0m0.682s
user 0m0.668s
sys 0m0.012s

Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T +32 3444 7618
http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare
------------------------------------------------------------------------------ Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day trial. Simplify your report design, integration and deployment - and focus on what you do best, core application coding. Discover what's new with Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________ Yap-users mailing list Yap-users@...https://lists.sourceforge.net/lists/listinfo/yap-users

------------------------------------------------------------------------------
Come build with us! The BlackBerry® Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9-12, 2009. Register now!
http://p.sf.net/sfu/devconf
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

load_files/2performance

2009-09-13T05:24:33Z

term_expansion masks static predicate when file is loaded with "yap -l"

2009-08-29T21:02:52Z

Howdy all,

I'm trying to write a lexer generator for Yap. I have a special term
type of the form @rule := <stuff>, and I am currently expanding this
(via `term_expansion`) into a clause of the predicate `match` for each
rule. I also have a few static `match` clauses in the same file. I
have a "Client" file that uses the lexer and loads it via `consult`.

The problem comes when loading the Client file. If I load it via
`consult` after starting the interpreter, everything works fine. If I
pre-load it from the command-line via `yap -l`, then the static
`match` clauses are no longer present. This behavior doesn't make
sense to me, so I'm thinking it's a bug, or a misunderstanding of some
nuance between command-line loading and `consult`.

Here's a stripped down example that demonstrates the behavior):

File: lexrule_simple.pl
===========================================
:- source.
% Define the operators
:- op(100, fx, '@'). % Indicates a lexer rule.
:- op(1200, xfx, ':='). % Lexer rule neck

user:term_expansion( (@H := B), Expanded) :-
NewPred = (
match(H, H - L) -->
(B, {format('Calling expanded rule: ~w~n', [H])})
),
expand_term(NewPred, Expanded).

match(_, _ - C) -->
[C].
===========================================

File: use_lexrule_simple.pl
===========================================
:- source.
:- consult(disappearing_match).

@p := bar.
bar --> [a].
===========================================

If the file is loaded via

===========================================
?- consult(use_lexrule_simple).
?- listing(match).
match(_,_-C,A,B) :-
'C'(A,C,B).
match(p,p-_,A,B) :-
bar(A,B),
format('Calling expanded rule: ~w~n',user:[p]).
yes
?- match(X, X - T, [a], []).
T = a ? ;
Calling expanded rule: p
X = p ? ;
no
===========================================

If it is loaded via yap -l use_lexrule_simple.pl:

===========================================
?- listing(match).
match(p,p-_,A,B) :-
bar(A,B),
format('Calling expanded rule: ~w~n',user:[p]).
yes
?- match(X, X - T, [a], []).
Calling expanded rule: p
X = p ? ;
no
===========================================

Any ideas, suggestions? I could well be missing something, but the
documentation doesn't indicate that `yap -l` is any different from
consulting the file after the interpreter has been started, so I can't
see why Yap would behave in this way.

As a side question: I'm writing this lexer generator because searches
for such a system have turned up nothing and I'd like to wrap all of
the lexing logic (reading the file, tokenizing, etc.) into one
package. Is there a better approach, or is there an existing system
that I'm not aware of?

Thanks!
~Brian W. DeVries

------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

save and restore broken in Yap 6.0? Yap, Logtalk and command line arguments

2009-08-14T04:19:00Z

Hello,

saving and restoring doesn't seem to work in Yap 6.0:

schuster@lakonia:~/lng/0> yap
% Restoring file /usr/local/lib/Yap/startup.yss
YAP version Yap-6.0.0
?- assert(likes(john, mary)).
yes
?- assert(likes(sepp, mary)).
yes
?- save(tmp0).
yes
?- schuster@lakonia:~/lng/0> yap
% Restoring file /usr/local/lib/Yap/startup.yss
YAP version Yap-6.0.0
?- restore(tmp0).
no
?-

Or am I doing something wrong?

By the way: What I am trying to achieve is compile a Logtalk program that uses command line arguments into a saved state. Does anybody have a simple example of how to do this?

Jörg

Re: [Yap-6.0.0] compiling plus/2 with input unbound

2009-08-03T02:21:52Z

Oops..
The example should have been with line 12
S*1000 + E*100 + N*10 + D + M*1000 + O*100 + R*10 + E #= M*10000 + O*1000 + N*100 + E*10 + Y,

Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T +32 3444 7618
http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare

Jos De Roo/AMDUS/AGFA@AGFA

08/03/2009 11:08 AM

To	yap-users@...
cc
Subject	[Yap-users] [Yap-6.0.0] compiling plus/2 with input unbound

When loading the following classical example

% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
:- use_module(library(clpfd)).

fac(0,1).
fac(N,F) :-
N #> 0, N1 #= N-1, F #= N*F1, fac(N1,F1).

test(Vs) :-
Vs = [A,B,C,D], Vs ins 0..711, A*B*C*D #= 711*1000000, A+B+C+D #= 711, A #>= B, B #>= C, C #>= D, labeling([ff],Vs).

puzzle([S,E,N,D] + [M,O,R,E] = [M,O,N,E,Y]) :-
Vars = [S,E,N,D,M,O,R,Y],
Vars ins 0..9,
all_different(Vars),
S*1000 + E*100 + N*10 + D + M*1000 + O*100 + R*10 + E #= K, K #= M*10000 + O*1000 + N*100 + E*10 + Y,
M #\= 0, S #\= 0.
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

we get

YAP version Yap-6.0.0
ERROR!! (/home/jdroo/temp/testclp.yap:12).
TYPE ERROR- in line 12, compiling plus/2 with input unbound: expected unbound variable, got _131193*1000+_131196*100+_131199*10+_131185+_131202*1000+_131205*100+_131208*10+_131196

After replacing
S*1000 + E*100 + N*10 + D + M*1000 + O*100 + R*10 + E #= M*10000 + O*1000 + N*100 + E*10 + Y,
with
S*1000 + E*100 + N*10 + D + M*1000 + O*100 + R*10 + E #= K, K #= M*10000 + O*1000 + N*100 + E*10 + Y,

everything works fine.

Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T +32 3444 7618
http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare
------------------------------------------------------------------------------ Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day trial. Simplify your report design, integration and deployment - and focus on what you do best, core application coding. Discover what's new with Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________ Yap-users mailing list Yap-users@...https://lists.sourceforge.net/lists/listinfo/yap-users

------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

[Yap-6.0.0] compiling plus/2 with input unbound

2009-08-03T02:08:49Z

When loading the following classical example

% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
:- use_module(library(clpfd)).

fac(0,1).
fac(N,F) :-
N #> 0, N1 #= N-1, F #= N*F1, fac(N1,F1).

test(Vs) :-
Vs = [A,B,C,D], Vs ins 0..711, A*B*C*D #= 711*1000000, A+B+C+D #= 711, A #>= B, B #>= C, C #>= D, labeling([ff],Vs).

puzzle([S,E,N,D] + [M,O,R,E] = [M,O,N,E,Y]) :-
Vars = [S,E,N,D,M,O,R,Y],
Vars ins 0..9,
all_different(Vars),
S*1000 + E*100 + N*10 + D + M*1000 + O*100 + R*10 + E #= K, K #= M*10000 + O*1000 + N*100 + E*10 + Y,
M #\= 0, S #\= 0.
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

we get

YAP version Yap-6.0.0
ERROR!! (/home/jdroo/temp/testclp.yap:12).
TYPE ERROR- in line 12, compiling plus/2 with input unbound: expected unbound variable, got _131193*1000+_131196*100+_131199*10+_131185+_131202*1000+_131205*100+_131208*10+_131196

After replacing
S*1000 + E*100 + N*10 + D + M*1000 + O*100 + R*10 + E #= M*10000 + O*1000 + N*100 + E*10 + Y,
with
S*1000 + E*100 + N*10 + D + M*1000 + O*100 + R*10 + E #= K, K #= M*10000 + O*1000 + N*100 + E*10 + Y,

everything works fine.

Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T +32 3444 7618
http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare
------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

YAP version in c_interface.h

2009-07-31T07:18:02Z

Hi there,

would you please consider adding to c_interface.h the definition of
macros allowing to determine the YAP version at compile time?
I mean, like the macros

SICSTUS_MAJOR_VERSION
SICSTUS_MINOR_VERSION
SICSTUS_REVISION_VERSION
SICSTUS_BETA_VERSION

defined by sicstus.h, the macros

CIAO_MAJOR_VERSION
CIAO_MINOR_VERSION
CIAO_PATCH_VERSION
CIAO_SVNREV

defined by ciao_prolog.h, and the macro

PLVERSION

defined by SWI-Prolog.h.
Thanks in advance,

Roberto

--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@...

------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

building Yap-6.0.0 plus MYDDAS

2009-07-29T14:18:18Z

In an attempt to build Yap-6.0.0 plus MYDDAS i.e.

./configure --enable-cut-c --enable-myddas

make gives following error:

gcc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DMYDDAS_MYSQL -DMYDDAS_ODBC -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -DCUT_C=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./packages/MYDDAS -I./include -DYAP_VERSION=\"Yap-6.0.0\" -DPL_SRC_DIR=\"/usr/local/share/Yap/pl/\" ./console/yap.c -o yap.o
gcc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DMYDDAS_MYSQL -DMYDDAS_ODBC -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -DCUT_C=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./packages/MYDDAS C/agc.c -o agc.o
In file included from ./H/Yap.h:385,
from ./H/absmi.h:141,
from C/agc.c:22:
./H/Regs.h:23:20: error: myddas.h: No such file or directory
In file included from ./H/Yap.h:385,
from ./H/absmi.h:141,
from C/agc.c:22:
./H/Regs.h:96: error: expected specifier-qualifier-list before ‘MYDDAS_GLOBAL’
./H/Regs.h: In function ‘CalculateStackGap’:
./H/Regs.h:766: error: ‘REGSTORE’ has no member named ‘LCL0_’
In file included from ./H/Yap.h:592,
from ./H/absmi.h:141,
from C/agc.c:22:
...

Then I quickly tried with
cp MYDDAS/myddas.h H
but that doesn't make make happier either:

gcc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DMYDDAS_MYSQL -DMYDDAS_ODBC -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -DCUT_C=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./packages/MYDDAS C/agc.c -o agc.o
gcc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DMYDDAS_MYSQL -DMYDDAS_ODBC -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -DCUT_C=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./packages/MYDDAS C/absmi.c -o absmi.o
C/absmi.c: In function ‘Yap_absmi’:
C/absmi.c:1808: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:1808: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:2179: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:2179: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:2220: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:2220: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:2274: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:2274: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:2346: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:2346: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:2392: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:2392: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:7596: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:7680: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:9575: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:9575: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:9636: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:9636: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:13916: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:13916: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:14018: error: ‘union <anonymous>’ has no member named ‘lds’
C/absmi.c:14018: error: ‘union <anonymous>’ has no member named ‘lds’
make: *** [absmi.o] Error 1

This is not a burning issue as we can do our tests perfectly fine with Yap-5.1.3 plus MYDDAS :-)

Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T +32 3444 7618
http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare
------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Re: Yap-6 docs and FLI

2009-07-22T07:18:35Z

On Jul 14, 2009, at 11:03 AM, Vitor Santos Costa wrote:

> Dear Chris
>
> Hope your talk in ICLP. Shame I couldn't go this year. Would it be
> possible to have a look at the slides?

Hi Vitor

The slides are on slideshare and linked to from here:

http://blipkit.wordpress.com/2009/07/22/iclp-2009/

Comments welcome!

------------------------------------------------------------------------------
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Re: Yap-6 docs and FLI

2009-07-14T08:03:13Z

Dear Chris

Hope your talk in ICLP. Shame I couldn't go this year. Would it be
possible to have a look at the slides?

> ---
> <?xml version="1.0"?>
> <foo>x</foo>
> ---
>
> yap -g
> "use_module(library(sgml)),load_structure('foo2.xml',[X],[dialect(xml)]),writeln(x=X)"
> % Restoring file /usr/local/lib/Yap/startup.yss
> YAP version Yap-6.0.0
> % reconsulting /usr/local/share/Yap/sgml.pl...
> % reconsulting /usr/local/share/Yap/option.pl...
> % reconsulted /usr/local/share/Yap/option.pl in module swi_option, 1 msec
> 12040 bytes
> % reconsulted /usr/local/share/Yap/sgml.pl in module sgml, 41 msec 329608
> bytes
> no
>

Both work for me.,

> swipl -g
> "use_module(library(sgml)),load_structure('foo2.xml',[X],[dialect(xml)]),writeln(x=X)"
> x=element(foo, [], [x])
> 1 ?-
>
> The second example uses xml namespaces and generates 'PL_handle_signals not
> implemented' messages, with either xml or xmlns dialect
>
>

Yes, that is just a warning, but it shouldn't affect the result.
That's what I get with my version (maybe doing a make clean in
packages/sgml and packages/PLStream will help).

Cheers

Vitor
?- load_structure('foo3.xml',[X],[dialect(xml)]).
PL_handle_signals not implemented
X = element('Ontology',[xmlns='http://www.w3.org/2006/12/owl2-xml#','xml:base'='http://www.w3.org/2006/12/owl2-xml#','xmlns:owl2xml'='http://www.w3.org/2006/12/owl2-xml#','xmlns:purl'='http://purl.obofoundry.org/','xmlns:xsd'='http://www.w3.org/2001/XMLSchema#','xmlns:rdfs'='http://www.w3.org/2000/01/rdf-schema#','xmlns:rdf'='http://www.w3.org/1999/02/22-rdf-syntax-ns#','xmlns:owl'='http://www.w3.org/2002/07/owl#','URI'='http://purl.obofoundry.org/'],['\n\n
',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000026'],[]),'\n
',element('Annotation',[annotationURI='http://purl.obofoundry.org/IAO_0000111'],['\n
',element('Constant',[],['uracil nucleobase']),'\n
']),'\n ']),'\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000026'],[]),'\n
',element('Annotation',[annotationURI='http://purl.obofoundry.org/IAO_0000115'],['\n
',element('Constant',[],['A uracil nucleobase is a
pyrimidine nucleobase that contains a 2-oxo group and a 4-oxo group
and has a free valence at the 1-position.']),'\n ']),'\n
']),'\n\n ',element('SubClassOf',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000027'],[]),'\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000023'],[]),'\n
']),'\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000027'],[]),'\n
',element('Annotation',[annotationURI='http://purl.obofoundry.org/IAO_0000111'],['\n
',element('Constant',[],['adenine nucleobase']),'\n
']),'\n ']),'\n\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000027'],[]),'\n
',element('Annotation',[annotationURI='http://purl.obofoundry.org/IAO_0000115'],['\n
',element('Constant',[],['An adenine nucleobase is a purine
nucleobase that contains a 6-amino group and a free valence at the
9-position.']),'\n ']),'\n ']),'\n
',element('SubClassOf',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000028'],[]),'\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000023'],[]),'\n
']),'\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000028'],[]),'\n
',element('Annotation',[annotationURI='http://purl.obofoundry.org/IAO_0000111'],['\n
',element('Constant',[],['guanine nucleobase']),'\n
']),'\n ']),'\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000028'],[]),'\n
',element('Annotation',[annotationURI='http://purl.obofoundry.org/IAO_0000115'],['\n
',element('Constant',[],['A guanine nucleobase is a purine
nucleobase that contains a 2-amino group, a 6-oxo group and a free
valence at the 9-position.']),'\n ']),'\n ']),'\n
',element('SubClassOf',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000032'],[]),'\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000019'],[]),'\n
']),'\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000032'],[]),'\n
',element('Annotation',[annotationURI='http://purl.obofoundry.org/IAO_0000111'],['\n
',element('Constant',[],['purine ribonucleoside']),'\n
']),'\n ']),'\n ',element('SubClassOf',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000034'],[]),'\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000019'],[]),'\n
']),'\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000034'],[]),'\n
',element('Annotation',[annotationURI='http://purl.obofoundry.org/IAO_0000111'],['\n
',element('Constant',[],['pyrimidine ribonucleoside']),'\n
']),'\n ']),'\n ',element('SubClassOf',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000035'],[]),'\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000034'],[]),'\n
']),'\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000035'],[]),'\n
',element('Annotation',[annotationURI='http://purl.obofoundry.org/IAO_0000111'],['\n
',element('Constant',[],['cytidine residue']),'\n
']),'\n ']),'\n ',element('SubClassOf',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000037'],[]),'\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000032'],[]),'\n
']),'\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000037'],[]),'\n
',element('Annotation',[annotationURI='http://purl.obofoundry.org/IAO_0000111'],['\n
',element('Constant',[],['adenosine residue']),'\n
']),'\n ']),'\n ',element('SubClassOf',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000038'],[]),'\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000032'],[]),'\n
']),'\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000038'],[]),'\n
',element('Annotation',[annotationURI='http://purl.obofoundry.org/IAO_0000111'],['\n
',element('Constant',[],['guanosine residue']),'\n
']),'\n ']),'\n ',element('SubClassOf',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000039'],[]),'\n
',element('Class',['URI'='http://purl.obofoundry.org/RNA_0000033'],[]),'\n
']),'\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000039'],[]),'\n
',element('Annotation',[annotationURI='http://www.w3.org/2000/01/rdf-schema#label'],['\n
',element('Constant',[],['suite in 1a conformation']),'\n
']),'\n ']),'\n ',element('SubClassOf',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000040'],[]),'\n
',element('Class',['URI'='http://purl.obofoundry.org/RNA_0000033'],[]),'\n
']),'\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000040'],[]),'\n
',element('Annotation',[annotationURI='http://www.w3.org/2000/01/rdf-schema#label'],['\n
',element('Constant',[],['suite in 1c conformation']),'\n
']),'\n ']),'\n ',element('SubClassOf',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000041'],[]),'\n
',element('Class',['URI'='http://purl.obofoundry.org/RNA_0000033'],[]),'\n
']),'\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000041'],[]),'\n
',element('Annotation',[annotationURI='http://www.w3.org/2000/01/rdf-schema#label'],['\n
',element('Constant',[],['suite in 1e conformation']),'\n
']),'\n ']),'\n ',element('SubClassOf',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000042'],[]),'\n
',element('Class',['URI'='http://purl.obofoundry.org/RNA_0000033'],[]),'\n
']),'\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000042'],[]),'\n
',element('Annotation',[annotationURI='http://www.w3.org/2000/01/rdf-schema#label'],['\n
',element('Constant',[],['suite in 1f conformation']),'\n
']),'\n ']),'\n ',element('SubClassOf',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000043'],[]),'\n
',element('Class',['URI'='http://purl.obofoundry.org/RNA_0000033'],[]),'\n
']),'\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000043'],[]),'\n
',element('Annotation',[annotationURI='http://www.w3.org/2000/01/rdf-schema#label'],['\n
',element('Constant',[],['suite in 1g conformation']),'\n
']),'\n ']),'\n ',element('SubClassOf',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000044'],[]),'\n
',element('Class',['URI'='http://purl.obofoundry.org/RNA_0000033'],[]),'\n
']),'\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000044'],[]),'\n
',element('Annotation',[annotationURI='http://www.w3.org/2000/01/rdf-schema#label'],['\n
',element('Constant',[],['suite in 1l conformation']),'\n
']),'\n ']),'\n ',element('SubClassOf',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000045'],[]),'\n
',element('Class',['URI'='http://purl.obofoundry.org/RNA_0000033'],[]),'\n
']),'\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000045'],[]),'\n
',element('Annotation',[annotationURI='http://www.w3.org/2000/01/rdf-schema#label'],['\n
',element('Constant',[],['suite in 1m conformation']),'\n
']),'\n ']),'\n ',element('SubClassOf',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000046'],[]),'\n
',element('Class',['URI'='http://purl.obofoundry.org/RNA_0000033'],[]),'\n
']),'\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000046'],[]),'\n
',element('Annotation',[annotationURI='http://www.w3.org/2000/01/rdf-schema#label'],['\n
',element('Constant',[],['suite in 3a conformation']),'\n
']),'\n ']),'\n ',element('SubClassOf',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000047'],[]),'\n
',element('Class',['URI'='http://purl.obofoundry.org/RNA_0000033'],[]),'\n
']),'\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000047'],[]),'\n
',element('Annotation',[annotationURI='http://www.w3.org/2000/01/rdf-schema#label'],['\n
',element('Constant',[],['suite in 3d conformation']),'\n
']),'\n ']),'\n ',element('SubClassOf',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000048'],[]),'\n
',element('Class',['URI'='http://purl.obofoundry.org/RNA_0000033'],[]),'\n
']),'\n ',element('EntityAnnotation',[],['\n
',element('Class',['URI'='http://purl.obofoundry.org/RNAO_0000048'],[]),'\n
',element('Annotation',[annotationURI='http://www.w3.org/2000/01/rdf-schema#label'],['\n
',element('Constant',[],['suite in 5a conformation']),'\n
']),'\n ']),'\n']) ?

------------------------------------------------------------------------------
Enter the BlackBerry Developer Challenge
This is your chance to win up to $100,000 in prizes! For a limited time,
vendors submitting new applications to BlackBerry App World(TM) will have
the opportunity to enter the BlackBerry Developer Challenge. See full prize
details at: http://p.sf.net/sfu/Challenge
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Re: Yap-6 docs and FLI

2009-07-08T21:02:06Z

On Jul 8, 2009, at 7:06 PM, Vitor Santos Costa wrote:

> Hi Chris
>
>> Is there any documentation for yap-6 or details of changes,
>> particularly in the FLI?
>>
>
> YAP-6 has some changes to the c-interface, mostly documented I think.
>
>> Looking at the source from git, it appears that some SWI packages
>> such
>> as sgml are present, and compile. From this I would infer that Yap's
>> FLI is now the same as SWI's (yay!). However, whilst I can get sgml
>> to
>> compile, I can't get it to work (depending on the xml, it either
>> fails
>> or outputs "PL_handle_signals not implemented"), so I'm not sure what
>> the status is.
>
> The PL emulation is not complete yet. I expect some stuff would be
> missing.
>
> I didn't test very hard, if you give me examples it will make my
> life easier.

first example uses a file foo2.xml:

---
<?xml version="1.0"?>
<foo>x</foo>
---

yap -g "use_module(library(sgml)),load_structure('foo2.xml',[X],
[dialect(xml)]),writeln(x=X)"
% Restoring file /usr/local/lib/Yap/startup.yss
YAP version Yap-6.0.0
% reconsulting /usr/local/share/Yap/sgml.pl...
% reconsulting /usr/local/share/Yap/option.pl...
% reconsulted /usr/local/share/Yap/option.pl in module swi_option,
1 msec 12040 bytes
% reconsulted /usr/local/share/Yap/sgml.pl in module sgml, 41 msec
329608 bytes
no

swipl -g "use_module(library(sgml)),load_structure('foo2.xml',[X],
[dialect(xml)]),writeln(x=X)"
x=element(foo, [], [x])
1 ?-

The second example uses xml namespaces and generates
'PL_handle_signals not implemented' messages, with either xml or xmlns
dialect

<?xml version="1.0"?>

<!DOCTYPE Ontology [
<!ENTITY purl "http://purl.obofoundry.org/" >
<!ENTITY owl "http://www.w3.org/2002/07/owl#" >
<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
<!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-xml#" >
<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
]>

<Ontology xmlns="http://www.w3.org/2006/12/owl2-xml#"
xml:base="http://www.w3.org/2006/12/owl2-xml#"
xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
xmlns:purl="http://purl.obofoundry.org/"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
URI="http://purl.obofoundry.org/">

<EntityAnnotation>
<Class URI="&purl;RNAO_0000026"/>
<Annotation annotationURI="&purl;IAO_0000111">
<Constant
>uracil nucleobase</Constant>
</Annotation>
</EntityAnnotation>
<EntityAnnotation>
<Class URI="&purl;RNAO_0000026"/>
<Annotation annotationURI="&purl;IAO_0000115">
<Constant
>A uracil nucleobase is a pyrimidine nucleobase that contains a 2-oxo group and a 4-oxo group and has a free valence at the 1-position.</Constant>
</Annotation>
</EntityAnnotation>

<SubClassOf>
<Class URI="&purl;RNAO_0000027"/>
<Class URI="&purl;RNAO_0000023"/>
</SubClassOf>
<EntityAnnotation>
<Class URI="&purl;RNAO_0000027"/>
<Annotation annotationURI="&purl;IAO_0000111">
<Constant
>adenine nucleobase</Constant>
</Annotation>
</EntityAnnotation>

<EntityAnnotation>
<Class URI="&purl;RNAO_0000027"/>
<Annotation annotationURI="&purl;IAO_0000115">
<Constant
>An adenine nucleobase is a purine nucleobase that contains a 6-amino group and a free valence at the 9-position.</Constant>
</Annotation>
</EntityAnnotation>
<SubClassOf>
<Class URI="&purl;RNAO_0000028"/>
<Class URI="&purl;RNAO_0000023"/>
</SubClassOf>
<EntityAnnotation>
<Class URI="&purl;RNAO_0000028"/>
<Annotation annotationURI="&purl;IAO_0000111">
<Constant
>guanine nucleobase</Constant>
</Annotation>
</EntityAnnotation>
<EntityAnnotation>
<Class URI="&purl;RNAO_0000028"/>
<Annotation annotationURI="&purl;IAO_0000115">
<Constant
>A guanine nucleobase is a purine nucleobase that contains a 2-amino group, a 6-oxo group and a free valence at the 9-position.</Constant>
</Annotation>
</EntityAnnotation>
<SubClassOf>
<Class URI="&purl;RNAO_0000032"/>
<Class URI="&purl;RNAO_0000019"/>
</SubClassOf>
<EntityAnnotation>
<Class URI="&purl;RNAO_0000032"/>
<Annotation annotationURI="&purl;IAO_0000111">
<Constant
>purine ribonucleoside</Constant>
</Annotation>
</EntityAnnotation>
<SubClassOf>
<Class URI="&purl;RNAO_0000034"/>
<Class URI="&purl;RNAO_0000019"/>
</SubClassOf>
<EntityAnnotation>
<Class URI="&purl;RNAO_0000034"/>
<Annotation annotationURI="&purl;IAO_0000111">
<Constant
>pyrimidine ribonucleoside</Constant>
</Annotation>
</EntityAnnotation>
<SubClassOf>
<Class URI="&purl;RNAO_0000035"/>
<Class URI="&purl;RNAO_0000034"/>
</SubClassOf>
<EntityAnnotation>
<Class URI="&purl;RNAO_0000035"/>
<Annotation annotationURI="&purl;IAO_0000111">
<Constant
>cytidine residue</Constant>
</Annotation>
</EntityAnnotation>
<SubClassOf>
<Class URI="&purl;RNAO_0000037"/>
<Class URI="&purl;RNAO_0000032"/>
</SubClassOf>
<EntityAnnotation>
<Class URI="&purl;RNAO_0000037"/>
<Annotation annotationURI="&purl;IAO_0000111">
<Constant
>adenosine residue</Constant>
</Annotation>
</EntityAnnotation>
<SubClassOf>
<Class URI="&purl;RNAO_0000038"/>
<Class URI="&purl;RNAO_0000032"/>
</SubClassOf>
<EntityAnnotation>
<Class URI="&purl;RNAO_0000038"/>
<Annotation annotationURI="&purl;IAO_0000111">
<Constant
>guanosine residue</Constant>
</Annotation>
</EntityAnnotation>
<SubClassOf>
<Class URI="&purl;RNAO_0000039"/>
<Class URI="&purl;RNA_0000033"/>
</SubClassOf>
<EntityAnnotation>
<Class URI="&purl;RNAO_0000039"/>
<Annotation annotationURI="&rdfs;label">
<Constant
>suite in 1a conformation</Constant>
</Annotation>
</EntityAnnotation>
<SubClassOf>
<Class URI="&purl;RNAO_0000040"/>
<Class URI="&purl;RNA_0000033"/>
</SubClassOf>
<EntityAnnotation>
<Class URI="&purl;RNAO_0000040"/>
<Annotation annotationURI="&rdfs;label">
<Constant
>suite in 1c conformation</Constant>
</Annotation>
</EntityAnnotation>
<SubClassOf>
<Class URI="&purl;RNAO_0000041"/>
<Class URI="&purl;RNA_0000033"/>
</SubClassOf>
<EntityAnnotation>
<Class URI="&purl;RNAO_0000041"/>
<Annotation annotationURI="&rdfs;label">
<Constant
>suite in 1e conformation</Constant>
</Annotation>
</EntityAnnotation>
<SubClassOf>
<Class URI="&purl;RNAO_0000042"/>
<Class URI="&purl;RNA_0000033"/>
</SubClassOf>
<EntityAnnotation>
<Class URI="&purl;RNAO_0000042"/>
<Annotation annotationURI="&rdfs;label">
<Constant
>suite in 1f conformation</Constant>
</Annotation>
</EntityAnnotation>
<SubClassOf>
<Class URI="&purl;RNAO_0000043"/>
<Class URI="&purl;RNA_0000033"/>
</SubClassOf>
<EntityAnnotation>
<Class URI="&purl;RNAO_0000043"/>
<Annotation annotationURI="&rdfs;label">
<Constant
>suite in 1g conformation</Constant>
</Annotation>
</EntityAnnotation>
<SubClassOf>
<Class URI="&purl;RNAO_0000044"/>
<Class URI="&purl;RNA_0000033"/>
</SubClassOf>
<EntityAnnotation>
<Class URI="&purl;RNAO_0000044"/>
<Annotation annotationURI="&rdfs;label">
<Constant
>suite in 1l conformation</Constant>
</Annotation>
</EntityAnnotation>
<SubClassOf>
<Class URI="&purl;RNAO_0000045"/>
<Class URI="&purl;RNA_0000033"/>
</SubClassOf>
<EntityAnnotation>
<Class URI="&purl;RNAO_0000045"/>
<Annotation annotationURI="&rdfs;label">
<Constant
>suite in 1m conformation</Constant>
</Annotation>
</EntityAnnotation>
<SubClassOf>
<Class URI="&purl;RNAO_0000046"/>
<Class URI="&purl;RNA_0000033"/>
</SubClassOf>
<EntityAnnotation>
<Class URI="&purl;RNAO_0000046"/>
<Annotation annotationURI="&rdfs;label">
<Constant
>suite in 3a conformation</Constant>
</Annotation>
</EntityAnnotation>
<SubClassOf>
<Class URI="&purl;RNAO_0000047"/>
<Class URI="&purl;RNA_0000033"/>
</SubClassOf>
<EntityAnnotation>
<Class URI="&purl;RNAO_0000047"/>
<Annotation annotationURI="&rdfs;label">
<Constant
>suite in 3d conformation</Constant>
</Annotation>
</EntityAnnotation>
<SubClassOf>
<Class URI="&purl;RNAO_0000048"/>
<Class URI="&purl;RNA_0000033"/>
</SubClassOf>
<EntityAnnotation>
<Class URI="&purl;RNAO_0000048"/>
<Annotation annotationURI="&rdfs;label">
<Constant
>suite in 5a conformation</Constant>
</Annotation>
</EntityAnnotation>
</Ontology>



>
> Thanks!
>
> Vitor
>

------------------------------------------------------------------------------
Enter the BlackBerry Developer Challenge
This is your chance to win up to $100,000 in prizes! For a limited time,
vendors submitting new applications to BlackBerry App World(TM) will have
the opportunity to enter the BlackBerry Developer Challenge. See full prize
details at: http://p.sf.net/sfu/Challenge
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Re: Yap-6 docs and FLI

2009-07-08T19:06:11Z

Hi Chris

> Is there any documentation for yap-6 or details of changes,
> particularly in the FLI?
>

YAP-6 has some changes to the c-interface, mostly documented I think.

> Looking at the source from git, it appears that some SWI packages such
> as sgml are present, and compile. From this I would infer that Yap's
> FLI is now the same as SWI's (yay!). However, whilst I can get sgml to
> compile, I can't get it to work (depending on the xml, it either fails
> or outputs "PL_handle_signals not implemented"), so I'm not sure what
> the status is.

The PL emulation is not complete yet. I expect some stuff would be missing.

I didn't test very hard, if you give me examples it will make my life easier.

Thanks!

Vitor

------------------------------------------------------------------------------
Enter the BlackBerry Developer Challenge
This is your chance to win up to $100,000 in prizes! For a limited time,
vendors submitting new applications to BlackBerry App World(TM) will have
the opportunity to enter the BlackBerry Developer Challenge. See full prize
details at: http://p.sf.net/sfu/Challenge
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Re: GMP support

2009-07-08T19:04:18Z

Hi Chris

Likely what happens is that you don't have a development installation
of gmp. You may be missing some include or library files. I'd suggest
checking if you're missing that.

In the worst case, what I did for the 64 bit version was to install
gmp from sources. It was pretty straightforward.

>> Note that Yap don't supports tabled evaluation for GMP terms.
>
> Good to know, thanks.
>

Hopefully, that will change :)

Cheer

------------------------------------------------------------------------------
Enter the BlackBerry Developer Challenge
This is your chance to win up to $100,000 in prizes! For a limited time,
vendors submitting new applications to BlackBerry App World(TM) will have
the opportunity to enter the BlackBerry Developer Challenge. See full prize
details at: http://p.sf.net/sfu/Challenge
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Re: GMP support

2009-07-08T18:54:40Z

On Jul 8, 2009, at 5:07 PM, Ricardo Rocha wrote:

>
> Hi Chris,
>
>> I build using this:
>>
>> ./configure --enable-tabling --with-gmp=/opt/local/
>
> Note that Yap don't supports tabled evaluation for GMP terms.

Good to know, thanks.

I tried configure without tabling, and I still have the same issue.
Any tips?

>
> Cheers,
> Ricardo Rocha
>
>

------------------------------------------------------------------------------
Enter the BlackBerry Developer Challenge
This is your chance to win up to $100,000 in prizes! For a limited time,
vendors submitting new applications to BlackBerry App World(TM) will have
the opportunity to enter the BlackBerry Developer Challenge. See full prize
details at: http://p.sf.net/sfu/Challenge
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

GMP support

2009-07-08T16:56:16Z

Any hints for building Yap with GMP support on OS X?

I build using this:

./configure --enable-tabling --with-gmp=/opt/local/

direct from the latest yap-6 git

output:

> ...
> checking for main in -lgmp... yes
> ...

I then do make and sudo make install

looks promising:

?- yap_flag(bounded,Y).
Y = false ? ;
no
?- yap_flag(min_integer,Y).
no

however:

?- X is 2**64, Y is X+1, Z is Y-X.
X = Y = 1.84467440737096e+19,
Z = 0.0 ?

I have found GMP in SWI to be most useful. See for example:

http://blipkit.wordpress.com/2009/05/19/swi-prolog-gmp-rocks/

Cheers
Chris

------------------------------------------------------------------------------
Enter the BlackBerry Developer Challenge
This is your chance to win up to $100,000 in prizes! For a limited time,
vendors submitting new applications to BlackBerry App World(TM) will have
the opportunity to enter the BlackBerry Developer Challenge. See full prize
details at: http://p.sf.net/sfu/Challenge
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Yap-6 docs and FLI

2009-07-08T16:02:44Z

Is there any documentation for yap-6 or details of changes,
particularly in the FLI?

Looking at the source from git, it appears that some SWI packages such
as sgml are present, and compile. From this I would infer that Yap's
FLI is now the same as SWI's (yay!). However, whilst I can get sgml to
compile, I can't get it to work (depending on the xml, it either fails
or outputs "PL_handle_signals not implemented"), so I'm not sure what
the status is.

------------------------------------------------------------------------------
Enter the BlackBerry Developer Challenge
This is your chance to win up to $100,000 in prizes! For a limited time,
vendors submitting new applications to BlackBerry App World(TM) will have
the opportunity to enter the BlackBerry Developer Challenge. See full prize
details at: http://p.sf.net/sfu/Challenge
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Re: Profiling programs

2009-07-01T10:17:23Z

Hi bernd

>> I wanted to use the tick profiler to see how slow my programs really
>> are.

I'm sure they're fast :)

>> The YAP docu says,
>> that :- profinit. will switch it on and :- profon. will start the
>> profiling.
>>

That works fine for me and needs no special flags, but Paulo is right,
I mostly been using yap-6. Can you please give it a try, I remember
Leopard has made some changes to the interface so I may have disabled
it in yap-5 Leopard.

>> Unfortunately, both times YAP answers No.
>> Do I have to configure YAP with some extra flags? Currently, I don't
>> give any.

No.

>> And if, which would it be? The docu is not very specific about that.
>>
>> I tried already
>> --enable-wam-profile
>> but YAP wouldn't compile (under Mac OS X, latest yap-5 from GIT).
>

The WAM profiler is really something that I use to check how many WAM
instructions were executed. It is unlikely to matter to you :)

Cheers

Vitor

>
> Current development is focused on the yap-6 git. I suggest you try
> this version instead.
>
> Cheers,
>
> Paulo
>
>
> -----------------------------------------------------------------
> Paulo Jorge Lopes de Moura, PhD
> Assistant Professor
> Dep. of Computer Science, University of Beira Interior
> 6201-001 Covilhã, Portugal
>
> Office 3.18 Ext. 3276
> Phone: +351 275319891 Fax: +351 275319899
> Email: <mailto:pmoura@...>
>
> Home page: <http://www.di.ubi.pt/~pmoura>
> Research: <http://logtalk.org/> Blog: <http://blog.logtalk.org/>
> -----------------------------------------------------------------
>
>
>
>
>
>
>
> ------------------------------------------------------------------------------
> _______________________________________________
> Yap-users mailing list
> Yap-users@...
> https://lists.sourceforge.net/lists/listinfo/yap-users
>

------------------------------------------------------------------------------
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Re: Generating absolute path

2009-07-01T10:14:28Z

Hi Bernd

It should exist, but it somehow disappeared when I was cleaning up the
file loading code.

I put it back where it is due in yap-6, and will transfer that to stable.

Thanks!

Vitor

PS: YAP will give you the name the system tells, which in NSF machines
or machines with symbolic links may be a bit of a surprise.

On Wed, Jun 24, 2009 at 2:44 PM, Bernd Gutmann<post@...> wrote:

> Hi.
>
> I need to find out the absolute path given a path, for instance
>
> ./myfile.pl ==>> /dir1/dir2/myfile.pl
> ../otherfile.pl ==>> /dir1/otherfile.pl
> ./folder/file42.txt ==>> /dir1/dir2/folder/file42.txt
> ...
>
> I looked in the documentation of YAP, and found this predicate:
>
> prolog_file_name(+Name,-FullPath )
> Unify FullPath with the absolute path YAP would use to consult ﬁle
> Name.
>
> However, YAP tells me that this predicate doesn't exist. And the
> documentation doesn't say that this predicate is in a library, so I
> assume it's built in and thus should be available.
> I also ran find on the YAP source folder, but no file except yap.tex/
> yap.pdf/yap.html contains the string "prolog_file_name".
>
> Here are my questions:
> Does prolog_file_name/2 really exist? If yes, will it do what I need?
> If no, is there another way to get what I need?
>
> I'm using the GIT version of Yap-5.1.4.
>
>
> Kind Regards
> Bernd
>
>
> -------------------------------------------------------------------------------
> Bernd Gutmann <Bernd.Gutmann@...>
> Dept. of Computer Science
> Katholieke Universiteit Leuven
> Phone: +32 16 32 7576
> Skype: kopoltra
> http://www.cs.kuleuven.be/~bernd
> -------------------------------------------------------------------------------
>
> Please avoid sending me Word or PowerPoint attachments.
> See http://www.gnu.org/philosophy/no-word-attachments.html
>
>
>
>
>
>
>
> ------------------------------------------------------------------------------
> _______________________________________________
> Yap-users mailing list
> Yap-users@...
> https://lists.sourceforge.net/lists/listinfo/yap-users
>

Re: Profiling programs

2009-06-30T08:10:19Z

On 2009/06/30, at 15:44, Bernd Gutmann wrote:

> I wanted to use the tick profiler to see how slow my programs really
> are.
> The YAP docu says,
> that :- profinit. will switch it on and :- profon. will start the
> profiling.
>
> Unfortunately, both times YAP answers No.
> Do I have to configure YAP with some extra flags? Currently, I don't
> give any.
> And if, which would it be? The docu is not very specific about that.
>
> I tried already
> --enable-wam-profile
> but YAP wouldn't compile (under Mac OS X, latest yap-5 from GIT).

Current development is focused on the yap-6 git. I suggest you try
this version instead.

Cheers,

Paulo

-----------------------------------------------------------------
Paulo Jorge Lopes de Moura, PhD
Assistant Professor
Dep. of Computer Science, University of Beira Interior
6201-001 Covilhã, Portugal

Office 3.18 Ext. 3276
Phone: +351 275319891 Fax: +351 275319899
Email: <mailto:pmoura@...>

Home page: <http://www.di.ubi.pt/~pmoura>
Research: <http://logtalk.org/> Blog: <http://blog.logtalk.org/>
-----------------------------------------------------------------

------------------------------------------------------------------------------
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Profiling programs

2009-06-30T07:44:23Z

Hi.

I wanted to use the tick profiler to see how slow my programs really
are.
The YAP docu says,
that :- profinit. will switch it on and :- profon. will start the
profiling.

Unfortunately, both times YAP answers No.
Do I have to configure YAP with some extra flags? Currently, I don't
give any.
And if, which would it be? The docu is not very specific about that.

I tried already
--enable-wam-profile
but YAP wouldn't compile (under Mac OS X, latest yap-5 from GIT).

Any ideas?
Bernd

------------------------------------------------------------------------------
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users