ECLiPSe

ECLiPSe

ECLiPSe is a constraint logic programming system that implements a programming language close to Sicstus Prolog.(It's ISO Prolog compliant and has wrapper libraries to emulate Sicstus syntax.) ECLiPSe was developed until 1995 at the European Computer‐Industry Research Centre (ECRC) in Munich and then until 2005 at the Centre for Planning and Resource Control at Imperial College London (IC-Parc). It is currently copyrighted by Cisco Systems. In September 2006, it was released as open source software under the Cisco Systems|Cisco-style MPL, equivalent to the Mozilla Public License.

More precisely, ECLiPSe is a software system for the development and deployment of constraint programming applications, e.g. in the areas of planning, scheduling, resource allocation, timetabling, transport etc. It is also suited for teaching most aspects of combinatorial problem solving, e.g. problem modeling, constraint programming, mathematical programming, and search techniques. It contains several constraint solver libraries, a high-level modeling and control language, interfaces to third-party solvers, an integrated development environment and interfaces for embedding into host environments.

External links

* [http://eclipse-clp.org/ ECLiPSe]
* [http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521866286 "Constraint Logic Programming using Eclipse"] , textbook by Krzysztof Apt and Mark Wallace


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?
Synonyms:

Look at other dictionaries:

  • éclipse — [ eklips ] n. f. • v. 1150; lat. imp. eclipsis, gr. ekleipsis 1 ♦ Passage d un corps céleste dans la pénombre (éclipse partielle) ou l ombre (éclipse totale) d un autre. Éclipse du Soleil, son occultation par la Lune, pour un observateur… …   Encyclopédie Universelle

  • Eclipse — (englisch für „Finsternis, Verdunkelung“, aus altgriechisch ἔκλειψη) steht für Begriffe aus folgenden Bereichen: Musik The Dark Side of the Moon, Album von Pink Floyd (Arbeitstitel des Albums und ein Musikstück darauf) Eclipse (Yngwie Malmsteen… …   Deutsch Wikipedia

  • Eclipse — (англ. затмение) название разных объектов: Содержание 1 Самолёты 2 Автомобили 3 Суда …   Википедия

  • Eclipse — Saltar a navegación, búsqueda Para otros usos de este término, véase Eclipse (desambiguación). Un eclipse (del griego ekleipsis, que quiere decir ‘desaparición’, ‘abandono’) es un suceso en el que la luz procedente de un cuerpo celeste es… …   Wikipedia Español

  • Eclipse — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom.  Pour l’article homophone, voir Éclipse (homonymie) …   Wikipédia en Français

  • éclipse — ÉCLIPSE. s. f. Il se dit principalement de l obscurcissement du soleil à notre égard, par l interposition du corps de la lune, ou de l obscurcissement de la lune par l interposition de la terre. Éclipse de soleil. Éclipse de lune. L éclipse du… …   Dictionnaire de l'Académie Française 1798

  • Eclipse — E*clipse ([ e]*kl[i^]ps ), n. [F. [ e]clipse, L. eclipsis, fr. Gr. e kleipsis, prop., a forsaking, failing, fr. eklei pein to leave out, forsake; ek out + lei pein to leave. See {Ex }, and {Loan}.] 1. (Astron.) An interception or obscuration of… …   The Collaborative International Dictionary of English

  • ÉCLIPSE (L’) — ÉCLIPSE L’ (1868 1876) Hebdomadaire de quatre pages dont la première est en couleurs, L’Éclipse présente, dans la plupart des cas, une première page comportant un portrait charge, deux pages de textes amusants et une quatrième page en partie… …   Encyclopédie Universelle

  • eclipse — sustantivo masculino 1. Área: astronomía Ocultación parcial o total de un astro al interponerse otro entre él y un tercero. eclipse lunar o eclipse de luna. eclipse parcial. eclipse solar o eclipse de sol. eclipse total. 2. Pérdida gradual de… …   Diccionario Salamanca de la Lengua Española

  • eclipse — ECLIPSE. s. f. Il se dit de l obscurcissement du soleil à nostre égard par l interposition du corps de la lune, ou de l obscurcissement de la lune en soy par l interposition de la terre, Eclipse de soleil. eclipse de lune. l eclipse du soleil, l… …   Dictionnaire de l'Académie française

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”