[gecode-users] [ANN] gecode/prolog (yap)

[Denys Duchier]

I am pleased to announce the availability of simplified gecode bindings
for yap prolog.  Yap is a portable high-performance Prolog system.  The
gecode bindings have been integrated into its development repository and
are built if gecode is locally installed.  The development branch of Yap
can be obtained as follows:

    git clone git://yap.git.sourceforge.net/gitroot/yap/yap-6.3
    cd yap-6.3
    git submodule init
    git submodule update

to illustrate how these bindings can be used, here is SEND+MORE=MONEY:

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: send_more_money.yap
URL: <http://www.gecode.org/pipermail/users/attachments/20110809/ddfba115/attachment.txt>
-------------- next part --------------

and here is SEND+MOST=MONEY, for optimization:

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: send_most_money.yap
URL: <http://www.gecode.org/pipermail/users/attachments/20110809/ddfba115/attachment.asc>
-------------- next part --------------

There is currently no support for minimodel-like constraint posting, but
these is experimental support for "disjunctors" (speculative
disjunctions).

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: DOC.txt
URL: <http://www.gecode.org/pipermail/users/attachments/20110809/ddfba115/attachment-0001.txt>
-------------- next part --------------

I welcome suggestions, bug reports, and contributions.

Cheers,

--Denys