Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Prolog implementation
|
| gptkbp:developer |
gptkb:Universidad_Politécnica_de_Madrid
|
| gptkbp:feature |
concurrency
support for functional programming modular programming support for higher-order programming constraint logic programming automatic optimization distributed execution automatic program verification automatic documentation generation static and dynamic typing support for ISO Prolog standard support for constraint programming support for object-oriented programming |
| https://www.w3.org/2000/01/rdf-schema#label |
Ciao Prolog
|
| gptkbp:license |
gptkb:GPL
|
| gptkbp:platform |
Cross-platform
|
| gptkbp:programmingLanguage |
gptkb:Prolog
|
| gptkbp:website |
https://ciao-lang.org/
|
| gptkbp:bfsParent |
gptkb:Edinburgh_Prolog
gptkb:Fuzzy_Prolog |
| gptkbp:bfsLayer |
7
|