eclipse-clp-users — ECLiPSe Users List

[eclipse-clp-users] Issue with exported structures

[Philippe de R. <ph...@fr...>]

Hello,

I’m having an issue with an exported structure:

When I run


p2m:top(
	[
		p2m:person{name:philippe,age:50,p2m:ba:bank_account{bal:1000}}
	],PMBL).	


I get the below warnings.

Any help would be much appreciated.

Philippe



—————

WARNING: Unrecognized structure name in module eclipse in
    bank_account{bal : 1000}
WARNING: Unrecognized structure name in module eclipse in
    person{name : philippe, age : 53, p2m : ba : bank_account{bal : 1000}}

PMBL = []
Yes (0.00s cpu)
[eclipse 15]: p2m:top(
	[
		p2m:person{name:philippe,age:53,p2m:ba:bank_account{bal:1000}}
	],PMBL).			
WARNING: Unrecognized structure name in module eclipse in
    bank_account{bal : 1000}
WARNING: Unrecognized structure name in module eclipse in
    person{name : philippe, age : 53, p2m : ba : bank_account{bal : 1000}}

PMBL = []
Yes (0.00s cpu)


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

——————————— code ——————————————


/*
	Find people whose balance is above a certain limit.
*/

:- module(p2m).
:- export top/2.
:- export filterBalance/3.
:- export top/2.
:- lib(ic).
:- export struct(bank_account(bal)).
:- export struct(person(name,age,ba:bank_account)).

top(FamilyList, PersonsMatchingBalanceLimit) :-
		BalanceLimit = 0,
		filterBalance(BalanceLimit, FamilyList, Ys), PersonsMatchingBalanceLimit = Ys.
		
filterBalance(BalanceLimit, Family, Ys) :-
	(
		% foreach person in family
		foreach(Person,Family),
		fromto(Ys,Ys2,Ys1,[]),
		param(BalanceLimit)
	do
		(
			person{ba:Bal} = Person,
			arg(1, Bal, Bal2),
			Bal2 #>= BalanceLimit -> Ys2=[Bal2|Ys1] ;
			Ys2=Ys1
		)	
	).

Re: [eclipse-clp-users] Errors while building Eclipse CLP on Macosx 10.12.6

[Joachim S. <jsc...@co...>]

Hi Philippe,

These are gcc-specific optimization options that you can simply remove from the
Kernel/..._macosx/Makefile (although this should be properly done during autoconf).

I apologize for the somewhat rough state of the OS X configuration/build, this 
is because we do not have any Macs in our current build infrastructure.  But I 
am very happy to work with you on making the Mac build experience more painless.

Is there any ECLiPSe user out there who could make a Mac available for us to 
occasionally/regularly produce Mac binaries?

Cheers,
Joachim



On 27/08/17 08:42, Philippe de Rochambeau wrote:
> 
> Hello,
> 
> when building the latest Eclipse CLP source, I get the following errors:
> 
> 7 warnings generated.
> gcc -O1 -fomit-frame-pointer -fthread-jumps -fforce-addr  
> -fexpensive-optimizations -fdelete-null-pointer-checks -fpeephole2 
> -falign-functions -falign-jumps  -foptimize-sibling-calls -fregmove  
> -fsched-interblock -fcaller-saves  -m64  -mmacosx-version-min=10.4 -D_REENTRANT  
> -fno-strict-overflow -fPIC -DD_LOAD -no-cpp-precomp -dynamic -DTHREADED -I. 
> -I../src -I../../sys_include -I/usr/X11/include  -DOC -DDFID -S ../src/emu.c
> clang: *error: *unknown argument: '-fthread-jumps'
> clang: *error: *unknown argument: '-fpeephole2'
> clang: *error: *unknown argument: '-fregmove'
> clang: *warning: *optimization flag '-fexpensive-optimizations' is not supported 
> [-Wignored-optimization-argument]
> clang: *warning: *optimization flag '-fdelete-null-pointer-checks' is not 
> supported [-Wignored-optimization-argument]
> clang: *warning: *optimization flag '-falign-functions' is not supported 
> [-Wignored-optimization-argument]
> clang: *warning: *optimization flag '-falign-jumps' is not supported 
> [-Wignored-optimization-argument]
> clang: *warning: *optimization flag '-fcaller-saves' is not supported 
> [-Wignored-optimization-argument]
> make[1]: *** [emu.o] Error 1
> make: *** [make_kernel] Error 2
> imac-de-philippe:Eclipse_6.1_228 philippe$
> 
> Can anyone help, please?
> 
> Many thanks.
> 
> Philippe
> 
> 
> 
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> 
> 
> 
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECL...@li...
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
> 

Re: [eclipse-clp-users] Errors while building Eclipse CLP on Macosx 10.12.6

[Philippe de R. <ph...@fr...>]

