ECLiPSe (original) (raw)
ECLiPSe is a software system for the development and deployment of Constraint Programming applications, e.g. in the areas of optimization, 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 constraint solver libraries, a high-level modeling and control language (a superset of Prolog), interfaces to third-party solvers, an integrated development environment and interfaces for embedding into host environments.
| Property | Value |
|---|---|
| dbo:abstract | ECLiPSe is a software system for the development and deployment of Constraint Programming applications, e.g. in the areas of optimization, 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 constraint solver libraries, a high-level modeling and control language (a superset of Prolog), interfaces to third-party solvers, an integrated development environment and interfaces for embedding into host environments. ECLiPSe was developed until 1995 at the (ECRC) in Munich and then until 2005 at the Centre for Planning and Resource Control at Imperial College London (IC-Parc). It was purchased by Cisco Systems. In September 2006, it was released as open source software under an equivalent of the Mozilla Public License, and is now hosted on SourceForge. (en) ECLiPSe è un sistema software per lo sviluppo e l'implementazione di applicazioni di Constraint Programming, ad esempio nelle aree di 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 e quindi fino al 2005 presso il Center for Planning and Resource Control dell'Imperial College London (IC-Parc). È stato acquistato da Cisco Systems . Nel settembre 2006 è stato rilasciato come software open source con un equivalente della licenza pubblica Mozilla e ora è ospitato su SourceForge. (it) |
| dbo:genre | dbr:Constraint_logic_programming |
| dbo:latestReleaseVersion | 7.0 () |
| dbo:license | dbr:Mozilla_Public_Licence |
| dbo:operatingSystem | dbr:Cross-platform |
| dbo:programmingLanguage | dbr:Prolog dbr:C_(programming_language) |
| dbo:wikiPageExternalLink | http://www.anclp.pl/ http://www.cambridge.org/catalogue/catalogue.asp%3Fisbn=9780521866286 https://web.archive.org/web/20110819045014/http:/4c.ucc.ie/~hsimonis/ELearning/ |
| dbo:wikiPageID | 2626759 (xsd:integer) |
| dbo:wikiPageLength | 8062 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1120918316 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Prolog dbr:Algebraic_modeling_language dbr:Arbitrary-precision_arithmetic dbr:Resource_allocation dbc:Dynamically_typed_programming_languages dbc:Logic_programming_languages dbr:Cross-platform dbr:SWI-Prolog dbr:Gecode dbr:Cisco_Systems dbr:Munich dbr:Constraint_logic_programming dbr:Constraint_programming dbr:Control_flow dbr:Simplex dbr:Krzysztof_R._Apt dbr:Parallel_computing dbr:Planning dbr:Public_domain dbr:String_(computer_science) dbr:C++ dbr:COIN-OR dbr:C_(programming_language) dbr:Dataflow_programming dbr:Garbage_collection_(computer_science) dbr:Logic_programming dbc:High-level_programming_languages dbr:FICO_Xpress dbr:Mathematical_programming dbr:Record_(computer_science) dbr:Recursion dbr:Interval_arithmetic dbr:Java_(programming_language) dbc:Constraint_logic_programming dbr:Tcl dbr:Array_data_type dbc:Free_compilers_and_interpreters dbc:Prolog_programming_language_family dbr:CPLEX dbr:SourceForge dbr:Constraint_handling_rules dbr:Imperial_College_London dbr:Open_source_software dbr:Optimization dbr:Search_algorithm dbr:Mozilla_Public_License dbr:Virtual_machine dbr:Combinatorial dbr:Programming_language dbr:Scheduling_(production_processes) dbr:SICStus_Prolog dbr:Rational_data_type dbr:Mozilla_Public_Licence dbr:Warren_abstract_machine dbr:Foreach dbr:Module_system dbr:Branch-and-bound dbr:European_Computer‐Industry_Research_Centre |
| dbp:genre | dbr:Constraint_logic_programming |
| dbp:language | English (en) |
| dbp:latestReleaseVersion | 7 (xsd:integer) |
| dbp:license | dbr:Mozilla_Public_Licence |
| dbp:name | ECLiPSe Constraint Logic Programming System (en) |
| dbp:operatingSystem | dbr:Cross-platform |
| dbp:programmingLanguage | C, Prolog (en) |
| dbp:wikiPageUsesTemplate | dbt:Distinguish dbt:Infobox_software dbt:Official_website dbt:Reflist dbt:Start_date_and_age dbt:URL dbt:Mathematical_optimization_software dbt:Sourceforge |
| dct:subject | dbc:Dynamically_typed_programming_languages dbc:Logic_programming_languages dbc:High-level_programming_languages dbc:Constraint_logic_programming dbc:Free_compilers_and_interpreters dbc:Prolog_programming_language_family |
| gold:hypernym | dbr:System |
| rdf:type | owl:Thing dbo:Software schema:CreativeWork dbo:Work wikidata:Q386724 wikidata:Q7397 |
| rdfs:comment | ECLiPSe is a software system for the development and deployment of Constraint Programming applications, e.g. in the areas of optimization, 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 constraint solver libraries, a high-level modeling and control language (a superset of Prolog), interfaces to third-party solvers, an integrated development environment and interfaces for embedding into host environments. (en) ECLiPSe è un sistema software per lo sviluppo e l'implementazione di applicazioni di Constraint Programming, ad esempio nelle aree di 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. (it) |
| rdfs:label | ECLiPSe (en) ECLiPSe (it) |
| owl:differentFrom | dbr:Eclipse_(software) |
| owl:sameAs | freebase:ECLiPSe wikidata:ECLiPSe dbpedia-it:ECLiPSe https://global.dbpedia.org/id/4iTdC |
| prov:wasDerivedFrom | wikipedia-en:ECLiPSe?oldid=1120918316&ns=0 |
| foaf:homepage | http://eclipseclp.org |
| foaf:isPrimaryTopicOf | wikipedia-en:ECLiPSe |
| foaf:name | ECLiPSe Constraint Logic Programming System (en) |
| is dbo:wikiPageDisambiguates of | dbr:Eclipse_(disambiguation) |
| is dbo:wikiPageWikiLink of | dbr:Prolog dbr:List_of_programming_languages_by_type dbr:Narrowing_of_algebraic_value_sets dbr:Constraint_logic_programming dbr:Logtalk dbr:Comparison_of_Prolog_implementations dbr:Eclipse_(disambiguation) dbr:Backward_chaining |
| is foaf:primaryTopic of | wikipedia-en:ECLiPSe |