Qu-Prolog

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:designedFor symbolic computation
gptkbp:developedBy gptkb:Queensland_University_of_Technology
gptkbp:firstAppearance late 1980s
gptkbp:hasFeature message passing
higher-order programming
term pattern matching
https://www.w3.org/2000/01/rdf-schema#label Qu-Prolog
gptkbp:implementedIn Qu-Prolog system
gptkbp:influencedBy gptkb:Prolog
gptkbp:paradigm logic programming
gptkbp:supports distributed computing
multi-threading
gptkbp:usedFor automated reasoning
theorem proving
gptkbp:bfsParent gptkb:CLP(R)
gptkbp:bfsLayer 7