Nabble - Yap Prolog

Re: Reg Yap on solaris10

2009-11-26T13:13:50Z

Ramya

BTW, I recently did install YAP on a Solaris 10 and had some problems
with register optimisation. if you try --enable-debug-yap on the
configure script, performance will suffer a bit but it should work.
I'll try to fix that soon,

Cheers

Vitor

On Thu, Nov 26, 2009 at 4:51 PM, Vitor Santos Costa <vscosta@...> wrote:

> Hi Ramya
>
> What errors?
>
> Thanks
>
> Vitor
>
> On Thu, Nov 26, 2009 at 4:20 PM, Ramyasmitha Vucha
> <ramyasmitha.vucha@...> wrote:
>> Hi,
>>
>>
>>
>> Could you please let me know if YAP is supported on a Sparc server with
>> Solaris10 OS.
>>
>> I have downloaded Yap5.1.3 and trying to make but getting some errors.
>>
>> I am very much thankful to you if I could get the response soon as it's very
>> much urgent for me.
>>
>> Thank you for understanding.
>>
>> Thanks & Regards
>>
>> Ramya Smitha Vucha
>> Tata Consultancy Services
>> Mailto: ramyasmitha.vucha@...
>> Website: http://www.tcs.com
>> ____________________________________________
>> Experience certainty. IT Services
>> Business Solutions
>> Outsourcing
>> ____________________________________________
>>
>> =====-----=====-----=====
>> Notice: The information contained in this e-mail
>> message and/or attachments to it may contain
>> confidential or privileged information. If you are
>> not the intended recipient, any dissemination, use,
>> review, distribution, printing or copying of the
>> information contained in this e-mail message
>> and/or attachments to it are strictly prohibited. If
>> you have received this communication in error,
>> please notify us by reply e-mail or telephone and
>> immediately and permanently delete the message
>> and any attachments. Thank you
>>
>>
>>
>> ------------------------------------------------------------------------------
>> 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

Re: Reg Yap on solaris10

2009-11-26T08:51:01Z

Hi Ramya

What errors?

Thanks

Vitor

On Thu, Nov 26, 2009 at 4:20 PM, Ramyasmitha Vucha
<ramyasmitha.vucha@...> wrote:

> Hi,
>
>
>
> Could you please let me know if YAP is supported on a Sparc server with
> Solaris10 OS.
>
> I have downloaded Yap5.1.3 and trying to make but getting some errors.
>
> I am very much thankful to you if I could get the response soon as it's very
> much urgent for me.
>
> Thank you for understanding.
>
> Thanks & Regards
>
> Ramya Smitha Vucha
> Tata Consultancy Services
> Mailto: ramyasmitha.vucha@...
> Website: http://www.tcs.com
> ____________________________________________
> Experience certainty. IT Services
> Business Solutions
> Outsourcing
> ____________________________________________
>
> =====-----=====-----=====
> Notice: The information contained in this e-mail
> message and/or attachments to it may contain
> confidential or privileged information. If you are
> not the intended recipient, any dissemination, use,
> review, distribution, printing or copying of the
> information contained in this e-mail message
> and/or attachments to it are strictly prohibited. If
> you have received this communication in error,
> please notify us by reply e-mail or telephone and
> immediately and permanently delete the message
> and any attachments. Thank you
>
>
>
> ------------------------------------------------------------------------------
> 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
>
>

Reg Yap on solaris10

2009-11-26T08:20:31Z

Hi,

Could you please let me know if YAP is supported on a Sparc server with Solaris10 OS.

I have downloaded Yap5.1.3 and trying to make but getting some errors.

I am very much thankful to you if I could get the response soon as it's very much urgent for me.

Thank you for understanding.

Thanks & Regards

Ramya Smitha Vucha
Tata Consultancy Services
Mailto: ramyasmitha.vucha@...
Website: http://www.tcs.com
____________________________________________
Experience certainty. IT Services
Business Solutions
Outsourcing
____________________________________________

=====-----=====-----=====
Notice: The information contained in this e-mail
message and/or attachments to it may contain 
confidential or privileged information. If you are 
not the intended recipient, any dissemination, use, 
review, distribution, printing or copying of the 
information contained in this e-mail message 
and/or attachments to it are strictly prohibited. If 
you have received this communication in error, 
please notify us by reply e-mail or telephone and 
immediately and permanently delete the message 
and any attachments. Thank you

Re: yap-6 install on windows

2009-11-25T08:31:59Z

On 2009/11/25, at 16:12, Vitor Santos Costa wrote:

> Yes, the problem here is that Snow Leopard's gcc is 64 bits by
> default, but host still presents itself as i386, fooling my configure
> script :(

Snow Leopard ships with both 32 and 64 bits kernels. But the 64 bits kernel is the default one only in Xserves. On my MacBook Pro running 10.6.2 I get:

pmmbp:yap-6 pmoura$ uname -a
Darwin pmmbp.lan 10.2.0 Darwin Kernel Version 10.2.0: Tue Nov 3 10:37:10 PST 2009; root:xnu-1486.2.11~1/RELEASE_I386 i386

Python folks provide a configure patch that likely could also be used in YAP's configure script:

http://bugs.python.org/issue6802

Some more useful information can also be found here:

http://lists.apple.com/archives/darwin-dev/2009/Sep/msg00000.html

Hope this helps. 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/>
-----------------------------------------------------------------

------------------------------------------------------------------------------
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: immutability issue on windows

2009-11-25T08:26:24Z

Hi Vitor,

Yes, it is indeed pure MinGW and what I did was:

msys
cd /c/yap-6
mkdir arch
cd arch
../configure --prefix=/c/Progra~1/Eye
make
make install

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

Vitor Santos Costa <vscosta@...>

11/25/2009 05:13 PM

Please respond to
vsc@...

To	Jos De Roo/AMDUS/AGFA@AGFA
cc	yap-users@...
Subject	Re: [Yap-users] immutability issue on windows

Hi Jos

What setup are you using? It looks like pure MinGW, not from within cygwin?

Cheers

Vitor

On Wed, Nov 25, 2009 at 1:03 PM, <jos.deroo@...> wrote:
Thanks Vitor for tackling this issue in
http://gitorious.org/yap-git/mainline/commit/5e70ff47b3323f87ac1459d56550aa7e637c0e06
Now we get indeed that X is immutable in

C:\>yap -g "X = '../xx/yy', write(X), nl, catch(open(X,read,In),_,true), write(X), nl, halt"
% Restoring file C:/Program Files/Eye/lib/Yap/startup.yss YAP version 6.0.0
../xx/yy ../xx/yy % YAP execution halted

The make under MinGW is however still somewhat in trouble:
$ make -i install mkdir -p /c/Progra~1/Eye/bin mkdir -p /c/Progra~1/Eye/lib mkdir -p /c/Progra~1/Eye/lib/Yap mkdir -p /c/Progra~1/Eye/include/Yap /bin/install -c -m 755 yap.exe /c/Progra~1/Eye/bin/yap.exe /bin/install -c -m 755 yap.dll /c/Progra~1/Eye/bin/yap.dll /bin/install -c -m 755 libWYap.a /c/Progra~1/Eye/lib/Yap/libWYap.a /bin/install -c -m 755 startup.yss /c/Progra~1/Eye/lib/Yap/startup.yss mkdir -p /c/Progra~1/Eye/share/Yap mkdir -p /c/Progra~1/Eye/share/Yap/pl mkdir -p /c/Progra~1/Eye/share/Yap/swi for f in ../pl/arith.yap ../pl/arrays.yap ../pl/boot.yap ../pl/callcount.yap ../pl/checker.yap ../pl/chtypes.yap ../pl/consul t.yap ../pl/control.yap ../pl/corout.yap ../pl/debug.yap ../pl/depth_bound.yap ../pl/directives.yap ../pl/eam.yap ../pl/eval. yap ../pl/errors.yap ../pl/grammar.yap ../pl/ground.yap ../pl/hacks.yap ../pl/init.yap ../pl/listing.yap ../pl/messages.ya p ../pl/load_foreign.yap ../pl/modules.yap ../pl/preds.yap ../pl/profile.yap ../pl/protect.yap ../pl/setof.yap ../pl/signals. yap ../pl/sockets.yap ../pl/sort.yap ../pl/statistics.yap ../pl/strict_iso.yap ../pl/tabling.yap ../pl/threads.yap ../pl/udi. yap ../pl/utils.yap ../pl/yapor.yap ../pl/yio.yap; do /bin/install -c $f /c/Progra~1/Eye/share/Yap/pl; done /bin/install -c ../H/TermExt.h ../H/Atoms.h ../H/Tags_32bits.h ../H/Tags_32Ops.h ../H/Tags_32LowTag.h ../H/Tags_64bits.h ../H /Tags_24bits.h ../H/sshift.h ../H/Yap.h ../H/Yatom.h ../H/YapHeap.h ../H/Regs.h ../H/Yapproto.h ../H/absmi.h ../H/alloc.h .. /H/amidefs.h ../H/amiops.h ../H/arrays.h ../H/arith2.h ../H/attvar.h ../H/clause.h ../H/compile.h ../H/corout.h ../H/dlmalloc .h ../H/eval.h ../H/heapgc.h ../H/index.h ../H/iopreds.h ../H/rclause.h ../H/rheap.h ../H/threads.h ../H/tracer.h ../H/trim_t rail.h ../H/yapio.h ../BEAM/eam.h ../BEAM/eamamasm.h ../OPTYap/opt.config.h ../OPTYap/opt.proto.h ../OPTYap/opt.structs.h ../ OPTYap/opt.macros.h ../OPTYap/or.macros.h ../OPTYap/sbaamiops.h ../OPTYap/sbaunify.h ../OPTYap/tab.structs.h ../OPTYap/x86_lo cks.h ../OPTYap/sparc_locks.h ../OPTYap/mips_locks.h ../OPTYap/mips_locks_funcs.h ../OPTYap/alpha_locks.h ../OPTYap/alpha_loc ks_funcs.h ../OPTYap/pthread_locks.h ../H/cut_c.h ../H/iatoms.h ../H/ratoms.h ../H/tatoms.h ../MYDDAS/myddas.h ../MYDDAS/mydd as_structs.h ../MYDDAS/myddas_statistics.h ../MYDDAS/myddas_statistics_structs.h ../MYDDAS/myddas_wkb.h ../MYDDAS/myddas_wkb2 prolog.h /c/Progra~1/Eye/include/Yap for h in ../include/c_interface.h ../include/clause_list.h ../include/udi.h ../include/rtree_udi.h ../include/yap_structs.h . ./include/YapInterface.h ../include/SWI-Prolog.h ../include/SWI-Stream.h; do /bin/install -c $h /c/Progra~1/Eye/include/Yap; done /bin/install -c config.h /c/Progra~1/Eye/include/Yap/config.h /bin/install -c parms.h /c/Progra~1/Eye/include/Yap/parms.h (cd packages/PLStream; make install) make[1]: Entering directory `/c/yap-6/arch/packages/PLStream' /bin/install -c plstream.dll /c/Progra~1/Eye/lib/Yap make[1]: Leaving directory `/c/yap-6/arch/packages/PLStream' (cd packages/plunit; make install) make[1]: Entering directory `/c/yap-6/arch/packages/plunit' mkdir -p /c/Progra~1/Eye/share/Yap /bin/install -c -m 644 ../../../packages/plunit/plunit.pl../../../packages/plunit/test_wizard.pl../../../packages/plunit/test_cover.pl /c/Progra~1/Eye/share/Yap YAPSHAREDIR= YAPBOOTDIR=/pl YAPLIBDIR=/c/Progra~1/Eye/lib/Yap /c/Progra~1/Eye/bin/yap /c/Progra~1/Eye/lib/Yap/startup.yss -f none -g make -t halt
% Restoring file c:/Progra~1/Eye/lib/Yap/startup.yss
YAP version 6.0.0 % reconsulting c:/yap-6/pl/hacks.yap... The module $hacks is being redefined. Old file: c:\yap-6\pl\hacks.yap New file: c:/yap-6/pl/hacks.yap Do you really want to redefine it? (y or n)y % reconsulted c:/yap-6/pl/hacks.yap in module $hacks, 0 msec 2000 bytes % reconsulting c:/yap-6/pl/messages.yap... The module $messages is being redefined. Old file: c:\yap-6\pl\messages.yap New file: c:/yap-6/pl/messages.yap Do you really want to redefine it? (y or n)y yes no ?- ^Z make[1]: Leaving directory `/c/yap-6/arch/packages/plunit' ...
Besides that, make under MinGW but not under Ubuntu is also not happy with: (cd packages/swi-minisat2/C; make) make[1]: Entering directory `/c/yap-6/arch/packages/swi-minisat2/C' gcc -shared -Wl,--export-all-symbols ../../../yap.dll -o pl-minisat.dll Solver.o pl-minisat.o Solver.o:Solver.C:(.text+0x3bc8): undefined reference to `__gxx_personality_sj0' Solver.o:Solver.C:(.text+0x4c87): undefined reference to `std::ios_base::Init::Init()' Solver.o:Solver.C:(.text+0x4ca0): undefined reference to `std::ios_base::Init::~Init()' pl-minisat.o:pl-minisat.C:(.text+0x4): undefined reference to `__gxx_personality_sj0' pl-minisat.o:pl-minisat.C:(.text+0x57): undefined reference to `operator new(unsigned int)' pl-minisat.o:pl-minisat.C:(.text+0xb5): undefined reference to `operator delete(void*)' pl-minisat.o:pl-minisat.C:(.text+0xf4): undefined reference to `operator delete(void*)' pl-minisat.o:pl-minisat.C:(.text+0x2a7): undefined reference to `__gxx_personality_sj0' pl-minisat.o:pl-minisat.C:(.text+0x52c): undefined reference to `__gxx_personality_sj0' pl-minisat.o:pl-minisat.C:(.text+0x7ec): undefined reference to `__gxx_personality_sj0' collect2: ld returned 1 exit status make[1]: *** [pl-minisat.dll] Error 1 make[1]: Leaving directory `/c/yap-6/arch/packages/swi-minisat2/C' make: *** [all] Error 2

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

11/21/2009 06:32 PM

To	yap-users@...
cc
Subject	[Yap-users] immutability issue on windows

This is a small test showing that X is different before and after open/3 C:\>yap -g "X = '../xx/yy', write(X), nl, catch(open(X,read,In),_,true), write(X), nl, halt" % Restoring file c:/Progra~1/Eye/lib/Yap/startup.yss YAP version Yap-6.0.0 ../xx/yy ..\xx\yy % YAP execution halted This is fine on Ubuntu. Stangely enough, this leads to an % % % YAP OOOPS: likely bug in YAP, segmentation violation. % % Exiting .... in our n3_pcl/2 code in
http://eulersharp.svn.sourceforge.net/viewvc/eulersharp/trunk/2006/02swap/euler.yap?revision=3169&view=markup&sortby=date

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

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

Re: immutability issue on windows

2009-11-25T08:13:22Z

Hi Jos

What setup are you using? It looks like pure MinGW, not from within cygwin?

Cheers

Vitor

On Wed, Nov 25, 2009 at 1:03 PM, <jos.deroo@...> wrote:

Thanks Vitor for tackling this issue in
http://gitorious.org/yap-git/mainline/commit/5e70ff47b3323f87ac1459d56550aa7e637c0e06

Now we get indeed that X is immutable in

C:\>yap -g "X = '../xx/yy', write(X), nl, catch(open(X,read,In),_,true), write(X), nl, halt" % Restoring file C:/Program Files/Eye/lib/Yap/startup.yss YAP version 6.0.0 ../xx/yy ../xx/yy % YAP execution halted

The make under MinGW is however still somewhat in trouble:

$ make -i install mkdir -p /c/Progra~1/Eye/bin mkdir -p /c/Progra~1/Eye/lib mkdir -p /c/Progra~1/Eye/lib/Yap mkdir -p /c/Progra~1/Eye/include/Yap /bin/install -c -m 755 yap.exe /c/Progra~1/Eye/bin/yap.exe /bin/install -c -m 755 yap.dll /c/Progra~1/Eye/bin/yap.dll /bin/install -c -m 755 libWYap.a /c/Progra~1/Eye/lib/Yap/libWYap.a /bin/install -c -m 755 startup.yss /c/Progra~1/Eye/lib/Yap/startup.yss mkdir -p /c/Progra~1/Eye/share/Yap mkdir -p /c/Progra~1/Eye/share/Yap/pl mkdir -p /c/Progra~1/Eye/share/Yap/swi for f in ../pl/arith.yap ../pl/arrays.yap ../pl/boot.yap ../pl/callcount.yap ../pl/checker.yap ../pl/chtypes.yap ../pl/consul t.yap ../pl/control.yap ../pl/corout.yap ../pl/debug.yap ../pl/depth_bound.yap ../pl/directives.yap ../pl/eam.yap ../pl/eval. yap ../pl/errors.yap ../pl/grammar.yap ../pl/ground.yap ../pl/hacks.yap ../pl/init.yap ../pl/listing.yap ../pl/messages.ya p ../pl/load_foreign.yap ../pl/modules.yap ../pl/preds.yap ../pl/profile.yap ../pl/protect.yap ../pl/setof.yap ../pl/signals. yap ../pl/sockets.yap ../pl/sort.yap ../pl/statistics.yap ../pl/strict_iso.yap ../pl/tabling.yap ../pl/threads.yap ../pl/udi. yap ../pl/utils.yap ../pl/yapor.yap ../pl/yio.yap; do /bin/install -c $f /c/Progra~1/Eye/share/Yap/pl; done /bin/install -c ../H/TermExt.h ../H/Atoms.h ../H/Tags_32bits.h ../H/Tags_32Ops.h ../H/Tags_32LowTag.h ../H/Tags_64bits.h ../H /Tags_24bits.h ../H/sshift.h ../H/Yap.h ../H/Yatom.h ../H/YapHeap.h ../H/Regs.h ../H/Yapproto.h ../H/absmi.h ../H/alloc.h .. /H/amidefs.h ../H/amiops.h ../H/arrays.h ../H/arith2.h ../H/attvar.h ../H/clause.h ../H/compile.h ../H/corout.h ../H/dlmalloc .h ../H/eval.h ../H/heapgc.h ../H/index.h ../H/iopreds.h ../H/rclause.h ../H/rheap.h ../H/threads.h ../H/tracer.h ../H/trim_t rail.h ../H/yapio.h ../BEAM/eam.h ../BEAM/eamamasm.h ../OPTYap/opt.config.h ../OPTYap/opt.proto.h ../OPTYap/opt.structs.h ../ OPTYap/opt.macros.h ../OPTYap/or.macros.h ../OPTYap/sbaamiops.h ../OPTYap/sbaunify.h ../OPTYap/tab.structs.h ../OPTYap/x86_lo cks.h ../OPTYap/sparc_locks.h ../OPTYap/mips_locks.h ../OPTYap/mips_locks_funcs.h ../OPTYap/alpha_locks.h ../OPTYap/alpha_loc ks_funcs.h ../OPTYap/pthread_locks.h ../H/cut_c.h ../H/iatoms.h ../H/ratoms.h ../H/tatoms.h ../MYDDAS/myddas.h ../MYDDAS/mydd as_structs.h ../MYDDAS/myddas_statistics.h ../MYDDAS/myddas_statistics_structs.h ../MYDDAS/myddas_wkb.h ../MYDDAS/myddas_wkb2 prolog.h /c/Progra~1/Eye/include/Yap for h in ../include/c_interface.h ../include/clause_list.h ../include/udi.h ../include/rtree_udi.h ../include/yap_structs.h . ./include/YapInterface.h ../include/SWI-Prolog.h ../include/SWI-Stream.h; do /bin/install -c $h /c/Progra~1/Eye/include/Yap; done /bin/install -c config.h /c/Progra~1/Eye/include/Yap/config.h /bin/install -c parms.h /c/Progra~1/Eye/include/Yap/parms.h (cd packages/PLStream; make install) make[1]: Entering directory `/c/yap-6/arch/packages/PLStream' /bin/install -c plstream.dll /c/Progra~1/Eye/lib/Yap make[1]: Leaving directory `/c/yap-6/arch/packages/PLStream' (cd packages/plunit; make install) make[1]: Entering directory `/c/yap-6/arch/packages/plunit' mkdir -p /c/Progra~1/Eye/share/Yap /bin/install -c -m 644 ../../../packages/plunit/plunit.pl ../../../packages/plunit/test_wizard.pl ../../../packages/plunit/te st_cover.pl /c/Progra~1/Eye/share/Yap YAPSHAREDIR= YAPBOOTDIR=/pl YAPLIBDIR=/c/Progra~1/Eye/lib/Yap /c/Progra~1/Eye/bin/yap /c/Progra~1/Eye/lib/Yap/startup.yss -f none -g make -t halt % Restoring file c:/Progra~1/Eye/lib/Yap/startup.yss YAP version 6.0.0 % reconsulting c:/yap-6/pl/hacks.yap... The module $hacks is being redefined. Old file: c:\yap-6\pl\hacks.yap New file: c:/yap-6/pl/hacks.yap Do you really want to redefine it? (y or n)y % reconsulted c:/yap-6/pl/hacks.yap in module $hacks, 0 msec 2000 bytes % reconsulting c:/yap-6/pl/messages.yap... The module $messages is being redefined. Old file: c:\yap-6\pl\messages.yap New file: c:/yap-6/pl/messages.yap Do you really want to redefine it? (y or n)y yes no ?- ^Z make[1]: Leaving directory `/c/yap-6/arch/packages/plunit' ...
Besides that, make under MinGW but not under Ubuntu is also not happy with: (cd packages/swi-minisat2/C; make) make[1]: Entering directory `/c/yap-6/arch/packages/swi-minisat2/C' gcc -shared -Wl,--export-all-symbols ../../../yap.dll -o pl-minisat.dll Solver.o pl-minisat.o Solver.o:Solver.C:(.text+0x3bc8): undefined reference to `__gxx_personality_sj0' Solver.o:Solver.C:(.text+0x4c87): undefined reference to `std::ios_base::Init::Init()' Solver.o:Solver.C:(.text+0x4ca0): undefined reference to `std::ios_base::Init::~Init()' pl-minisat.o:pl-minisat.C:(.text+0x4): undefined reference to `__gxx_personality_sj0' pl-minisat.o:pl-minisat.C:(.text+0x57): undefined reference to `operator new(unsigned int)' pl-minisat.o:pl-minisat.C:(.text+0xb5): undefined reference to `operator delete(void*)' pl-minisat.o:pl-minisat.C:(.text+0xf4): undefined reference to `operator delete(void*)' pl-minisat.o:pl-minisat.C:(.text+0x2a7): undefined reference to `__gxx_personality_sj0' pl-minisat.o:pl-minisat.C:(.text+0x52c): undefined reference to `__gxx_personality_sj0' pl-minisat.o:pl-minisat.C:(.text+0x7ec): undefined reference to `__gxx_personality_sj0' collect2: ld returned 1 exit status make[1]: *** [pl-minisat.dll] Error 1 make[1]: Leaving directory `/c/yap-6/arch/packages/swi-minisat2/C' make: *** [all] Error 2

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
11/21/2009 06:32 PM

To
yap-users@...

cc

Subject
[Yap-users] immutability issue on windows

This is a small test showing that X is different before and after open/3
C:\>yap -g "X = '../xx/yy', write(X), nl, catch(open(X,read,In),_,true), write(X), nl, halt" % Restoring file c:/Progra~1/Eye/lib/Yap/startup.yss YAP version Yap-6.0.0 ../xx/yy ..\xx\yy % YAP execution halted
This is fine on Ubuntu.
Stangely enough, this leads to an
% % % YAP OOOPS: likely bug in YAP, segmentation violation. % %
Exiting ....
in our n3_pcl/2 code in
http://eulersharp.svn.sourceforge.net/viewvc/eulersharp/trunk/2006/02swap/euler.yap?revision=3169&view=markup&sortby=date

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

Re: yap-6 install on windows

2009-11-25T08:12:08Z

Yes, the problem here is that Snow Leopard's gcc is 64 bits by
default, but host still presents itself as i386, fooling my configure
script :(

Cheers

Vitor

On Wed, Nov 25, 2009 at 3:28 PM, Paulo Moura <pmoura@...> wrote:

>
> On 2009/11/25, at 15:22, Domenico Corapi wrote:
>
>> Hi all,
>>
>> there seem to be compilation issues also on mac.
>> This is what I get after a make
>>
>> gcc -fstrict-aliasing -freorder-blocks -fsched-interblock -Wall -Wstrict-aliasing=2 -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I../H -I../OPTYap -I../BEAM -I../packages/MYDDAS -I../include ../console/yap.c -o yap.o
>> gcc -fstrict-aliasing -freorder-blocks -fsched-interblock -Wall -Wstrict-aliasing=2 -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I../H -I../OPTYap -I../BEAM -I../packages/MYDDAS ../C/agc.c -o agc.o
>> gcc -fstrict-aliasing -freorder-blocks -fsched-interblock -Wall -Wstrict-aliasing=2 -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=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:616: error: ‘P1REG’ undeclared (first use in this function)
>> ../C/absmi.c:616: error: (Each undeclared identifier is reported only once
>> ../C/absmi.c:616: error: for each function it appears in.)
>>
>> I am running Snow Leopard 10.6.1
>> and the following gcc version
>> i686-apple-darwin10-gcc-4.2.1 (GCC) 4.2.1 (Apple Inc. build 5646) (dot 1)
>
> Same probelm here but Vítor already provided me with an interim solution: after running "configure", do a global search on your compilation directory for "-DBP_FREE", deleting this compilation option. After that, running "make" should succeed.
>
> Best regards,
>
> 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/>
> -----------------------------------------------------------------
>
>
>
>
>
>
>
>
> ------------------------------------------------------------------------------
> 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 install on windows

2009-11-25T07:28:39Z

On 2009/11/25, at 15:22, Domenico Corapi wrote:

> Hi all,
>
> there seem to be compilation issues also on mac.
> This is what I get after a make
>
> gcc -fstrict-aliasing -freorder-blocks -fsched-interblock -Wall -Wstrict-aliasing=2 -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I../H -I../OPTYap -I../BEAM -I../packages/MYDDAS -I../include ../console/yap.c -o yap.o
> gcc -fstrict-aliasing -freorder-blocks -fsched-interblock -Wall -Wstrict-aliasing=2 -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I../H -I../OPTYap -I../BEAM -I../packages/MYDDAS ../C/agc.c -o agc.o
> gcc -fstrict-aliasing -freorder-blocks -fsched-interblock -Wall -Wstrict-aliasing=2 -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=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:616: error: ‘P1REG’ undeclared (first use in this function)
> ../C/absmi.c:616: error: (Each undeclared identifier is reported only once
> ../C/absmi.c:616: error: for each function it appears in.)
>
> I am running Snow Leopard 10.6.1
> and the following gcc version
> i686-apple-darwin10-gcc-4.2.1 (GCC) 4.2.1 (Apple Inc. build 5646) (dot 1)

Same probelm here but Vítor already provided me with an interim solution: after running "configure", do a global search on your compilation directory for "-DBP_FREE", deleting this compilation option. After that, running "make" should succeed.

Best regards,

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

------------------------------------------------------------------------------
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 install on windows

2009-11-25T07:22:25Z

Hi all,

there seem to be compilation issues also on mac.

This is what I get after a make

gcc -fstrict-aliasing -freorder-blocks -fsched-interblock -Wall -Wstrict-aliasing=2 -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I../H -I../OPTYap -I../BEAM -I../packages/MYDDAS -I../include ../console/yap.c -o yap.o

../C/absmi.c: In function ‘Yap_absmi’:

../C/absmi.c:616: error: ‘P1REG’ undeclared (first use in this function)

../C/absmi.c:616: error: (Each undeclared identifier is reported only once

../C/absmi.c:616: error: for each function it appears in.)

I am running Snow Leopard 10.6.1

and the following gcc version

i686-apple-darwin10-gcc-4.2.1 (GCC) 4.2.1 (Apple Inc. build 5646) (dot 1)

Thanks,

Domenico

On Wed, Nov 18, 2009 at 11:42 PM, Vitor Santos Costa <vscosta@...> wrote:

Hi Dimitar

I have just fixed two problems with the WIN32 version:

- it was not compiling minisat . This was partly because it is
written in C++, and partly because of paths.
- WIN7 has a different way to allocate space than XP. This caused crashes.

Did this help?

Sorry for the delay

Vitor

On Fri, Nov 13, 2009 at 7:15 AM, Dimitar Shterionov

<dimitarsh1@...> wrote:
> Hi, thanks for the advice, but unfortunately it didn't work.
> At the end of the make when it says "make: *** [all] Error 2", just
> before that there are some messages:
> "gcc -mno-cygwin -shared -Wl, --export-all-symbols ../../yap.dll -o
> pl-minisat.dll Solver.o pl-minisat.o
> gcc: ../../yap.dll: No such file or directory
> make[1]: *** [pl-minisat.dll] Error 1
> make[1]: Leaving directory
> '/home/Administrator/yap-6/cyg/packages/swi-minisat2/C' "
> and after that is the "make: *** [all] Error 2".
>
> I hope this can somehow, help for solving the problem.
>
> And some other thing - when the make starts it says /bin/sh: cmp:
> command not found
>
> Bye for now, and thanks for all.
>
> On Fri, Nov 13, 2009 at 12:42 AM, Vitor Santos Costa <vscosta@...> wrote:
>> Hi Dimitar
>>
>> The minisat interface was just plugged in, I'll see why it breaks under WIN32.
>>
>> The restore bug looks like the same bug Jose Santos mentioned to me.
>> An workaround for now may be to try configuring YAP with the option
>>
>> --enable-use-malloc=yes
>>
>> Please tell me if that works for you, or if it still breaks.
>>
>> Thanks
>>
>> Vitor
>>
>> On Wed, Nov 11, 2009 at 7:31 PM, Dimitar Shterionov
>> <dimitarsh1@...> wrote:
>>> I have the cygwin and after I got the yap-6 by git clone
>>> git://yap.dcc.fc.up.pt/yap-6 I run the steps in the installation
>>> tutorial but I received some errors which I don't have an idea how to
>>> deal with. So the result from the ../configure
>>> --enable-coroutining=yes was Yes (this was the final print in the
>>> console). After I run the make I got the message
>>> make: *** [all] Error 2 and a bit higher there was a message make[1]:
>>> *** [pl-minisat.dll] Error 1
>>>
>>> After that I tried the ./yap command and the system ran. I was able to
>>> do commands like assert and basic queries. But when I had the make
>>> install command I got:
>>>
>>> % Restoring file C:/Yap/lib/Yap/startup.yss
>>> %
>>> %
>>> % YAP OOOPS: likely bug in YAP, segmentation violation.
>>> %
>>> %
>>>
>>> Exiting ....
>>> make[1]: *** [install] Error 1
>>> make[1]: Leaving directory '/home/Administrator/yap-6/arch/packages/sgml'
>>> make: *** [install_win32] Error 2
>>>
>>> My system is Windows 7 x64.
>>>
>>> So if you could tell me what should I do I would be very thankful.
>>> Thanks in advance, have a nice day.
>>>
>>> ------------------------------------------------------------------------------
>>> 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

Re: immutability issue on windows

2009-11-25T05:03:17Z

Thanks Vitor for tackling this issue in
http://gitorious.org/yap-git/mainline/commit/5e70ff47b3323f87ac1459d56550aa7e637c0e06

Now we get indeed that X is immutable in

C:\>yap -g "X = '../xx/yy', write(X), nl, catch(open(X,read,In),_,true), write(X), nl, halt" % Restoring file C:/Program Files/Eye/lib/Yap/startup.yss YAP version 6.0.0 ../xx/yy ../xx/yy % YAP execution halted

The make under MinGW is however still somewhat in trouble:

$ make -i install mkdir -p /c/Progra~1/Eye/bin mkdir -p /c/Progra~1/Eye/lib mkdir -p /c/Progra~1/Eye/lib/Yap mkdir -p /c/Progra~1/Eye/include/Yap /bin/install -c -m 755 yap.exe /c/Progra~1/Eye/bin/yap.exe /bin/install -c -m 755 yap.dll /c/Progra~1/Eye/bin/yap.dll /bin/install -c -m 755 libWYap.a /c/Progra~1/Eye/lib/Yap/libWYap.a /bin/install -c -m 755 startup.yss /c/Progra~1/Eye/lib/Yap/startup.yss mkdir -p /c/Progra~1/Eye/share/Yap mkdir -p /c/Progra~1/Eye/share/Yap/pl mkdir -p /c/Progra~1/Eye/share/Yap/swi for f in ../pl/arith.yap ../pl/arrays.yap ../pl/boot.yap ../pl/callcount.yap ../pl/checker.yap ../pl/chtypes.yap ../pl/consul t.yap ../pl/control.yap ../pl/corout.yap ../pl/debug.yap ../pl/depth_bound.yap ../pl/directives.yap ../pl/eam.yap ../pl/eval. yap ../pl/errors.yap ../pl/grammar.yap ../pl/ground.yap ../pl/hacks.yap ../pl/init.yap ../pl/listing.yap ../pl/messages.ya p ../pl/load_foreign.yap ../pl/modules.yap ../pl/preds.yap ../pl/profile.yap ../pl/protect.yap ../pl/setof.yap ../pl/signals. yap ../pl/sockets.yap ../pl/sort.yap ../pl/statistics.yap ../pl/strict_iso.yap ../pl/tabling.yap ../pl/threads.yap ../pl/udi. yap ../pl/utils.yap ../pl/yapor.yap ../pl/yio.yap; do /bin/install -c $f /c/Progra~1/Eye/share/Yap/pl; done /bin/install -c ../H/TermExt.h ../H/Atoms.h ../H/Tags_32bits.h ../H/Tags_32Ops.h ../H/Tags_32LowTag.h ../H/Tags_64bits.h ../H /Tags_24bits.h ../H/sshift.h ../H/Yap.h ../H/Yatom.h ../H/YapHeap.h ../H/Regs.h ../H/Yapproto.h ../H/absmi.h ../H/alloc.h .. /H/amidefs.h ../H/amiops.h ../H/arrays.h ../H/arith2.h ../H/attvar.h ../H/clause.h ../H/compile.h ../H/corout.h ../H/dlmalloc .h ../H/eval.h ../H/heapgc.h ../H/index.h ../H/iopreds.h ../H/rclause.h ../H/rheap.h ../H/threads.h ../H/tracer.h ../H/trim_t rail.h ../H/yapio.h ../BEAM/eam.h ../BEAM/eamamasm.h ../OPTYap/opt.config.h ../OPTYap/opt.proto.h ../OPTYap/opt.structs.h ../ OPTYap/opt.macros.h ../OPTYap/or.macros.h ../OPTYap/sbaamiops.h ../OPTYap/sbaunify.h ../OPTYap/tab.structs.h ../OPTYap/x86_lo cks.h ../OPTYap/sparc_locks.h ../OPTYap/mips_locks.h ../OPTYap/mips_locks_funcs.h ../OPTYap/alpha_locks.h ../OPTYap/alpha_loc ks_funcs.h ../OPTYap/pthread_locks.h ../H/cut_c.h ../H/iatoms.h ../H/ratoms.h ../H/tatoms.h ../MYDDAS/myddas.h ../MYDDAS/mydd as_structs.h ../MYDDAS/myddas_statistics.h ../MYDDAS/myddas_statistics_structs.h ../MYDDAS/myddas_wkb.h ../MYDDAS/myddas_wkb2 prolog.h /c/Progra~1/Eye/include/Yap for h in ../include/c_interface.h ../include/clause_list.h ../include/udi.h ../include/rtree_udi.h ../include/yap_structs.h . ./include/YapInterface.h ../include/SWI-Prolog.h ../include/SWI-Stream.h; do /bin/install -c $h /c/Progra~1/Eye/include/Yap; done /bin/install -c config.h /c/Progra~1/Eye/include/Yap/config.h /bin/install -c parms.h /c/Progra~1/Eye/include/Yap/parms.h (cd packages/PLStream; make install) make[1]: Entering directory `/c/yap-6/arch/packages/PLStream' /bin/install -c plstream.dll /c/Progra~1/Eye/lib/Yap make[1]: Leaving directory `/c/yap-6/arch/packages/PLStream' (cd packages/plunit; make install) make[1]: Entering directory `/c/yap-6/arch/packages/plunit' mkdir -p /c/Progra~1/Eye/share/Yap /bin/install -c -m 644 ../../../packages/plunit/plunit.pl ../../../packages/plunit/test_wizard.pl ../../../packages/plunit/te st_cover.pl /c/Progra~1/Eye/share/Yap YAPSHAREDIR= YAPBOOTDIR=/pl YAPLIBDIR=/c/Progra~1/Eye/lib/Yap /c/Progra~1/Eye/bin/yap /c/Progra~1/Eye/lib/Yap/startup.yss -f none -g make -t halt % Restoring file c:/Progra~1/Eye/lib/Yap/startup.yss YAP version 6.0.0 % reconsulting c:/yap-6/pl/hacks.yap... The module $hacks is being redefined. Old file: c:\yap-6\pl\hacks.yap New file: c:/yap-6/pl/hacks.yap Do you really want to redefine it? (y or n)y % reconsulted c:/yap-6/pl/hacks.yap in module $hacks, 0 msec 2000 bytes % reconsulting c:/yap-6/pl/messages.yap... The module $messages is being redefined. Old file: c:\yap-6\pl\messages.yap New file: c:/yap-6/pl/messages.yap Do you really want to redefine it? (y or n)y yes no ?- ^Z make[1]: Leaving directory `/c/yap-6/arch/packages/plunit' ...
Besides that, make under MinGW but not under Ubuntu is also not happy with: (cd packages/swi-minisat2/C; make) make[1]: Entering directory `/c/yap-6/arch/packages/swi-minisat2/C' gcc -shared -Wl,--export-all-symbols ../../../yap.dll -o pl-minisat.dll Solver.o pl-minisat.o Solver.o:Solver.C:(.text+0x3bc8): undefined reference to `__gxx_personality_sj0' Solver.o:Solver.C:(.text+0x4c87): undefined reference to `std::ios_base::Init::Init()' Solver.o:Solver.C:(.text+0x4ca0): undefined reference to `std::ios_base::Init::~Init()' pl-minisat.o:pl-minisat.C:(.text+0x4): undefined reference to `__gxx_personality_sj0' pl-minisat.o:pl-minisat.C:(.text+0x57): undefined reference to `operator new(unsigned int)' pl-minisat.o:pl-minisat.C:(.text+0xb5): undefined reference to `operator delete(void*)' pl-minisat.o:pl-minisat.C:(.text+0xf4): undefined reference to `operator delete(void*)' pl-minisat.o:pl-minisat.C:(.text+0x2a7): undefined reference to `__gxx_personality_sj0' pl-minisat.o:pl-minisat.C:(.text+0x52c): undefined reference to `__gxx_personality_sj0' pl-minisat.o:pl-minisat.C:(.text+0x7ec): undefined reference to `__gxx_personality_sj0' collect2: ld returned 1 exit status make[1]: *** [pl-minisat.dll] Error 1 make[1]: Leaving directory `/c/yap-6/arch/packages/swi-minisat2/C' make: *** [all] Error 2

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

11/21/2009 06:32 PM

To	yap-users@...
cc
Subject	[Yap-users] immutability issue on windows

This is a small test showing that X is different before and after open/3
C:\>yap -g "X = '../xx/yy', write(X), nl, catch(open(X,read,In),_,true), write(X), nl, halt" % Restoring file c:/Progra~1/Eye/lib/Yap/startup.yss YAP version Yap-6.0.0 ../xx/yy ..\xx\yy % YAP execution halted
This is fine on Ubuntu.
Stangely enough, this leads to an
% % % YAP OOOPS: likely bug in YAP, segmentation violation. % %
Exiting ....
in our n3_pcl/2 code in
http://eulersharp.svn.sourceforge.net/viewvc/eulersharp/trunk/2006/02swap/euler.yap?revision=3169&view=markup&sortby=date

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

Re: Problems compiling YAP 6.0.0 (Git version from 23.11.09) under 64 bit linux

2009-11-23T06:18:52Z

Hi Vitor.

Worked like a charm.
Thanks for your quick help.

Kind Regards
Bernd

On 23.11.2009, at 14:53, Vitor Santos Costa wrote:

>
> Hi Bernd
>
> It looks like in your Ubuntu LOW_PROF code requires <stdio.h>
> included. But not in mine???
>
> Anyway, I made a small patch to handle this, compiling should now work
> for you.
>
> I hope :)
>
> Cheers
>
> Vitor

Re: Problems compiling YAP 6.0.0 (Git version from 23.11.09) under 64 bit linux

2009-11-23T05:53:36Z

Hi Bernd

It looks like in your Ubuntu LOW_PROF code requires <stdio.h>
included. But not in mine???

Anyway, I made a small patch to handle this, compiling should now work
for you.

I hope :)

Cheers

Vitor

------------------------------------------------------------------------------
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: Problems compiling YAP 6.0.0 (Git version from 23.11.09) under 64 bit linux

2009-11-23T03:34:33Z

Hi Vitor.

It's a fresh checkout without files from previous compilations/
configure runs.

I attached the generated Makefile.

Thanks for your help.
Bernd

On 23.11.2009, at 12:21, Vitor Santos Costa wrote:

>
> Hi Bernd
>
> That is strange, I just tried compiling the git version and it
> does compile fine.
>
> Did you try cleaning up the directory first? Sometimes you get old
> files mixed with new ones.
>
> Thanks!
>
> Vitor

Makefile (24K) Download Attachment

Re: Problems compiling YAP 6.0.0 (Git version from 23.11.09) under 64 bit linux

2009-11-23T03:21:02Z

Hi Bernd

That is strange, I just tried compiling the git version and it
does compile fine.

Did you try cleaning up the directory first? Sometimes you get old
files mixed with new ones.

Thanks!

Vitor

------------------------------------------------------------------------------
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: Problems compiling YAP 6.0.0 (Git version from 23.11.09) under 64 bit linux

2009-11-23T03:04:16Z

Hi Bernd,
probably there is an error in the Makefile. It seems that some type
declarations are not included in the compilation phase.

Please, send us the Makefile

NDM

Bernd Gutmann ha scritto:

> Hi.
>
> I want to compiler YAP-6 under a 64-bit linux
>
> ###########################
> bernd@trantor:~/yap-6> cat /proc/version
> Linux version 2.6.24-25-generic (buildd@crested) (gcc version 4.2.4
> (Ubuntu 4.2.4-1ubuntu3)) #1 SMP Tue Oct 20 06:49:12 UTC 2009
> ###########################
>
>
> I configure YAPt using
> ###########################
> bernd@trantor:~/yap-6>./configure --prefix=`pwd` --exec-prefix=`pwd`
> ###########################
> which runs through without any error.
>
> Calling make gives the following error
> ###########################
> bernd@trantor:~/yap-6> make
> gcc -c -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-
> prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -
> DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./packages/MYDDAS -I./
> include ./console/yap.c -o yap.o
> gcc -c -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-
> prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=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/YapHeap.h:223,
> from ./H/Yatom.h:1394,
> from ./H/clause.h:18,
> from ./H/absmi.h:142,
> from C/agc.c:22:
> ./H/hstruct.h:321: error: expected specifier-qualifier-list before
> ‘FILE’
> In file included from C/agc.c:185:
> ./H/rheap.h: In function ‘RestoreForeignCode’:
> ./H/rheap.h:925: error: ‘all_heap_codes’ has no member named
> ‘foreign_code_loaded’
> ./H/rheap.h:927: error: ‘all_heap_codes’ has no member named
> ‘foreign_code_loaded’
> ./H/rheap.h:928: error: ‘all_heap_codes’ has no member named
> ‘foreign_code_loaded’
> ./H/rheap.h:928: error: ‘all_heap_codes’ has no member named
> ‘foreign_code_loaded’
> ./H/rheap.h:929: error: ‘all_heap_codes’ has no member named
> ‘foreign_code_loaded’
> make: *** [agc.o] Error 1
> bernd@trantor:~/yap-6>
> ###########################
>
> Did anybody have similar problems and can give me a hint
>
> BTW YAP 5.1.3 (The version downloadable from here http://www.dcc.fc.up.pt/~vsc/Yap/current/Yap-5.1.3.tar.gz
> ) compiles fine.
>
> 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
>
>
> ------------------------------------------------------------------------------
> 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
>

--
-oo------------------------------------------------------------
Nicola Di Mauro, Ph.D. http://www.di.uniba.it/~ndm/
Department of Computer Science - University of Bari "Aldo Moro"
Via Orabona, 4 - 70126 Bari, Italy Phone: +39 080 544 2297
--
Per favore non mandatemi allegati in Word o PowerPoint.
http://www.gnu.org/philosophy/no-word-attachments.html

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

Problems compiling YAP 6.0.0 (Git version from 23.11.09) under 64 bit linux

2009-11-23T01:42:46Z

Hi.

I want to compiler YAP-6 under a 64-bit linux

###########################
bernd@trantor:~/yap-6> cat /proc/version
Linux version 2.6.24-25-generic (buildd@crested) (gcc version 4.2.4
(Ubuntu 4.2.4-1ubuntu3)) #1 SMP Tue Oct 20 06:49:12 UTC 2009
###########################

I configure YAPt using
###########################
bernd@trantor:~/yap-6>./configure --prefix=`pwd` --exec-prefix=`pwd`
###########################
which runs through without any error.

Calling make gives the following error
###########################
bernd@trantor:~/yap-6> make
gcc -c -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-
prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -
DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./packages/MYDDAS -I./
include ./console/yap.c -o yap.o
gcc -c -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-
prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=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/YapHeap.h:223,
from ./H/Yatom.h:1394,
from ./H/clause.h:18,
from ./H/absmi.h:142,
from C/agc.c:22:
./H/hstruct.h:321: error: expected specifier-qualifier-list before
‘FILE’
In file included from C/agc.c:185:
./H/rheap.h: In function ‘RestoreForeignCode’:
./H/rheap.h:925: error: ‘all_heap_codes’ has no member named
‘foreign_code_loaded’
./H/rheap.h:927: error: ‘all_heap_codes’ has no member named
‘foreign_code_loaded’
./H/rheap.h:928: error: ‘all_heap_codes’ has no member named
‘foreign_code_loaded’
./H/rheap.h:928: error: ‘all_heap_codes’ has no member named
‘foreign_code_loaded’
./H/rheap.h:929: error: ‘all_heap_codes’ has no member named
‘foreign_code_loaded’
make: *** [agc.o] Error 1
bernd@trantor:~/yap-6>
###########################

Did anybody have similar problems and can give me a hint

BTW YAP 5.1.3 (The version downloadable from here http://www.dcc.fc.up.pt/~vsc/Yap/current/Yap-5.1.3.tar.gz
) compiles fine.

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

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

immutability issue on windows

2009-11-21T09:32:30Z

Re: Problem Installing Yap

2009-11-18T16:06:14Z

Hi

Keri is right, the real problem is that I really don't have enough
resources to maintain two branches of YAP. The good news is that YAP-6
is getting much more stable, at least for me :)

Cheers

Vitor

On Tue, Nov 17, 2009 at 7:06 AM, Keri Harris <keri@...> wrote:

> On Tuesday 17 November 2009 02:59:57 Airo Miranda wrote:
>> I get the same error from the previous message:
>>
>> n function ‘open’,
>> inlined from ‘ExtendWorkSpace’ at ./C/alloc.c:945:
>> /usr/include/bits/fcntl2.h:51: error: call to ‘__open_missing_mode’
>> declared with attribute error: open with O_CREAT in second argument needs
>> 3 arguments make: ** [alloc.o] Erro 1
>
> The error you're hitting is due to the Ubuntu version of the GCC compiler
> including a feature called FORTIFY_SOURCE. (This feature enables detection and
> prevention of buffer overflows).
>
> The latest version of yap should compile ok; it looks like you're still compiling
> the -5.1.3 version of C/alloc.c. (The exact error you're experiencing was
> fixed ~11 months ago [1]).
>
> If you're determined to use -5.1.3 then you could apply the following patch. (taken from [2])
>
> #! /bin/sh /usr/share/dpatch/dpatch-run
> ## 04_gcc_4.3.dpatch by <dktrkranz@...>
> ## DP: Fix FTBFS with Ubuntu toolchain
>
> @DPATCH@
> diff -urNad yap-5.1.1~/C/alloc.c yap-5.1.1/C/alloc.c
> --- yap-5.1.1~/C/alloc.c 2006-03-24 18:15:18.000000000 +0100
> +++ yap-5.1.1/C/alloc.c 2008-07-09 22:55:34.000000000 +0200
> @@ -796,7 +796,7 @@
> itos(getpid(), &file[12]);
> #endif /* HAVE_TMPNAM */
> #endif /* HAVE_MKSTEMP */
> - fd = open(file, O_CREAT|O_RDWR);
> + fd = open(file, O_CREAT|O_RDWR, 0644);
> if (fd < 0) {
> Yap_Error(FATAL_ERROR, TermNil, "mmap could not open %s", file);
> return NULL;
> @@ -909,7 +909,7 @@
> itos(getpid(), &file[12]);
> #endif /* HAVE_TMPNAM */
> #endif /* HAVE_MKSTEMP */
> - fd = open(file, O_CREAT|O_RDWR);
> + fd = open(file, O_CREAT|O_RDWR, 0644);
> if (fd < 0) {
> Yap_ErrorMessage = Yap_ErrorSay;
> snprintf4(Yap_ErrorMessage, MAX_ERROR_MSG_SIZE,
>
> [1] http://gitorious.org/yap-git/mainline/commit/58d444288365b0db6ea8292f4151771d23f6d192
> [2] http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/
>
>
> ------------------------------------------------------------------------------
> 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 and Visual C++

2009-11-18T15:47:59Z

Hi Cristiano

On Fri, Nov 13, 2009 at 1:14 PM, Cristiano Pitangui <cristiano_pitangui@...> wrote:

Hello Victor,

thanks for your answer. It worked using:

#if defined(__STDC__) || defined(_MSC_VER)

Patch included.

However, I still having problems. This time the errors messages were:

LNK2019: unresolved external symbol _YAP_RestartGoal referenced in function _main

LNK2019: unresolved external symbol _YAP_RunGoal referenced in function _main
LNK2019: unresolved external symbol _YAP_MkAtomTerm referenced in function _main
LNK2019: unresolved external symbol _YAP_LookupAtom referenced in function _main
LNK2019: unresolved external symbol _YAP_FastInit referenced in function _main

It looks like you are not including yap.dll in your project.

which are related to the linker. This might be some problem with the .dll and .lib files that were not linked to the project. But I don't know what dll and lib files that I must insert into the project. I am reading right now that I can compile YAP in VC++, thus generating the yapdll.dll and yapdll.lib files. Is this both files that I must make the linker see?

The yap.dll file is independent of cygwin, I believe it should be enough. I must admit I haven't tried VC++ for quite a while, though :(

Cheers

Vitor

Re: yap-6 install on windows

2009-11-18T15:42:31Z

Hi Dimitar

I have just fixed two problems with the WIN32 version:

- it was not compiling minisat . This was partly because it is
written in C++, and partly because of paths.
- WIN7 has a different way to allocate space than XP. This caused crashes.

Did this help?

Sorry for the delay

Vitor

On Fri, Nov 13, 2009 at 7:15 AM, Dimitar Shterionov
<dimitarsh1@...> wrote:

> Hi, thanks for the advice, but unfortunately it didn't work.
> At the end of the make when it says "make: *** [all] Error 2", just
> before that there are some messages:
> "gcc -mno-cygwin -shared -Wl, --export-all-symbols ../../yap.dll -o
> pl-minisat.dll Solver.o pl-minisat.o
> gcc: ../../yap.dll: No such file or directory
> make[1]: *** [pl-minisat.dll] Error 1
> make[1]: Leaving directory
> '/home/Administrator/yap-6/cyg/packages/swi-minisat2/C' "
> and after that is the "make: *** [all] Error 2".
>
> I hope this can somehow, help for solving the problem.
>
> And some other thing - when the make starts it says /bin/sh: cmp:
> command not found
>
> Bye for now, and thanks for all.
>
> On Fri, Nov 13, 2009 at 12:42 AM, Vitor Santos Costa <vscosta@...> wrote:
>> Hi Dimitar
>>
>> The minisat interface was just plugged in, I'll see why it breaks under WIN32.
>>
>> The restore bug looks like the same bug Jose Santos mentioned to me.
>> An workaround for now may be to try configuring YAP with the option
>>
>> --enable-use-malloc=yes
>>
>> Please tell me if that works for you, or if it still breaks.
>>
>> Thanks
>>
>> Vitor
>>
>> On Wed, Nov 11, 2009 at 7:31 PM, Dimitar Shterionov
>> <dimitarsh1@...> wrote:
>>> I have the cygwin and after I got the yap-6 by git clone
>>> git://yap.dcc.fc.up.pt/yap-6 I run the steps in the installation
>>> tutorial but I received some errors which I don't have an idea how to
>>> deal with. So the result from the ../configure
>>> --enable-coroutining=yes was Yes (this was the final print in the
>>> console). After I run the make I got the message
>>> make: *** [all] Error 2 and a bit higher there was a message make[1]:
>>> *** [pl-minisat.dll] Error 1
>>>
>>> After that I tried the ./yap command and the system ran. I was able to
>>> do commands like assert and basic queries. But when I had the make
>>> install command I got:
>>>
>>> % Restoring file C:/Yap/lib/Yap/startup.yss
>>> %
>>> %
>>> % YAP OOOPS: likely bug in YAP, segmentation violation.
>>> %
>>> %
>>>
>>> Exiting ....
>>> make[1]: *** [install] Error 1
>>> make[1]: Leaving directory '/home/Administrator/yap-6/arch/packages/sgml'
>>> make: *** [install_win32] Error 2
>>>
>>> My system is Windows 7 x64.
>>>
>>> So if you could tell me what should I do I would be very thankful.
>>> Thanks in advance, have a nice day.
>>>
>>> ------------------------------------------------------------------------------
>>> 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
>>>
>>
>

CfP: CHR 2010

2009-11-17T01:26:30Z

=========================================================================

Call for Papers
Seventh International Workshop on Constraint Handling Rules
CHR 2010

http://www.cs.kuleuven.be/~petervw/CHR2010/
Edinburgh (Scotland), July 20, 2010
(co-located with ICLP 2010, part of FLOC 2010)

=========================================================================

Introduction

The CHR 2010 Workshop will be held July 20, 2010 in Edinburgh (Scotland)
at the occasion of the 26th International Conference on Logic
Programming (ICLP 2010), the premier international venue for presenting
research in logic programming. This year, ICLP is held as part of the
Fifth Federated Logic Conference (FLoC 2010). More information on the
venue and co-located conferences can be found on the FLOC website
(http://www.floc-conference.org/).

The Constraint Handling Rules (CHR) language has become a major declara-
tive specification formalism and implementation language for constraint
reasoning algorithms and applications. Algorithms specified using infe-
rence rules, rewrite rules, sequents, proof rules, or logical axioms can
often be directly written in CHR. Its clean semantics facilitates pro-
gram design, analysis, and transformation. For more information, please
visit the CHR website (http://www.cs.kuleuven.be/~dtai/projects/CHR/).

The aim of the CHR workshop series is to stimulate and promote interna-
tional research and collaboration on topics related to the CHR language.
The workshop is a lively, friendly forum for presenting and discussing
new results, interesting applications, and work in progress.
Previous Workshops on Constraint Handling Rules were organized in 2004
in Ulm (Germany), in 2005 in Sitges (Spain) at ICLP, in 2006 in Venice
(Italy) at ICALP, in 2007 in Porto (Portgual) at ICLP, in 2008 in Hagen-
berg (Austria) at RTA, and in 2009 in Pasadena (California, US) at ICLP.

Topics of Interest

The workshop calls for contributions on all aspects of CHR,
including topics such as:

- (Operational) semantics
- Program analysis (confluence, termination, ...)
- Comparisons with related approaches
- Expressivity and complexity
- Language extensions (negation, modules, ...)
- Constraint solvers
- Implementation and optimization
- Concurrency & parallelism
- Program transformation and generation
- Programming environments (debugging, confluence checking, ...)
- Programming pearls

Application papers that describe experience with (industrial)
applications, are especially welcome.

Important dates

- Abstract submission deadline: April 14, 2010
- Paper submission deadline: April 20, 2010
- Notification of acceptance: May 11, 2010
- Final version due: May 23, 2010
- Workshop date: July 20, 2010

Submission Information

The four broad categories for submissions are:

1. technical papers for describing technically sound, innovative
ideas that can advance the state of the art of CHR
2. application papers, where the emphasis will be on the use of CHR
in the application, on the impact on the application domain, and
the lessons learned from this application
3. system and tool papers, empasising the novelty, practicality,
usability and general availability of the systems and tools
described
4. short papers, for ongoing work not yet ready for full publication
and research project overviews.

All papers must describe original, previously unpublished research, and
must not simultaneously be submitted for publication elsewhere.
They must be written in English. Technical papers must not exceed 15
pages. The limit for short papers is 7 pages, as is the standard page
limit for application papers, and system and tool papers. However,
particularly strong contributions in the latter two areas may be
submitted as technical paper as well.

All papers must be in the Springer LNCS format. General information
about the Springer LNCS series and the LNCS authors' instructions are
available at the Springer LNCS home page
(http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0).

Submissions must be made via the Easychair submission system, available
at http://www.easychair.org/conferences/?conf=chr10

Programme Committee

- Sebastian Brand, National ICT Australia, and the University
of Melbourne, Victoria, Australia
- Henning Christiansen, Roskilde University, Denmark
- Vernica Dahl, Simon Fraser University, Canada
- Leslie De Koninck, Victoria Research Laboratory, NICTA, Australia
(co-chair)
- Thom Frhwirth Ulm University, Germany
- Marco Gavanelli, University of Ferrara, Italy
- Maria-Chiara Meo, "Gabriele d'Annunzio" University, Italy
- Paolo Pilozzi K.U.Leuven, Belgium
- Frank Raiser, Ulm University, Germany
- Peter Van Weert, K.U.Leuven, Belgium (co-chair)
- Jairson Vitorino, Federal University of Pernambuco, Brazil
- Armin Wolf, Fraunhofer FIRST, Germany

Workshop Coordinators

Contact: chr2010@...

Peter Van Weert
Department of Computer Science, K.U.Leuven
Leuven, Belgium
http://www.cs.kuleuven.be/~petervw/

Leslie De Koninck
Victoria Research Laboratory, NICTA
Melbourne, Australia
http://www.cs.kuleuven.be/~leslie/

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

[Peter_VanWeert.vcf]

begin:vcard fn:Peter Van Weert n:Van Weert;Peter org:K.U.Leuven;Computer Science adr:;;Celestijnenlaan 200A;Heverlee (Leuven);;3001;Belgium tel;work:003216327665 url:http://www.cs.kuleuven.be/~petervw/ version:2.1 end:vcard

Re: Problem Installing Yap

2009-11-16T23:06:35Z

On Tuesday 17 November 2009 02:59:57 Airo Miranda wrote:
> I get the same error from the previous message:
>
> n function ‘open’,
> inlined from ‘ExtendWorkSpace’ at ./C/alloc.c:945:
> /usr/include/bits/fcntl2.h:51: error: call to ‘__open_missing_mode’
> declared with attribute error: open with O_CREAT in second argument needs
> 3 arguments make: ** [alloc.o] Erro 1

The error you're hitting is due to the Ubuntu version of the GCC compiler
including a feature called FORTIFY_SOURCE. (This feature enables detection and
prevention of buffer overflows).

The latest version of yap should compile ok; it looks like you're still compiling
the -5.1.3 version of C/alloc.c. (The exact error you're experiencing was
fixed ~11 months ago [1]).

If you're determined to use -5.1.3 then you could apply the following patch. (taken from [2])

#! /bin/sh /usr/share/dpatch/dpatch-run
## 04_gcc_4.3.dpatch by <dktrkranz@...>
## DP: Fix FTBFS with Ubuntu toolchain

@DPATCH@
diff -urNad yap-5.1.1~/C/alloc.c yap-5.1.1/C/alloc.c
--- yap-5.1.1~/C/alloc.c 2006-03-24 18:15:18.000000000 +0100
+++ yap-5.1.1/C/alloc.c 2008-07-09 22:55:34.000000000 +0200
@@ -796,7 +796,7 @@
itos(getpid(), &file[12]);
#endif /* HAVE_TMPNAM */
#endif /* HAVE_MKSTEMP */
- fd = open(file, O_CREAT|O_RDWR);
+ fd = open(file, O_CREAT|O_RDWR, 0644);
if (fd < 0) {
Yap_Error(FATAL_ERROR, TermNil, "mmap could not open %s", file);
return NULL;
@@ -909,7 +909,7 @@
itos(getpid(), &file[12]);
#endif /* HAVE_TMPNAM */
#endif /* HAVE_MKSTEMP */
- fd = open(file, O_CREAT|O_RDWR);
+ fd = open(file, O_CREAT|O_RDWR, 0644);
if (fd < 0) {
Yap_ErrorMessage = Yap_ErrorSay;
snprintf4(Yap_ErrorMessage, MAX_ERROR_MSG_SIZE,

[1] http://gitorious.org/yap-git/mainline/commit/58d444288365b0db6ea8292f4151771d23f6d192
[2] http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/

------------------------------------------------------------------------------
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: Problem Installing Yap

2009-11-16T06:15:52Z

On 2009/11/16, at 13:59, Airo Miranda wrote:

> I get the same error from the previous message:

Did you try "make distclean" before recompiling?

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

------------------------------------------------------------------------------
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: Problem Installing Yap

2009-11-16T05:59:57Z

I get the same error from the previous message:

n function ‘open’,
inlined from ‘ExtendWorkSpace’ at ./C/alloc.c:945:
/usr/include/bits/fcntl2.h:51: error: call to ‘__open_missing_mode’ declared with attribute error: open with O_CREAT in second argument needs 3 arguments
make: ** [alloc.o] Erro 1

Thanks!

2009/11/16 Paulo Moura <pmoura@...>

On 2009/11/16, at 11:02, Airo Miranda wrote:

> Hello Paulo,
> thanks for your answer.
> But unfortunately it did not work.

Why? Which errors did you get when trying the YAP 6.0.0 git version?

> Any other tip?

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

------------------------------------------------------------------------------
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: Problem Installing Yap

2009-11-16T05:50:01Z

On 2009/11/16, at 11:02, Airo Miranda wrote:

> Hello Paulo,
> thanks for your answer.
> But unfortunately it did not work.

Why? Which errors did you get when trying the YAP 6.0.0 git version?

> Any other tip?

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

------------------------------------------------------------------------------
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: Problem Installing Yap

2009-11-16T03:02:42Z

Hello Paulo,

thanks for your answer.

But unfortunately it did not work.

Any other tip?

Best!

2009/11/13 Paulo Moura <pmoura@...>

On 2009/11/13, at 23:19, Airo Miranda wrote:

> Hello,
> I'm trying to install Yap5.1.3 in Ubuntu 9.10 with GCC 4.4.1.
> I have no problem with ./configure, but when using make, the console
> shows (error in the last line):
>
> cc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -
> Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -
> DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./
> MYDDAS -I./include -DYAP_VERSION=\"Yap-5.1.3\" -DPL_SRC_DIR=\"/usr/
> local/share/Yap/pl/\" ./console/yap.c -o yap.o
> ./console/yap.c: In function ‘do_bootfile’:
> ./console/yap.c:205: warning: format not a string literal and no
> format arguments
> In file included from /usr/include/string.h:640,
> from ./console/yap.c:73:
> In function ‘strncat’,
> inlined from ‘exec_top_level’ at ./console/yap.c:658,
> inlined from ‘main’ at ./console/yap.c:728:
> /usr/include/bits/string3.h:153: warning: call to
> __builtin___strncat_chk might overflow destination buffer
> gcc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -
> Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -
> DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./
> MYDDAS ./C/agc.c -o agc.o
> gcc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -
> Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -
> DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./
> MYDDAS ./C/absmi.c -o absmi.o
> gcc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -
> Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -
> DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./
> MYDDAS ./C/adtdefs.c -o adtdefs.o
> gcc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -
> Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -
> DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./
> MYDDAS ./C/alloc.c -o alloc.o
> In file included from /usr/include/fcntl.h:217,
> from ./C/alloc.c:772:
> In function ‘open’,
> inlined from ‘ExtendWorkSpace’ at ./C/alloc.c:945:
> /usr/include/bits/fcntl2.h:51: error: call to ‘__open_missing_mode’
> declared with attribute error: open with O_CREAT in second argument
> needs 3 arguments
> make: ** [alloc.o] Erro 1
>
> Can anyone help? I'm novice in linux, so, please, be patience... ;)

The current git version of YAP 6.0.0 compiles fine on MacOS X 10.5.8
(gcc 4.0.1) but on Ubuntu 9.10 is giving me the following error:

make[1]: Entering directory `/home/pmoura/yap-6/linux/packages/swi-
minisat2/C'
gcc -c -march=i686 -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-
prototypes -Wmissing-prototypes -I../../../../packages/swi-minisat2/
C -I../../.. -I../../../../packages/swi-minisat2/C/../../../include -
shared -fPIC ../../../../packages/swi-minisat2/C/Solver.C -o Solver.o
gcc: error trying to exec 'cc1plus': execvp: No such file or directory
make[1]: *** [Solver.o] Error 1
make[1]: Leaving directory `/home/pmoura/yap-6/linux/packages/swi-
minisat2/C'
make: *** [all] Error 2

Doing:

% sudo apt-get install g++

and recompiling solved the problem. Hope this helps.

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

------------------------------------------------------------------------------
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: Problem Installing Yap

2009-11-13T17:26:51Z

On 2009/11/13, at 23:19, Airo Miranda wrote:

> Hello,
> I'm trying to install Yap5.1.3 in Ubuntu 9.10 with GCC 4.4.1.
> I have no problem with ./configure, but when using make, the console
> shows (error in the last line):
>
> cc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -
> Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -
> DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./
> MYDDAS -I./include -DYAP_VERSION=\"Yap-5.1.3\" -DPL_SRC_DIR=\"/usr/
> local/share/Yap/pl/\" ./console/yap.c -o yap.o
> ./console/yap.c: In function ‘do_bootfile’:
> ./console/yap.c:205: warning: format not a string literal and no
> format arguments
> In file included from /usr/include/string.h:640,
> from ./console/yap.c:73:
> In function ‘strncat’,
> inlined from ‘exec_top_level’ at ./console/yap.c:658,
> inlined from ‘main’ at ./console/yap.c:728:
> /usr/include/bits/string3.h:153: warning: call to
> __builtin___strncat_chk might overflow destination buffer
> gcc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -
> Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -
> DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./
> MYDDAS ./C/agc.c -o agc.o
> gcc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -
> Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -
> DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./
> MYDDAS ./C/absmi.c -o absmi.o
> gcc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -
> Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -
> DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./
> MYDDAS ./C/adtdefs.c -o adtdefs.o
> gcc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -
> Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -
> DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./
> MYDDAS ./C/alloc.c -o alloc.o
> In file included from /usr/include/fcntl.h:217,
> from ./C/alloc.c:772:
> In function ‘open’,
> inlined from ‘ExtendWorkSpace’ at ./C/alloc.c:945:
> /usr/include/bits/fcntl2.h:51: error: call to ‘__open_missing_mode’
> declared with attribute error: open with O_CREAT in second argument
> needs 3 arguments
> make: ** [alloc.o] Erro 1
>
> Can anyone help? I'm novice in linux, so, please, be patience... ;)

The current git version of YAP 6.0.0 compiles fine on MacOS X 10.5.8
(gcc 4.0.1) but on Ubuntu 9.10 is giving me the following error:

make[1]: Entering directory `/home/pmoura/yap-6/linux/packages/swi-
minisat2/C'
gcc -c -march=i686 -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-
prototypes -Wmissing-prototypes -I../../../../packages/swi-minisat2/
C -I../../.. -I../../../../packages/swi-minisat2/C/../../../include -
shared -fPIC ../../../../packages/swi-minisat2/C/Solver.C -o Solver.o
gcc: error trying to exec 'cc1plus': execvp: No such file or directory
make[1]: *** [Solver.o] Error 1
make[1]: Leaving directory `/home/pmoura/yap-6/linux/packages/swi-
minisat2/C'
make: *** [all] Error 2

Doing:

% sudo apt-get install g++

and recompiling solved the problem. Hope this helps.

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

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

Problem Installing Yap

2009-11-13T15:19:17Z

Hello,
I'm trying to install Yap5.1.3 in Ubuntu 9.10 with GCC 4.4.1.
I have no problem with ./configure, but when using make, the console shows (error in the last line):

cc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./MYDDAS -I./include -DYAP_VERSION=\"Yap-5.1.3\" -DPL_SRC_DIR=\"/usr/local/share/Yap/pl/\" ./console/yap.c -o yap.o
./console/yap.c: In function ‘do_bootfile’:
./console/yap.c:205: warning: format not a string literal and no format arguments
In file included from /usr/include/string.h:640,
                 from ./console/yap.c:73:
In function ‘strncat’,
    inlined from ‘exec_top_level’ at ./console/yap.c:658,
    inlined from ‘main’ at ./console/yap.c:728:
/usr/include/bits/string3.h:153: warning: call to __builtin___strncat_chk might overflow destination buffer
gcc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./MYDDAS ./C/agc.c -o agc.o
gcc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./MYDDAS ./C/absmi.c -o absmi.o
gcc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./MYDDAS ./C/adtdefs.c -o adtdefs.o
gcc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1 -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM -I./MYDDAS ./C/alloc.c -o alloc.o
In file included from /usr/include/fcntl.h:217,
                 from ./C/alloc.c:772:
In function ‘open’,
    inlined from ‘ExtendWorkSpace’ at ./C/alloc.c:945:
/usr/include/bits/fcntl2.h:51: error: call to ‘__open_missing_mode’ declared with attribute error: open with O_CREAT in second argument needs 3 arguments
make: ** [alloc.o] Erro 1

Can anyone help? I'm novice in linux, so, please, be patience... ;)

Thanks,

Bruno

------------------------------------------------------------------------------
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 and Visual C++

2009-11-13T05:14:46Z

Hello Victor,

thanks for your answer. It worked using:

#if defined(__STDC__) || defined(_MSC_VER)

However, I still having problems. This time the errors messages were:

LNK2019: unresolved external symbol _YAP_RestartGoal referenced in function _main

LNK2019: unresolved external symbol _YAP_RunGoal referenced in function _main

LNK2019: unresolved external symbol _YAP_MkAtomTerm referenced in function _main

LNK2019: unresolved external symbol _YAP_LookupAtom referenced in function _main

LNK2019: unresolved external symbol _YAP_FastInit referenced in function _main

which are related to the linker. This might be some problem with the .dll and .lib files that were not linked to the project. But I don't know what dll and lib files that I must insert into the project. I am reading right now that I can compile YAP in VC++, thus generating the yapdll.dll and yapdll.lib files. Is this both files that I must make the linker see?

Thanks a lot!

Cristiano

-----------------------------------------------------------------------------------------------------------------------------------

Hi Cristiano

Can I ask you a favour? I do not have VC++ but can you go to yap_structs.h in include/Yap and change at the very beginning

#if defined(__STDC__)

#if 1

If that works then also please try

#if defined(__STDC__) || defined(_MSC_VER)

That might work, hopefully.

Cheers

Vitor

On Thu, Nov 12, 2009 at 9:16 PM, Cristiano Pitangui <cristiano_pitangui@...> wrote:

Hello All,

I'm trying to use Yap Prolog as a library to a Visual C++ (using VC++ 2008) application.

However, when I try the basic code bellow from Yap's Manual, i get the following errors messages:

error C2660: 'YAP_FastInit' : function does not take 1 arguments

error C2660: 'YAP_LookupAtom' : function does not take 1 arguments

error C2660: 'YAP_MkAtomTerm' : function does not take 1 arguments

error C2660: 'YAP_RunGoal' : function does not take 1 arguments

#include <stdio.h>

#include "Yap/YapInterface.h"

int main(int argc, char *argv[]) {

if (YAP_FastInit("saved_state") == YAP_BOOT_ERROR)

exit(1);

if (YAP_RunGoal(YAP_MkAtomTerm(YAP_LookupAtom("do")))) {

printf("Success\n");

while (YAP_RestartGoal())

printf("Success\n");

}

printf("NO\n");

}

Any tips?

Thanks!

Veja quais são os assuntos do momento no Yahoo! + Buscados: Top 10 - Celebridades - Música - Esportes
------------------------------------------------------------------------------
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 install on windows

2009-11-12T23:15:26Z

Hi, thanks for the advice, but unfortunately it didn't work.
At the end of the make when it says "make: *** [all] Error 2", just
before that there are some messages:
"gcc -mno-cygwin -shared -Wl, --export-all-symbols ../../yap.dll -o
pl-minisat.dll Solver.o pl-minisat.o
gcc: ../../yap.dll: No such file or directory
make[1]: *** [pl-minisat.dll] Error 1
make[1]: Leaving directory
'/home/Administrator/yap-6/cyg/packages/swi-minisat2/C' "
and after that is the "make: *** [all] Error 2".

I hope this can somehow, help for solving the problem.

And some other thing - when the make starts it says /bin/sh: cmp:
command not found

Bye for now, and thanks for all.

On Fri, Nov 13, 2009 at 12:42 AM, Vitor Santos Costa <vscosta@...> wrote:

> Hi Dimitar
>
> The minisat interface was just plugged in, I'll see why it breaks under WIN32.
>
> The restore bug looks like the same bug Jose Santos mentioned to me.
> An workaround for now may be to try configuring YAP with the option
>
> --enable-use-malloc=yes
>
> Please tell me if that works for you, or if it still breaks.
>
> Thanks
>
> Vitor
>
> On Wed, Nov 11, 2009 at 7:31 PM, Dimitar Shterionov
> <dimitarsh1@...> wrote:
>> I have the cygwin and after I got the yap-6 by git clone
>> git://yap.dcc.fc.up.pt/yap-6 I run the steps in the installation
>> tutorial but I received some errors which I don't have an idea how to
>> deal with. So the result from the ../configure
>> --enable-coroutining=yes was Yes (this was the final print in the
>> console). After I run the make I got the message
>> make: *** [all] Error 2 and a bit higher there was a message make[1]:
>> *** [pl-minisat.dll] Error 1
>>
>> After that I tried the ./yap command and the system ran. I was able to
>> do commands like assert and basic queries. But when I had the make
>> install command I got:
>>
>> % Restoring file C:/Yap/lib/Yap/startup.yss
>> %
>> %
>> % YAP OOOPS: likely bug in YAP, segmentation violation.
>> %
>> %
>>
>> Exiting ....
>> make[1]: *** [install] Error 1
>> make[1]: Leaving directory '/home/Administrator/yap-6/arch/packages/sgml'
>> make: *** [install_win32] Error 2
>>
>> My system is Windows 7 x64.
>>
>> So if you could tell me what should I do I would be very thankful.
>> Thanks in advance, have a nice day.
>>
>> ------------------------------------------------------------------------------
>> 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 install on windows

2009-11-12T15:42:39Z

Hi Dimitar

The minisat interface was just plugged in, I'll see why it breaks under WIN32.

The restore bug looks like the same bug Jose Santos mentioned to me.
An workaround for now may be to try configuring YAP with the option

--enable-use-malloc=yes

Please tell me if that works for you, or if it still breaks.

Thanks

Vitor

On Wed, Nov 11, 2009 at 7:31 PM, Dimitar Shterionov
<dimitarsh1@...> wrote:

> I have the cygwin and after I got the yap-6 by git clone
> git://yap.dcc.fc.up.pt/yap-6 I run the steps in the installation
> tutorial but I received some errors which I don't have an idea how to
> deal with. So the result from the ../configure
> --enable-coroutining=yes was Yes (this was the final print in the
> console). After I run the make I got the message
> make: *** [all] Error 2 and a bit higher there was a message make[1]:
> *** [pl-minisat.dll] Error 1
>
> After that I tried the ./yap command and the system ran. I was able to
> do commands like assert and basic queries. But when I had the make
> install command I got:
>
> % Restoring file C:/Yap/lib/Yap/startup.yss
> %
> %
> % YAP OOOPS: likely bug in YAP, segmentation violation.
> %
> %
>
> Exiting ....
> make[1]: *** [install] Error 1
> make[1]: Leaving directory '/home/Administrator/yap-6/arch/packages/sgml'
> make: *** [install_win32] Error 2
>
> My system is Windows 7 x64.
>
> So if you could tell me what should I do I would be very thankful.
> Thanks in advance, have a nice day.
>
> ------------------------------------------------------------------------------
> 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 and Visual C++

2009-11-12T15:38:31Z

Hi Cristiano

Can I ask you a favour? I do not have VC++ but can you go to yap_structs.h in include/Yap and change at the very beginning

#if defined(__STDC__)

by

#if 1

If that works then also please try

#if defined(__STDC__) || defined(_MSC_VER)

That might work, hopefully.

Cheers

Vitor

On Thu, Nov 12, 2009 at 9:16 PM, Cristiano Pitangui <cristiano_pitangui@...> wrote:

Hello All,
I'm trying to use Yap Prolog as a library to a Visual C++ (using VC++ 2008) application.
However, when I try the basic code bellow from Yap's Manual, i get the following errors messages:

error C2660: 'YAP_FastInit' : function does not take 1 arguments
error C2660: 'YAP_LookupAtom' : function does not take 1 arguments
error C2660: 'YAP_MkAtomTerm' : function does not take 1 arguments
error C2660: 'YAP_RunGoal' : function does not take 1 arguments

#include <stdio.h>
#include "Yap/YapInterface.h"

int main(int argc, char *argv[]) {
if (YAP_FastInit("saved_state") == YAP_BOOT_ERROR)
exit(1);
if (YAP_RunGoal(YAP_MkAtomTerm(YAP_LookupAtom("do")))) {
printf("Success\n");
while (YAP_RestartGoal())
printf("Success\n");
}
printf("NO\n");
}

Any tips?

Thanks!

Ps.: Sorry for multiple messages, had some problems subscribing.

Veja quais são os assuntos do momento no Yahoo! + Buscados: Top 10 - Celebridades - Música - Esportes

------------------------------------------------------------------------------
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 and Visual C++

2009-11-12T13:16:13Z

Hello All,
I'm trying to use Yap Prolog as a library to a Visual C++ (using VC++ 2008) application.
However, when I try the basic code bellow from Yap's Manual, i get the following errors messages:

error C2660: 'YAP_FastInit' : function does not take 1 arguments
error C2660: 'YAP_LookupAtom' : function does not take 1 arguments
error C2660: 'YAP_MkAtomTerm' : function does not take 1 arguments
error C2660: 'YAP_RunGoal' : function does not take 1 arguments

#include <stdio.h>
#include "Yap/YapInterface.h"

int main(int argc, char *argv[]) {
if (YAP_FastInit("saved_state") == YAP_BOOT_ERROR)
exit(1);
if (YAP_RunGoal(YAP_MkAtomTerm(YAP_LookupAtom("do")))) {
printf("Success\n");
while (YAP_RestartGoal())
printf("Success\n");
}
printf("NO\n");
}

Any tips?

Thanks!

Ps.: Sorry for multiple messages, had some problems subscribing.

yap-6 install on windows

2009-11-11T11:31:18Z

I have the cygwin and after I got the yap-6 by git clone
git://yap.dcc.fc.up.pt/yap-6 I run the steps in the installation
tutorial but I received some errors which I don't have an idea how to
deal with. So the result from the ../configure
--enable-coroutining=yes was Yes (this was the final print in the
console). After I run the make I got the message
make: *** [all] Error 2 and a bit higher there was a message make[1]:
*** [pl-minisat.dll] Error 1

After that I tried the ./yap command and the system ran. I was able to
do commands like assert and basic queries. But when I had the make
install command I got:

% Restoring file C:/Yap/lib/Yap/startup.yss
%
%
% YAP OOOPS: likely bug in YAP, segmentation violation.
%
%

Exiting ....
make[1]: *** [install] Error 1
make[1]: Leaving directory '/home/Administrator/yap-6/arch/packages/sgml'
make: *** [install_win32] Error 2

My system is Windows 7 x64.

So if you could tell me what should I do I would be very thankful.
Thanks in advance, have a nice day.

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