ECLiPSe a řešení úloh s omezujícími podmínkami
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F02%3A03077027" target="_blank" >RIV/68407700:21230/02:03077027 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
ECLiPSe a řešení úloh s omezujícími podmínkami
Popis výsledku v původním jazyce
ECLiPSe (ECLiPSe Common Logic Programming System) je systém založený na Prologu, jehož hlavním cílem je sloužit jako platforma integrující různá rozšíření logického programování, zejména logického programování s omezujícími podmínkami (Constraint Logic Programming CLP). Tento dokument popisuje základy tohoto systému, jeho instalaci, nastavení a použití základních knihoven pro řešení úloh v oblasti CLP.
Název v anglickém jazyce
ECLiPSe and Solving Constrained Problems
Popis výsledku anglicky
ECLiPSe (ECLiPSe Common Logic Programming System) is a Prolog based system whose aim is to serve as platform for integrating various Logic Programming extensions, in particular Constraint Logic Programming (CLP). This report describes basics of this system, its installation, settings and usage of basic libraries for solving CLP problems.
Klasifikace
Druh
O - Ostatní výsledky
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2002
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů