ECLiPSe: differenze tra le versioni

Versione delle 21:55, 19 set 2022

Versione attuale delle 10:37, 16 mar 2025

(3 versioni intermedie di 3 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.

Riga 11:

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 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 dialetti [[Prolog]] (C-Prolog, Quintus, [[Prolog|SICStus]], [[SWI-Prolog]]) consentono il riutilizzo di librerie scritte in quei dialetti.