ECLiPSe: differenze tra le versioni

Versione delle 15:57, 7 ago 2019

Versione attuale delle 10:37, 16 mar 2025

(10 versioni intermedie di 9 utenti non mostrate)

Riga 1:

'''ECLiPSe'''<ref name="eclweb">{{Cita web|url=http://eclipseclp.org|titolo=ECLiPSe Web Site|sito=eclipseclp.org}}</ref> è un sistema software per lo sviluppo e l'implementazione di applicazioni di [[Programmazione a vincoli|Constraint Programming]], ad esempio nelle aree di [[Ottimizzazione (matematica)|ottimizzazione]], [[pianificazione]], trasporto ecc. Contiene librerie di risolutori di vincoli, un [[linguaggio di modellazione]] e controllo di alto livello (un superset di [[Prolog]]), interfacce con solutori di terze parti, un [[ambiente di sviluppo integrato]] e interfacce per l'incorporamento in ambienti host.

ECLiPSe è stato sviluppato fino al 1995 presso l'European Computer-Industry Research Centre (ECRC) di [[Monaco di Baviera|Monaco]] e quindi fino al 2005 presso il Center for Planning and Resource Control [[Imperial College London|dell'Imperial College London]] (IC-Parc). È stato acquistato da [[Cisco Systems]] . Nel settembre 2006 è stato rilasciatodistribuito come software open source con un equivalente della [[Mozilla Public License|licenza pubblica Mozilla]] e ora è ospitato su [[SourceForge]].

== Linguaggio ==

Il linguaggio ECLiPSe<ref name="overview">{{Cita pubblicazione|autore=Schimpf|nome=Joachim|titolo=ECLiPSe - from LP to CLP|rivista=Theory and Practice of Logic Programming|volume=12|pp=127–156127-156|doi=10.1017/S1471068411000469|autore2=Shen|nome2=Kish}}</ref> è ampiamente compatibile con le versioni precedenti di [[Prolog]] e supporta diversi dialetti, incluso [[Prolog|ISO Prolog]] . Grazie alla sua natura dichiarativa, può essere utilizzato sia come linguaggio di modellazione per la descrizione dei problemi sia come [[linguaggio di programmazione]] generico.

Oltre ai tipi di dati Prolog di base, sono disponibili: [[Stringa (informatica)|stringhe]], numero intero a precisione illimitata, numeri razionali. Sono supportate anche strutture dati particolarmente utili nella modellazione dei vincoli.

== Librerie ==

ECLiPSe fornisce diverse librerie di risolutori di [[Programmazione a vincoli|vincoli]] tra cui: vincoli aritmetici su domini finiti, vincoli di set finiti, propagazione generalizzata, ragionamento su intervalli su vincoli non lineari, interfacce con solutori [[Simplesso|simplex]] esterni e constraint handling rules (CHR). Altre librerie implementano i metodi di ricerca come [[Branch and bound|branch-and-bound]].

ECLiPSe può interfacciarsi a risolutori esterni, in particolare con i risolutori di programmazione lineare e mista-integrale COIN-OR, [[CPLEX]], Gurobi e Xpress-MP,<ref>{{Cita libro|autore=K. Shen|autore2=J. Schimpf|titolo=Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming|editore=Springer|città=Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges|pp=622–636622-636|ISBN=978-3-540-32050-0|DOI=10.1007/11564751_46}}</ref> e la libreria di solutori Gecode .

Le librerie di compatibilità per [[Prolog|ISO Prolog]]<ref>{{Cita web|url=http://eclipseclp.org/Specs/iso_conformity.html|titolo=ECLiPSe ISO conformity declaration|sito=eclipseclp.org}}</ref> e altri dialoghidialetti [[Prolog]] (C-Prolog, Quintus, [[Prolog|SICStus]], [[SWI-Prolog]]) consentono il riutilizzo di librerie scritte in quei dialetti.

Altre librerie di utilità, incluso un certo numero di popolari [[Pubblico dominio|versioni di dominio pubblico]], sono incluse nella distribuzione.

== link esternoNote ==

<references/>

== Collegamenti esterni ==

* {{Sito ufficiale|eclipseclp.org}}

* {{SourceForge|eclipse-clpCollegamenti esterni}}

* {{SourceForge}}

* [http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521866286 ''Programmazione della logica di vincolo tramite ECLiPSe''] [http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521866286], libro di testo di Krzysztof Apt e Mark Wallace

* [http://www.anclp.pl/ ''Una guida rapida e delicata alla programmazione della logica dei vincoli tramite ECLiPSe''] [http://www.anclp.pl/], libro di testo di Antoni Niederliński

* [https://web.archive.org/web/20110819045014/http://4c.ucc.ie/~hsimonis/ELearning/ ''Sito Web di eLearning ECLiPSE''] [https://web.archive.org/web/20110819045014/http://4c.ucc.ie/~hsimonis/ELearning/] (con video tutorial)

== Riferimenti ==

{{References}}

== Collegamenti esterni ==

* {{Collegamenti esterni}}

[[Categoria:Linguaggi di programmazione logica]]