eclipse-clp-announce — ECLiPSe Announcements

[Eclipse-clp-announce] ECLiPSe 7.0

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

Dear ECLiPSe Users,

Happy New Year!

You may have noticed that ECLiPSe 7.0 has been available for
a while from our web site http://eclipseclp.org and mirrors.

This release contains significant changes "under the hood"
to support the new multi-engine/multi-thread functionality,
which enables a number of new programming techniques such as
multithreaded servers and working with multiple independent
search trees.

Beyond that, there are other new features and libraries too
numerous to list here, so please refer to the release notes at
http://eclipseclp.org/relnotes/rel70.html

If you are upgrading from an earlier version, please check the
section on potential incompatibilities at the end of the notes.


Those who are building ECLiPSe from the sources will want to
know that we have recently migrated our source repository from
CVS to GIT version control.  For the time being, the reference
repository remains hosted at Sourceforge and can be found at
https://sourceforge.net/p/eclipse-clp/git


Best regards,
Joachim Schimpf

[Eclipse-clp-announce] ECLiPSe release 6.1

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

Dear Users,

You may have noticed that ECLiPSe 6.1 has been available for
a little while from our web site http://eclipseclp.org

This new release contains several new libraries, features,
improvements and bug fixes.  The main news are the Gecode solver
interface, the interface to the CP-Viz system, LDSB symmetry
breaking, more global constraints, full ISO-Prolog compatibility,
and availability on 64-bit Windows.  For more details, see the
release notes at http://eclipseclp.org/relnotes/index.html

If you are upgrading from an earlier version, please check the
section on potential incompatibilities at the end of the notes.

Best regards,
Joachim Schimpf and Kish Shen

[Eclipse-clp-announce] counting backtracking

[Joy J. <joy...@gm...>]

Hello!
I'm developing N-queens problem and I have a problem: I wish counting the
number of backtracking in my program. My code is written with forward
checking:

queens(Var,N):- domini(1,N,D), length(Var,N),
assegna_dom(VarDom,D,Var),ausiliare(VarDom).

ausiliare([]).
ausiliare([[X1,D]|Rest]):-member(X1,D),
            successivi(X1,Rest, Newrest),
                        ausiliare(Newrest).


successivi(X,Rest,Newrest):- successivi(X,Rest,1,Newrest).
successivi(X,[],Nb,[]).
successivi(X,[[Var,Dom]|Rest],Nb,[[Var,[F|T]]|Newrest]):-
remove_value(X,Dom,Nb,[F|T]),
                                                        Nb1 is Nb +1,

successivi(X,Rest,Nb1,Newrest).


remove_value(X,[],Nb,[]).
remove_value(X,[Val|Rest],Nb,[Val|Newrest]):-vincoli(X,Val,Nb),!,
remove_value(X,Rest,Nb,Newrest).
remove_value(X,[Val|Rest],Nb,Newrest):-remove_value(X,Rest,Nb,Newrest).


domini(N,Max,[N|T]):-  N1 is N+1,
                        domini(N1,Max,T).




vincoli(Value1,Value2,Nb):-  Value1 =\= Value2 +Nb,
                     Value1 =\= Value2 -Nb,
                             Value1 =\= Value2.



assegna_dom([],_,[]).
assegna_dom([[V,D]|LVarDom],D,[V|LVar]):- assegna_dom(LVarDom,D,LVar).


Help  me!!

Giovanna

[Eclipse-clp-announce] Release 6.0

[Joachim S. (I. Contractor) <jsc...@ci...>]

After a long time in the making, release 6.0 of ECLiPSe is now
officially ready for download in source and binary forms, from
both the Sourceforge download page:

http://sourceforge.net/project/showfiles.php?group_id=177708

and also from the ECLiPSe-CLP home page:

http://www.eclipse-clp.org/download.html

Note that the ECLiPSe-CLP website always has the latest successful
build of ECLiPSe, but usually fewer binary distributions.

The major change in this version is the replacement of the old ECLiPSe
compiler by a new one written entirely in ECLiPSe itself.  This has
enabled us to address a few long-standing problems with the old
compiler, to implement several performance improvements to the runtime
system, and to provide new debugging features like source-linked
tracing and setting of breakpoints.  We also hope that this change
makes it possible for researchers to experiment with ECLiPSe more
extensively.

There have been extensive changes internally associated with the new
compiler, but we have tried to minimise the incompatibilities and
changes that will affect the general user.  We have also tested the
system extensively, but with such a fundamental change, it is possible
that something was missed.  Please try out your existing applications
with the new compiler, and let us know of any problems, feedback or
comments.

As usual, there are various further enhancements to kernel, built-ins
and existing libraries, as well as several new user-contributed
libraries.  See the release notes
http://eclipse-clp.wiki.sourceforge.net/ECLiPSe+6.0+Release+Notes
for more details of these changes.