Hi Joachim,
thank you for your feedback.
I’d be happy to build the source on my Mac on a regular/irregular basis, to be of assistance.
Best regards,
 


> Le 27 août 2017 à 10:52, Joachim Schimpf <jsc...@co...> a écrit :
> 
> 
> 
> 
> -------- Forwarded Message --------
> Subject: Re: [eclipse-clp-users] Errors while building Eclipse CLP on Macosx 10.12.6
> Date: Sun, 27 Aug 2017 09:41:15 +0100
> From: Joachim Schimpf <jsc...@co...>
> To: ecl...@li...
> 
> Hi Philippe,
> 
> These are gcc-specific optimization options that you can simply remove from the
> Kernel/..._macosx/Makefile (although this should be properly done during autoconf).
> 
> I apologize for the somewhat rough state of the OS X configuration/build, this is because we do not have any Macs in our current build infrastructure.  But I am very happy to work with you on making the Mac build experience more painless.
> 
> Is there any ECLiPSe user out there who could make a Mac available for us to occasionally/regularly produce Mac binaries?
> 
> Cheers,
> Joachim
> 
> 
> 
> On 27/08/17 08:42, Philippe de Rochambeau wrote:
>> Hello,
>> when building the latest Eclipse CLP source, I get the following errors:
>> 7 warnings generated.
>> gcc -O1 -fomit-frame-pointer -fthread-jumps -fforce-addr  -fexpensive-optimizations -fdelete-null-pointer-checks -fpeephole2 -falign-functions -falign-jumps  -foptimize-sibling-calls -fregmove  -fsched-interblock -fcaller-saves  -m64  -mmacosx-version-min=10.4 -D_REENTRANT  -fno-strict-overflow -fPIC -DD_LOAD -no-cpp-precomp -dynamic -DTHREADED -I. -I../src -I../../sys_include -I/usr/X11/include  -DOC -DDFID -S ../src/emu.c
>> clang: *error: *unknown argument: '-fthread-jumps'
>> clang: *error: *unknown argument: '-fpeephole2'
>> clang: *error: *unknown argument: '-fregmove'
>> clang: *warning: *optimization flag '-fexpensive-optimizations' is not supported [-Wignored-optimization-argument]
>> clang: *warning: *optimization flag '-fdelete-null-pointer-checks' is not supported [-Wignored-optimization-argument]
>> clang: *warning: *optimization flag '-falign-functions' is not supported [-Wignored-optimization-argument]
>> clang: *warning: *optimization flag '-falign-jumps' is not supported [-Wignored-optimization-argument]
>> clang: *warning: *optimization flag '-fcaller-saves' is not supported [-Wignored-optimization-argument]
>> make[1]: *** [emu.o] Error 1
>> make: *** [make_kernel] Error 2
>> imac-de-philippe:Eclipse_6.1_228 philippe$
>> Can anyone help, please?
>> Many thanks.
>> Philippe
>> ------------------------------------------------------------------------------
>> Check out the vibrant tech community on one of the world's most
>> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
>> _______________________________________________
>> ECLiPSe-CLP-Users mailing list
>> ECL...@li...
>> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
> 

[eclipse-clp-users] Errors while building Eclipse CLP on Macosx 10.12.6

[Philippe de R. <ph...@fr...>]

Hello,

when building the latest Eclipse CLP source, I get the following errors:

7 warnings generated.
gcc -O1 -fomit-frame-pointer -fthread-jumps -fforce-addr  -fexpensive-optimizations -fdelete-null-pointer-checks -fpeephole2 -falign-functions -falign-jumps  -foptimize-sibling-calls -fregmove  -fsched-interblock -fcaller-saves  -m64  -mmacosx-version-min=10.4 -D_REENTRANT  -fno-strict-overflow -fPIC -DD_LOAD -no-cpp-precomp -dynamic -DTHREADED -I. -I../src -I../../sys_include -I/usr/X11/include  -DOC -DDFID -S ../src/emu.c
clang: error: unknown argument: '-fthread-jumps'
clang: error: unknown argument: '-fpeephole2'
clang: error: unknown argument: '-fregmove'
clang: warning: optimization flag '-fexpensive-optimizations' is not supported [-Wignored-optimization-argument]
clang: warning: optimization flag '-fdelete-null-pointer-checks' is not supported [-Wignored-optimization-argument]
clang: warning: optimization flag '-falign-functions' is not supported [-Wignored-optimization-argument]
clang: warning: optimization flag '-falign-jumps' is not supported [-Wignored-optimization-argument]
clang: warning: optimization flag '-fcaller-saves' is not supported [-Wignored-optimization-argument]
make[1]: *** [emu.o] Error 1
make: *** [make_kernel] Error 2
imac-de-philippe:Eclipse_6.1_228 philippe$ 

Can anyone help, please?

Many thanks.

Philippe

[eclipse-clp-users] PhD scholarships in Constraint Logic Programming

