Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Picat, ECLiPSe has it?

26 views
Skip to first unread message

j4n bur53

unread,
Sep 17, 2016, 2:55:07 PM9/17/16
to
Any plans for array access in SWI-Prolog CLP(FD)?

Here is an example from ECLiPSe:

http://stackoverflow.com/a/20507755/502187

Or maybe its already there?

(My impression from from looking at Mini Zinc
etc.. arrays are frequently used in CLP(*)
modelling and quite popular)

j4n bur53

unread,
Sep 17, 2016, 3:22:17 PM9/17/16
to
Or maybe there are some objections concerning
purity, against arrays? What about CLP(Z), will
it have arrays?

j4n bur53 schrieb:

Markus Triska

unread,
Sep 24, 2016, 5:23:03 PM9/24/16
to
j4n bur53 <janb...@fastmail.fm> writes:

> Or maybe there are some objections concerning
> purity, against arrays? What about CLP(Z), will
> it have arrays?

If the underlying SICStus system provides support, I will use it.
Currently, my focus with CLP(Z) is on cleaner internal propagation, and
stronger propagation to the outside, such as the issue you once filed.

All the best,
Markus

--
comp.lang.prolog FAQ: http://www.logic.at/prolog/faq/
0 new messages