ECLiPSe is a Constraint Logic Programming platform, with a programming
language that is an extension of standard Prolog, and includes a host
of libraries to support constraint solving and program development.
It has been in development for many years, and was open-sourced in
September 2006 under a Mozilla-style Public Licence, allowing
unrestricted use (http://www.eclipse-clp.org/licence/).  Development is
being sponsored by Cisco Systems, the owner of the original code base.

Kish Shen and Joachim Schimpf

[Eclipse-clp-announce] Release of ECLiPSe 6.0

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

We are please to announce the release of ECLiPSe 6.0, a major new
version of the open-source Constraint Logic Programming platform.
It is now ready for download in source and binary forms, from our
Sourceforge download page:

http://sourceforge.net/project/showfiles.php?group_id=177708

and also from the ECLiPSe-CLP website:

http://www.eclipse-clp.org/download.html

Note that the ECLiPSe-CLP website always has the latest successful
build of ECLiPSe, but usually fewer binary distributions.

The major change in this version is the replacement of the old ECLiPSe
compiler by a new one written entirely in ECLiPSe itself.  This has
enabled us to address a few long-standing problems with the old
compiler, to implement several performance improvements to the runtime
system, and to provide new debugging features like source-linked
tracing and setting of breakpoints.  We also hope that this change
makes it possible for researchers to experiment with ECLiPSe more
extensively.

There have been extensive changes internally associated with the new
compiler, but we have tried to minimise the incompatibilities and
changes that will affect the general user.  We have also tested the
system extensively, but with such a fundamental change, it is possible
that something was missed.  Please try out your existing applications
with the new compiler, and let us know of any problems, feedback or
comments.

As usual, there are various further enhancements to kernel, built-ins
and existing libraries, as well as several new user-contributed
libraries.  See the release notes
http://eclipse-clp.wiki.sourceforge.net/ECLiPSe+6.0+Release+Notes
for more details of these changes.

ECLiPSe is a Constraint Logic Programming platform, with a programming
language that is an extension of standard Prolog, and includes a host
of libraries to support constraint solving and program development.
It has been in development for many years, and was open-sourced in
September 2006 under a Mozilla-style Public Licence, allowing
unrestricted use (http://www.eclipse-clp.org/licence/).  Development is
being sponsored by Cisco Systems, the owner of the original code base.

Kish Shen and Joachim Schimpf

[Eclipse-clp-announce] Release of ECLiPSe 6.0

[Kish S. <ki...@ci...>]

We are please to announce the release of ECLiPSe 6.0, a major new
version of the open-source Constraint Logic Programming platform.
It is now ready for download in source and binary forms, from our
Sourceforge download page:

http://sourceforge.net/project/showfiles.php?group_id=177708

and also from the ECLiPSe-CLP website:

http://www.eclipse-clp.org/download.html

Note that the ECLiPSe-CLP website always has the latest successful
build of ECLiPSe, but usually fewer binary distributions.

The major change in this version is the replacement of the old ECLiPSe
compiler by a new one written entirely in ECLiPSe itself.  This has
enabled us to address a few long-standing problems with the old
compiler, to implement several performance improvements to the runtime
system, and to provide new debugging features like source-linked
tracing and setting of breakpoints.  We also hope that this change
makes it possible for researchers to experiment with ECLiPSe more
extensively.

There have been extensive changes internally associated with the new
compiler, but we have tried to minimise the incompatibilities and
changes that will affect the general user.  We have also tested the
system extensively, but with such a fundamental change, it is possible
that we something was missed.  Please try out your existing
applications with the new compiler, and let us know of any problems,
feedback or comments.

As usual, there are various further enhancements to kernel, built-ins
and existing libraries, as well as several new user-contributed
libraries.  See the release notes
http://eclipse-clp.wiki.sourceforge.net/ECLiPSe+6.0+Release+Notes
for more details of these changes.

ECLiPSe is a Constraint Logic Programming platform, with a programming
language that is an extension of standard Prolog, and includes a host
of libraries to support constraint solving and program development.
It has been in development for many years, and was open-sourced in
September 2006 under a Mozilla-style Public Licence, allowing
unrestricted use (http://www.eclipse-clp.org/licence/).  Development is
being sponsored by Cisco Systems, the owner of the original code base.

Kish Shen and Joachim Schimpf

-- 
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.

[Eclipse-clp-announce] Mailing List Migration

[Joachim S. (I. Contractor) <jsc...@ci...>]

Dear ECLiPSe user and eclipse-announce subscriber,

we have just finished migrating the ECLiPSe-Users and the ECLiPSe-announce
mailing lists from their former home at crosscoreop.com to their new home
at SourceForge.

All subscribers should have been transferred, and you should have received
a subscription notification for the new lists:

ecl...@cr...    becomes ecl...@li...
ecl...@cr... becomes ecl...@li...

The new address for changing your subscription settings is
https://lists.sourceforge.net/lists/listinfo/eclipse-clp-announce
and the list archive is at
http://sourceforge.net/mailarchive/forum.php?forum_name=eclipse-clp-announce
(similarly for eclipse-clp-announce)

Please stand by for information on this list about forthcoming ECLiPSe 6.0!


Sorry for any inconvenience,
Joachim

[Eclipse-clp-announce] Welcome

[Joachim S. (I. Contractor) <jsc...@ci...>]

This is a low-volume list (2-3 mails per year) which is solely used by the ECLiPSe 
development team to distribute announcements about new releases, developments or 
ECLiPSe-related events.  It replaces the formerly used lists
ecl...@cr... and ecl...@ic...
All users of those lists will be transferred to this new list.

Joachim Schimpf
Mailing list administrator

[eclipse-announce] Cisco looking for ECLiPSe-related Project Proposals

[Joachim S. (I. Contractor) <jsc...@ci...>]

Dear ECLiPSe users,

A piece of good news:  Cisco Research is willing to fund two ECLiPSe
related academic projects, one in the area of Learning and Development,
one in the area of Network Algorithms.  The calls for proposals are here:

http://www.cisco.com/web/about/ac50/ac207/crc_new/university/RFP/rfp08043.html
http://www.cisco.com/web/about/ac50/ac207/crc_new/university/RFP/rfp08044.html

These research awards are in the form of an unrestricted gift.  You retain
your intellectual property (but of course we'd prefer you to open-source
your results, so they can eventually be added to the open source of ECLiPSe).

Proposals should be submitted as soon as possible: submissions are reviewed
at the beginning of each quarter, the next being the first business day of
April!  More details about the submission process can be found at
http://www.cisco.com/web/about/ac50/ac207/crc_new/university/university_research.html


Best regards,
Joachim

[eclipse-announce] ECLiPSe jobs with Cisco

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

Hi, I'm forwarding a job offer from Cisco Systems,
for an opportunity to work on the ECLiPSe CLP system.

-- Joachim

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

Cisco Systems, one of the largest and well known networking companies
is looking to recruit and hire an experienced Constraint Logic
Systems Implementor in Boxborough, MA.

Two positions are available for the support and further development
of the ECLiPSe platform. ECLiPSe is a Constraint Logic Programming
System, owned by Cisco, and used in the area of network management
decision support applications. On September 21st 2006, Cisco
released ECLiPSe as open-source software to the general community.

Major Duties and Functions Include:
The position involves the continued maintenance of ECLiPSe, design,
development and integration of new components, support and training
for Cisco's ECLiPSe user community, and working with the open-source
user community towards further development of the platform.
Involvement with ECLiPSe-based application development and
simulation is also expected.

The successful candidate will be initially working with two
experienced ECLiPSe designer/implementors. The team will build
regular SW releases, and support users on a daily basis. Using
input from application developers as well as the research community,
new features and components will be designed and implemented or
integrated. This requires a high degree of originality and
capability in terms of design and architecture.

What You Need to Succeed:
Strong technical knowledge. Large systems engineering experience.
Theoretical background in Logic and Constraints. Ability to partner
and collaborate with all parties involved in product development.
Solve problems and make decisions. Establish clear and concise
plans. Proven ability to innovate. Willingness to continue learning.
Acknowledged technical expert on project. Typically requires MSEE/CS
combined with 3+ years of related experience, or BSEE/CS combined
with 5+ yrs related
experience.

The ideal candidate is an experienced software engineer and a
Constraint Programming and/or Logic Programming implementation
specialist.  Experience with ECLiPSe, ILOG-solver, CPLEX, or
another Constraint, Logic or Mathematical Programming platform
is required. A background in the areas of compiler construction,
runtime systems (virtual machines, memory management, garbage
collection), or development environments is highly relevant.
Familiarity with a Logic or Constraint Programming language,
and with C/C++ and Java is required. Familiarity with the
UNIX/Gnu tool chain is an advantage.


Do YOU have what it takes to join one of the most innovative
companies in the high-technology industry? If so, email your
resume/CV to ri...@ci... or kca...@ci... TODAY.
Discover all that's possible for your career!

[eclipse-announce] ECLiPSe now Open Source and under MPL

[Joachim S. <j.s...@cr...>]

The ECLiPSe Constraint Logic Programming System has recently been
open-sourced by its current owner Cisco Systems, and is available
under the terms of an MPL (Mozilla Public Licence) equivalent.

For those not so familiar with licensing terms, this means essentially:

  - the system can now be used by anyone for any purpose,
    there is no longer a restriction to academic use

  - any modification to the source code must be made available
    under the same licence, i.e. contributed back

  - added libraries and application code are not affected by
    the licence and can, for instance, remain proprietary

We hope that this step will encourage the wider use of ECLiPSe in
both the academic and commercial world.  The new setup will give
us better flexibility to work with contributors from the user
base, integrating more of the interesting work that is being
done with ECLiPSe, and making it available to a wider community.
Cisco itself is going to continue contributing to maintenance
and development, and so is the other current commercial user,
CrossCore Optimization.

The first open-source release is labelled ECLiPSe 5.10 and
can be downloaded from either http://www.eclipse-clp.org
or from http://www.sourceforge.net/projects/eclipse-clp
The official source repository now also resides on the
Sourceforge site.

Enjoy!

The ECLiPSe Team