[Marco G. <mar...@un...>]

The Department of Engineering of the University of Ferrara offers PhD 
scholarships for students holding an MSc (or equivalent title) obtained 
abroad (outside of Italy).

We are looking for talented, highly motivated and skilled candidates to 
study and do research on ECLiPSe and CLP in general to solve complex 
optimization problems. Possible research directions include 
(non-exhaustive list):

1. Logic Programming and Constraint Programming
2. Integration of Constraint Programming and Operations Research 
techniques to solve complex combinatorial problems
3. Applications of Logic Programming to Computational Sustainability 
problems.

The research team works mainly on applications of CLP to real-life 
problems; recent applications include work in hydraulics, nurse 
scheduling, electronic devices, computational sustainability.

The duration of the position is three years, and the net grant is about 
12,000 euros per year.
PhD students are expected to work full-time on their research during the 
period of the PhD studies, which lasts three years. Additional supports 
are available to spend a period of 4+ months at an international 
research center.
For research visits abroad the grant can increase up to 50%. Extra 
funding is available for participation to international conferences, 
schools, workshops.
The position does not include teaching duties.

The deadline for application will be the 1st of August, the selection 
will be in September. In case you are interested, please drop an email 
to me (mar...@un...) as soon as possible and I will provide 
further details.

Students must be able to write and speak fluently in English; knowledge 
of Italian is helpful but not compulsory.

Ferrara is an attractive Renaissance city and its city center is a 
UNESCO World Heritage Site. Ferrara is close to Bologna, and Venice can 
be reached by train in 1 hour. A culturally vibrant city, Ferrara has a 
high quality of life at modest living costs.


-- 
Marco Gavanelli
Associate Professor
Ph.D. in Computer Science
Dept of Engineering
University of Ferrara
Tel/Fax  +39-0532-97-4833
http://docente.unife.it/marco.gavanelli

[eclipse-clp-users] reconfirmation

[Maxime D. <max...@gm...>]

Hello,
I reconfirm my subscription to the mailing list.
Best regards
Maxime

Re: [eclipse-clp-users] This mailing list

[Joachim S. <jsc...@co...>]

Hello again,

there seems to be some uncertainty about how to confirm your
mailing list membership.  Note that you cannot do this by email,
the only two available methods are:

1. find/await the email from Sourceforge.net <no...@sl...>
with subject "Important Account Information - Reconfirm Mailing List 
Subscriptions", and use the link provided in that email.

2. alternatively, go to
https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
scroll to the bottom of that page, enter your email address and click
"Unsubscribe or edit options" - this then allows you to change your
subscription options, get a password reminder, etc.


Please note that it is no longer possible for me (or anyone else)
to manually add to, remove from, or inspect the membership list.
(it is entirely administered by SourceForge).


Thanks,
Joachim Schimpf
ECLiPSe maintainer



On 10/06/17 15:25, Joachim Schimpf wrote:
> Dear ECLiPSe-CLP users,
> 
> The ECLiPSe project uses SourceForge to host its source repository
> and to operate its mailing lists.
> 
> You have recently received (or will receive in the next days)
> an email from Sourceforge.net <no...@sl...>
> asking you to reconfirm your subscription to the mailing list
> 
>      ecl...@li...
> 
> Please perform this reconfirmation, otherwise you will not
> receive future mailings via this list!
> 
> [The confirmation seems necessary for legal reasons, explained in
> https://sourceforge.net/blog/sourceforge-project-e-mail-policy-update]
> 
> 
> Thanks for your attention,
> 
> Joachim Schimpf
> ECLiPSe maintainer
> 
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECL...@li...
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users

[eclipse-clp-users] reconfirmation

[Claudio C. de Sá <cla...@ud...>]

Hi,

I reconfirm my subscription to the mailing list.

-- 

ĉĉ - claudio * cesar  *



Whatsapp: +55 47 99245 1825
Work : +55 47 3481 7987
http://github.com/claudiosa
http://www.joinville.udesc.br/coca
http://www.colmeia.udesc.br/
http://www.joinville.udesc.br/maratona
***********************************************************************

[eclipse-clp-users] reconfirmation

[Bressan, S. <st...@nu...>]

Hi,

I reconfirm my subscription to the mailing list.

Stephane Bressan

________________________________

Important: This email is confidential and may be privileged. If you are not the intended recipient, please delete it and notify us immediately; you should not copy or use it for any purpose, nor disclose its contents to any other person. Thank you.

[eclipse-clp-users] This mailing list

[Joachim S. <jsc...@co...>]

Dear ECLiPSe-CLP users,

The ECLiPSe project uses SourceForge to host its source repository
and to operate its mailing lists.

You have recently received (or will receive in the next days)
an email from Sourceforge.net <no...@sl...>
asking you to reconfirm your subscription to the mailing list

     ecl...@li...

Please perform this reconfirmation, otherwise you will not
receive future mailings via this list!

[The confirmation seems necessary for legal reasons, explained in
https://sourceforge.net/blog/sourceforge-project-e-mail-policy-update]


Thanks for your attention,

Joachim Schimpf
ECLiPSe maintainer

[eclipse-clp-users] Call for Papers: CICLOPS 2017 - 15th International Colloquium on Implementation, of Constraint and LOgic Programming Systems

[Nataliia S. <nat...@im...>]

[ Please distribute, apologies for multiple postings. ]

************************************************************************

                       CICLOPS 2017: Call for Papers

                       15th International Colloquium
                      on Implementation of Constraint
                       and LOgic Programming Systems

                             28th August 2017
                           Melbourne, Australia

https://software.imdea.org/Conferences/CICLOPS2017/

               Co-located with ICLP'17, CP'17, and SAT'17.

************************************************************************

Important Dates
===============

Abstract Submission:    11 June 2017
Paper Submission:       18 June 2017
Author Notification:    10 July 2017
Camera-ready Copy:      23 July 2017

Dates are intended as Anywhere on Earth.

Aims and Scope
==============

This workshop aims at discussing and exchanging experience on the
design, implementation, and optimization of logic, constraint (logic)
programming systems, and other systems based on logic as a means to
express computations. Experience backed up by real implementations and
their evaluation will be given preference, as well as descriptions of
work in progress in that direction.

Topics include, but are not limited to:

     * Sequential implementation schemes (abstract machines,
       translation to other languages, etc.).

     * Implementation of concurrent and distributed logic and
       constraint programming systems.

     * Implementation of type inference and type checking systems for
       logic and constraint programming languages.

     * Compile-time analysis and its application to code generation.

     * Balance between compile-time effort and run-time machinery,
       dynamic compilation.

     * Interaction between high-level optimizations / transformations /
       specialization and low-level issues.

     * Memory management and garbage collection issues.

     * Indexing techniques and optimizations for large size programs.

     * Optimizations for program generated logic and constraint
       programs.

     * Implementation of logic engines in functional and object
       oriented languages.

     * Embedding of logic and constraint programming engines in
       multi-paradigm systems.

     * Implementation techniques for alternative logic engines and
       inference mechanisms (ASP, SAT, QSAT, DL etc.).

     * Implementation of theorem provers, proof assistants and logic
       based natural language processing systems.

     * Implementation of object and agent-oriented extensions to logic
       and constraint programming languages.

     * Object and module systems.

     * Design and implementation of declarative I/O concepts for logic
       and constraint programming languages.

     * Implementations and ports of logic and constraint programming
       systems for mobile phones and netbooks.

     * Documenting, debugging, testing, and profiling tools for logic
       and constraint programming systems.

     * Novel compilation methods to modern hardware (e.g. GPUs).

Workshop Goals
==============

Our intent is to bring together, in an informal setting, people
involved in research on sequential and parallel implementation
technologies for logic and constraint programming languages and
systems, in order to promote the exchange of ideas and feedback on
recent developments. We hope that the workshop will provide a meeting
point for people working on implementation technology for different
aspects of logic and constraint-based languages and systems.

Paper Submissions
=================

The workshop will welcome all short papers that are technically sound
and on-topic, including contributions to theory, reports of
interesting applications, reports of work in progress, experience
papers, suggestions for new challenging problems, system descriptions,
comparison and discussion papers, and improvements to known
results/proofs/implementations.

All papers must be written in English and should not exceed 15
pages. We welcome also shorter submissions, e.g., extended abstracts
and short papers, of at least 3 pages. For all accepted papers, at
least one author is required to attend the workshop and give a
presentation of 30 minutes including discussion.

Submissions must be made in Springer's LNCS format
(https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines)
via the page: https://easychair.org/conferences/?conf=ciclops2017.

A program committee consisting of members from different research
groups in the area will review the submissions on EasyChair. Papers
will be reviewed by at least two, and usually three, referees.

Proceedings
===========

The informal workshop proceedings will be available on-line at the
Computing Research Repository after the workshop. An electronic copy
will also be distributed during the conference.

Program Committee
=================

Paul Bone        (Mozilla)
Mats Carlsson    (SICS)
Michael Hanus    (CAU Kiel)
Jose F. Morales  (IMDEA Software Institute) - chair
Paulo Moura      (CRACS & INESC TEC)
Joachim Schimpf  (Coninfer Ltd)
David Schneider  (Heinrich Heine University Düsseldorf)
Tom Schrijvers   (KU Leuven)
Nataliia Stulova (IMDEA Software Institute) - chair
Theresa Swift    (NOVALINKS, Universidade Nova de Lisboa)
Tuncay Tekle     (Stony Brook University)
Jan Wielemaker   (VU University Amsterdam)
Neng-Fa Zhou     (CUNY Brooklyn College and Graduate Center)

Contact
=======

cic...@so...

Organizers
==========

Nataliia Stulova
Jose F. Morales
IMDEA Software Institute, Madrid, Spain

[eclipse-clp-users] AI*IA Incoming Mobility Grants 2017

[Marco G. <mar...@un...>]

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

AI*IA Incoming Mobility Grants 2017



                   Call for research visits

Deadline for applications: June 20th, 2017

https://sites.google.com/a/aixia.it/italiano/premi/incoming-mobility

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

To favour mobility of young researchers the Italian Association for
Artificial

Intelligence (AI*IA) issues the AIxIA Incoming Mobility Grants for 2017.

Applications are solicited for funding a research visit of a PhD student

enrolled at a foreign University to an Italian institution.

AI*IA will cover the travel costs and living expenses (up to 2,000 euros)
of successful applicants.

The funding will be provided as a reimbursement for the expenses incurred
in the

visit. After the visit, the awarded person should send the Association the

receipts of her/his costs for which she/he would like to be refunded.

The central aim of these long visits is to build a research bridge between

researchers and to create a solid basis for long term collaborations.
Moreover,

the visit has to lead to a submission of an article on a joint research
topics to the Intelligenza Artificiale journal (
www.iospress.nl/journal/intelligenza-artificiale/).

Eligibility for the visiting student is to be enrolled full-time in a PhD
programme at a foreign University.

Funding is available for 2 students.

The visit should start between the 15th of July 2017 and the 30th of June
2018.

Deadline for applications: June 20th, 2017

Notification of grants: July 4th, 2017

The information required in the application are:

1. name of the foreign PhD student who will be hosted;

2. name and address of the foreign Lab/Department and University;

3. name of the Italian researcher of the hosting institution. The Italian
researcher must be a member of the Association for 2016.  If she/he is not
a member for 2016 she/he must register before applying.

4. a short (max 2 pages) resume/CV of the foreign student;

5. a short (max 2 pages) resume/CV of the Italian host;

6. a short (max 2 pages) description of the research that will be carried
out during the visit

7. a budget of the foreseen expenses;

8. declaration of the Italian host indicating that the hosting institution
is willing to provide office space and access to lab facilities to conduct
the research;

9. expected visit dates.

The applications must be sent by email to inc...@ai...

The applications will be examined by a committee composed by members of the

AI*IA Board of Directors.

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=


-- 
Marco Gavanelli
Associate Professor
Ph.D. in Computer Science
Dept of Engineering
University of Ferrara
Tel/Fax  +39-0532-97-4833
http://docente.unife.it/marco.gavanelli

[eclipse-clp-users] Announcement: SLDNF Draw with animations

[Marco G. <mar...@un...>]

Dear all,

SLDNF-Draw is a software written in ECLiPSe to draw SLDNF Trees in LaTeX.

It is useful for teaching Prolog, as it lets one easily include SLDNF 
trees in course course handouts, or in scientific papers, with the 
typographic quality of LaTeX.

Moreover, SLDNF trees can be included in presentations written with the 
Beamer class. In presentations, the SLDNF Tree can be shown 
interactively, with PDF animations.

SLDNF Draw can be downloaded from:

http://endif.unife.it/it/ricerca-1/aree-di-ricerca/informazione/ingegneria-informatica/software/sldnf-draw

The page contains examples and user's manuals.

Best,
Marco

-- 
Marco Gavanelli
Associate Professor
Ph.D. in Computer Science
Dept of Engineering
University of Ferrara
http://docente.unife.it/marco.gavanelli

Re: [eclipse-clp-users] [SWI-Prolog/swipl-devel] user-data-type-attvars (#189)

[Douglas M. <log...@gm...>]

​Thank you ​Kish


On Fri, Jan 6, 2017 at 1:39 PM, Kish Shen <kis...@gm...> wrote:

> Hi Douglas,
>
> I assume you are posting this question about ECLiPSe, rather than
> SWI-Prolog, as your title seem to suggest.
>

Right oops I forget to change the subject to ECLiPSe



>
> To unify V1=V2
>
> ...
>
>>   Could V1 and V2 still be different variables?
>
>
> No. Once you unify 2 terms, they become the same, i.e. V1 and V2 represent
> the same variable after unification, and there is only one attribute for
> the variable. This is a fundamental property of unification in Prolog.
>
>>  get a wakeup to decide the my_string_words were a okay to unify
>
>
> User defined unification handlers (one per attribute)  is invoked when a
> attributed variables are unifiied. The handler should define the
> unification behaviour for the attribute, for example, how to merge the two
> original attributes into the single attribute after unification.
>

​Yeah, i see I may rescue some of the attributes off the variable that is
about to disappear.


> There is a chapter on attributed variables in the user manual:
>
> http://eclipseclp.org/doc/userman/umsroot093.html
>
> which I strongly recommend you to consult if you haven't done so.
>
> On a more general point:
>
> >I would like believe that I can use attvars/metaterms to proxy for
> complex datatypes.
>
> This is not what attributed variables are designed for. I think you should
> use normal Prolog (variables and data structures) to implement your string
> type, rather than trying to push them into an attribute.
>

Designed for implementing constraints as people say.

​Thank you!
Douglas​

Re: [eclipse-clp-users] [SWI-Prolog/swipl-devel] user-data-type-attvars (#189)

[Kish S. <kis...@gm...>]

Hi Douglas,

I assume you are posting this question about ECLiPSe, rather than
SWI-Prolog, as your title seem to suggest.

To unify V1=V2

...

>   Could V1 and V2 still be different variables?


No. Once you unify 2 terms, they become the same, i.e. V1 and V2 represent
the same variable after unification, and there is only one attribute for
the variable. This is a fundamental property of unification in Prolog.

>  get a wakeup to decide the my_string_words were a okay to unify


User defined unification handlers (one per attribute)  is invoked when a
attributed variables are unifiied. The handler should define the
unification behaviour for the attribute, for example, how to merge the two
original attributes into the single attribute after unification.

There is a chapter on attributed variables in the user manual:

http://eclipseclp.org/doc/userman/umsroot093.html

which I strongly recommend you to consult if you haven't done so.

On a more general point:

>I would like believe that I can use attvars/metaterms to proxy for complex
datatypes.

This is not what attributed variables are designed for. I think you should
use normal Prolog (variables and data structures) to implement your string
type, rather than trying to push them into an attribute.

Cheers,

Kish



>
>
On Mon, Jan 2, 2017 at 9:05 AM, Douglas Miles <log...@gm...> wrote:

> I' just start the email over sorry so sorry
>
> (i had to clear up between my_string_words and pretend_value .. and they
> were meant to be the same attribute)
>
>
>
> ​Hi
>
> I would like believe that I can use attvars/metaterms to proxy for complex
> datatypes.
>
> Lets pretend I created a fake string datatype that holds sentences using
> entire words like [hello,world]  .. I'll print this as "hello world"
> Let add that this datatype can also hold unbound word element to  like
> [hello,_].
>
> I'll store these physically in an attribute called  my_string_words
>
> so far so good?
>
>
> V1 =  my_string_words([hello,beautiful,world])   + had an attribute  foo
> (inst1)
> V2 = another my_string_words([hello,_])   + had an attribute  foo(inst2))
>
>
> It would possible (if i so wanted)
>
> To unify V1=V2
>
> I get a wakeup to decide the my_string_words were a okay to unify
>
> And have the outcome be be that if i checked the values.. I will been
> allowed to modify  my
> my_string_words of V2 to now be [hello,world]  ?   I am guessing the
> answer is still yes
>
> Here is the question:
>
>    Could V1 and V2 still be different variables?
>   could possibly still find different 'foo' attributes  V1 and V2
> respectively?​
>
>
>
> Thank you in advance,
>  Douglas
>
>
> ------------------------------------------------------------
> ------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, SlashDot.org! http://sdm.link/slashdot
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECL...@li...
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>
>

Re: [eclipse-clp-users] [SWI-Prolog/swipl-devel] user-data-type-attvars (#189)

[Douglas M. <log...@gm...>]

I' just start the email over sorry so sorry

(i had to clear up between my_string_words and pretend_value .. and they
were meant to be the same attribute)



​Hi

I would like believe that I can use attvars/metaterms to proxy for complex
datatypes.

Lets pretend I created a fake string datatype that holds sentences using
entire words like [hello,world]  .. I'll print this as "hello world"
Let add that this datatype can also hold unbound word element to  like
[hello,_].

I'll store these physically in an attribute called  my_string_words

so far so good?


V1 =  my_string_words([hello,beautiful,world])   + had an attribute  foo
(inst1)
V2 = another my_string_words([hello,_])   + had an attribute  foo(inst2))


It would possible (if i so wanted)

To unify V1=V2

I get a wakeup to decide the my_string_words were a okay to unify

And have the outcome be be that if i checked the values.. I will been
allowed to modify  my
my_string_words of V2 to now be [hello,world]  ?   I am guessing the answer
is still yes

Here is the question:

   Could V1 and V2 still be different variables?
  could possibly still find different 'foo' attributes  V1 and V2
respectively?​



Thank you in advance,
 Douglas

Re: [eclipse-clp-users] [SWI-Prolog/swipl-devel] user-data-type-attvars (#189)

[Douglas M. <log...@gm...>]

Typo..

- I'll print this as "hello beautiful world"
+ I'll print this as "hellol world"

On Mon, Jan 2, 2017 at 12:58 AM, Douglas Miles <log...@gm...> wrote:

> Hi
>
> I would like believe that I can use attvars/metaterms to proxy for complex
> datatypes.
>
> Lets pretend I created a fake string datatype that holds sentences using
> entire words like [hello,world]  .. I'll print this as "hello beautiful
> world"
> Let add that this datatype can also hold unbound word element to  like
> [hello,_].
>
> I'll store these physically in an attribute called  my_string_words
>
> I think so far so good.
>
>
> V1 =  pretend_value([hello,beautiful,world])   + had an attribute  foo
> (inst1)
> V2 = another pretend_value([hello,_])   + had an attribute  foo(inst2))
>
>
> It would possible (if i so wanted)
>
> To unify V1=V2
>
> I get a wakeup to decide the pretend_values were a okay to unify
>
> And have the outcome be...
>
> I could possibly still find different 'foo' attributes  V1 and V2
> respectively?
>
>
>

Re: [eclipse-clp-users] [SWI-Prolog/swipl-devel] user-data-type-attvars (#189)

[Douglas M. <log...@gm...>]

Hi

I would like believe that I can use attvars/metaterms to proxy for complex
datatypes.

Lets pretend I created a fake string datatype that holds sentences using
entire words like [hello,world]  .. I'll print this as "hello beautiful
world"
Let add that this datatype can also hold unbound word element to  like
[hello,_].

I'll store these physically in an attribute called  my_string_words

I think so far so good.


V1 =  pretend_value([hello,beautiful,world])   + had an attribute  foo
(inst1)
V2 = another pretend_value([hello,_])   + had an attribute  foo(inst2))


It would possible (if i so wanted)

To unify V1=V2

I get a wakeup to decide the pretend_values were a okay to unify

And have the outcome be...

I could possibly still find different 'foo' attributes  V1 and V2
respectively?

Re: [eclipse-clp-users] Variable Attribute

[Joachim S. <jsc...@co...>]

On 28/11/16 04:44, Edgaonkar, Shrirang wrote:
> Dear clp users,
>
>   I am using variable attribute for some logic. To isolate my problem I have
> mentioned the below script.
>
> :- lib(ic).
> :- lib(ic_kernel).
>
> has_my_attribute(_{eclipse:Attr}) ?-
>      nonvar(Attr),writeln(Attr).
>
> The script does not compile and gives me an error:-
>
> undefined variable attribute in add_attribute(_1841, Attr, eclipse)
>
> The error is valid when the we add an attribute without the meta_attribute/2 to
> declare the attribute.  But in my case, has_my_attribute is a predicate
> declaration and should not have the error.

Your code is ok, but you must first declare the attribute name
with meta_attribute/2.  So, in the simplest case:

:- meta_attribute(my_attribute, []).

has_my_attribute(_{my_attribute:Attr}) ?-
     nonvar(Attr).



-- Joachim

[eclipse-clp-users] Variable Attribute

[Edgaonkar, S. <Shr...@nt...>]

Dear clp users,



  I am using variable attribute for some logic. To isolate my problem I have mentioned the below script.



:- lib(ic).
:- lib(ic_kernel).


has_my_attribute(_{eclipse:Attr}) ?-
     nonvar(Attr),writeln(Attr).





The script does not compile and gives me an error:-

undefined variable attribute in add_attribute(_1841, Attr, eclipse)

The error is valid when the we add an attribute without the meta_attribute/2 to declare the attribute.  But in my case, has_my_attribute is a predicate declaration and should not have the error.



I wish to write a predicate to check if a variable has a particular user defined attribute or not.



Kindly help.



Thanks and Regards,

Shrirang Edgaonkar





______________________________________________________________________
Disclaimer: This email and any attachments are sent in strictest confidence
for the sole use of the addressee and may contain legally privileged,
confidential, and proprietary data. If you are not the intended recipient,
please advise the sender by replying promptly to this email and then delete
and destroy this email and any attachments without any further use, copying
or forwarding.

Re: [eclipse-clp-users] Error handling using socket communication

[Joachim S. <jsc...@co...>]

On 14/11/16 17:33, Ingo Dahn wrote:
> Hi,
>
> I am using Andrea Montemaggio’s php-Eclipse-connection to call Eclipse as a
> server. I want to handle Eclipse errors on the Eclipse server side, such that on
> any error
>
> -          The error message is bound to a specific variable of the goal called
> by the client
>
> -          The goal succeeds and the result, including the error message, is
> passed back to the client
>
> -          The socket connection is closed and Eclipse continues to listen for
> new goals in the accept_loop.
>
> This would be needed in particular for catching syntax errors in the goal.
>
> It would be great if someone could share a solution for this not-so-special problem.


Hi Ingo,

here is an example of how such a server procedure could look like.
It takes a string, tries to parse it as an ECLiPSe goal, and calls that goal.
It returns a Result (true/false/throw) and two strings containing
normal and error output.

server(String, Result, OutputString, ErrorString) :-
         open(string(""), write, Output),       % create auxiliary streams
         open(string(""), write, Error),
         set_stream(output, Output),            % redirect the standard streams
         set_stream(log_output, Output),
         set_stream(error, Error),
         set_stream(warning_output, Error),
         catch((
                 term_string(Term, String),     % parse the input string
                 ( call(Term) ->                % call the goal
                     Result = true
                 ;
                     Result = false
                 )
             ),
             Ball,
             Result = throw(Ball)
         ),
         get_stream_info(Output, name, OutputString),  %retrieve outputs
         get_stream_info(Error, name, ErrorString),
         close(output),                         % undo stream redirections
         close(log_output),
         close(error),
         close(warning_output).


Example calls:

[eclipse 2]: server("writeln(hello)", R, O, E).
R = true
O = "hello\n"
E = ""
Yes (0.00s cpu)


[eclipse 3]: server("riteln(hello)", R, O, E).
R = throw(abort)
O = ""
E = "calling an undefined procedure riteln(hello) in module eclipse\n"
Yes (0.00s cpu)


[eclipse 4]: server("Writeln(hello)", R, O, E).
R = throw(abort)
O = ""
E = "string stream $&(stream(10)): syntax error: unexpected token\n| 
Writeln(hello)\n|        ^ here\nstring contains unexpected characters in 
term_string(_199, \"Writeln(hello)\")\n"
Yes (0.00s cpu)



I hope this answers at least part of your question.  I want to mention
two other things here:

1. It might not be a good idea to allow general goals to be sent and
called by the server, as this is a security risk.  If  you only need to
call specific goals, you should only send messages with the parameters
you need, and check and interpret these messages in your server explicitly.

2. Instead of sending a string in ECLiPSe-syntax, you might consider using
EXDR-format, which is an efficient encoding of a large subset of valid
ECLiPSe terms.  It is generally easier to create from other programming
languages, in particular as it avoids all the tedious problems with quoting.
The Tcl and Java interfaces can both read/write this format.  See
http://eclipseclp.org/doc/embedding/embroot049.html
http://eclipseclp.org/doc/bips/kernel/ioterm/read_exdr-2.html


Cheers,
Joachim

Re: [eclipse-clp-users] Abort error

[Joachim S. <jsc...@co...>]

On 14/11/16 02:30, Shrirang Edgaonkar wrote:
> The error occurs only on 32 bit clp version.
>
>     Hi,
>
>     Following is the problem.
>     :-lib(ic).
>     solve(A):-
>     A :: 0 .. 2147483650, A #\= 2147483648.
>
>     It aborts with following error.
>     Abort
>
>     out of range in -(2147483648) + A{ 0 .. 2147483650} #\= 0
>
>     Kindly let me know the reason for the error.

As you may have suspected, the ic library has a bug here that limits
the constant in the disequality constraint to the machine's word size.

You can work around by writing this as

     suspend:(A #\= 2147483648)


As a more general observation: you will never get any kind of
efficiency if you are using discrete domains of this size.
You really need to rethink your problem modelling.


-- Joachim

[eclipse-clp-users] Error handling using socket communication

[Ingo D. <da...@un...>]

Hi, 

I am using Andrea Montemaggio's php-Eclipse-connection to call Eclipse as a
server. I want to handle Eclipse errors on the Eclipse server side, such
that on any error

-          The error message is bound to a specific variable of the goal
called by the client

-          The goal succeeds and the result, including the error message, is
passed back to the client

-          The socket connection is closed and Eclipse continues to listen
for new goals in the accept_loop.

This would be needed in particular for catching syntax errors in the goal.

It would be great if someone could share a solution for this not-so-special
problem.

Ingo

Re: [eclipse-clp-users] Abort error

[Shrirang E. <shr...@gm...>]

The error occurs only on 32 bit clp version.

On Monday, 14 November 2016, Shrirang Edgaonkar <shr...@gm...> wrote:

> Hi,
>
> Following is the problem.
> :-lib(ic).
> solve(A):-
> A :: 0 .. 2147483650, A #\= 2147483648.
>
> It aborts with following error.
> Abort
>
> out of range in -(2147483648) + A{ 0 .. 2147483650} #\= 0
>
> Kindly let me know the reason for the error.
>
> Thanks and Regards,
> Shrirang Edgaonkar
>
>
>
>
>
>
> --
> Sent from Gmail Mobile
>


-- 
Sent from Gmail Mobile

[eclipse-clp-users] Abort error

[Shrirang E. <shr...@gm...>]

Hi,

Following is the problem.
:-lib(ic).
solve(A):-
A :: 0 .. 2147483650, A #\= 2147483648.

It aborts with following error.
Abort

out of range in -(2147483648) + A{ 0 .. 2147483650} #\= 0

Kindly let me know the reason for the error.

Thanks and Regards,
Shrirang Edgaonkar






-- 
Sent from Gmail Mobile