Ciao-users September 2013

ciao-users@cliplab.org

3 participants
4 discussions

Ciao Prolog without Cygwin?
by Jan Burse 20 Sep '13

20 Sep '13

Can I use ciao prolog without cygwin? I get the following error: Ciao 1.15-1781-g328b907: Wed Jun 19 00:06:05 PST 2013 ?- use_package(clpfd). {Using package /cygdrive/c/Program Files (x86)/CiaoDE/ciao/contrib/clpfd/clpfd.p l {Including /cygdrive/c/Program Files (x86)/CiaoDE/ciao/contrib/clpfd/clpfd_ops.p l } WARNING: cannot create /cygdrive/c/Program Files (x86)/CiaoDE/ciao/contrib/clpfd /clpfd_tr.itf WARNING: cannot create /cygdrive/c/Program Files (x86)/CiaoDE/ciao/contrib/clpfd /clpfd_tr.itf WARNING: cannot create /cygdrive/c/Program Files (x86)/CiaoDE/ciao/contrib/debug pred/debugpred_tr.itf WARNING: cannot create /cygdrive/c/Program Files (x86)/CiaoDE/ciao/lib/attr/attr _tr.itf

2 3

Division by zero for multiplication constraint?
by Jan Burse 19 Sep '13

19 Sep '13

Hi, I am now running for the first time some CLP(FD) models in Ciao Prolog! gr8. Take the following little riddle: % grocery3(-List) grocery3(X) :- X = [A,B,C], X ins 0..642, A*B*C #= 6420000, A+B+C #= 642, A #>= B, B #>= C, label(X). And it doesn't produce a solution, but aborts with the following error: {ERROR: bound_div - divison_by_0(9999)} I guess this is a glitch, since the CLP(FD) libraries of other Prolog systems don't produce an error, but the solution: ?- grocery3(X). X = [375, 160, 107] ; false. Bye

1 0

Re: [Ciao-users] How to Define ins/2
by Jan Burse 19 Sep '13

19 Sep '13

Hi, Ok, got it working with: :- use_package(clpfd). :- op(700, xfx, ins). [] ins R. [X|Y] ins R :- clpfd_rt:(X in R), Y ins R. I now have: ?- [X,Y] ins 9..10, label([X,Y]). X = 9, Y = 9 ? ; Etc.. Great! Bye remy(a)clip.dia.fi.upm.es schrieb: > Dear Jan, > > The module fd_term is exported by the package clpfd but should not. Then > the predicate in/2 from fd_term conflicts with the one of clpfd_rt. > > To correct the bug, just comment the following line (line 41) in > ciao/contrib/clpfd/clpfd.pl > :- use_module(library(clpfd(fd_term))). > > You can also work around by explicitly qualify the in/2 predicate. > > [] ins R. > [X|Y] ins R :- clpfd_rt:in(X, R), Y ins R. > > > ?- use_package(clpfd). > > yes > ?- [X,Y] ins 9..10, label([X,Y]). > > X = 9, > Y = 9 ? > > yes > > > Regards, > > Remy > >> Dear All, >> >> I am consulting a Prolog text with: >> >> :- use_package(clpfd). >> >> :- op(700, xfx, ins). >> [] ins R. >> [X|Y] ins R :- X in R, Y ins R. >> >> But it doesn't work as expected: >> >> ?- [X,Y] ins 9..10, label([X,Y]). >> no >> >> Possible to make it work? >> >> Bye >> >> >> _______________________________________________ >> Ciao-users mailing list >> Ciao-users(a)clip.dia.fi.upm.es >> http://clip.dia.fi.upm.es/cgi-bin/mailman/listinfo/ciao-users >> >

1 0

How to Define ins/2
by Jan Burse 19 Sep '13

19 Sep '13

Dear All, I am consulting a Prolog text with: :- use_package(clpfd). :- op(700, xfx, ins). [] ins R. [X|Y] ins R :- X in R, Y ins R. But it doesn't work as expected: ?- [X,Y] ins 9..10, label([X,Y]). no Possible to make it work? Bye

2 1

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users September 2013