ECLiPSe and Solving Constrained Problems
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
ECLiPSe a řešení úloh s omezujícími podmínkami
Original language description
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.
Czech name
ECLiPSe a řešení úloh s omezujícími podmínkami
Czech description
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.
Classification
Type
O - Miscellaneous
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2002
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů