Statements (61)
Predicate | Object |
---|---|
gptkbp:instance_of |
gptkb:language
|
gptkbp:based_on |
gptkb:Prolog
|
gptkbp:developed_by |
gptkb:organization
|
gptkbp:first_published |
gptkb:1995
|
gptkbp:has_feature |
gptkb:education
gptkb:software_framework gptkb:robot gptkb:document gptkb:Research_Institute tutorials workshops certification programs community support conferences database connectivity debugging tools exception handling garbage collection knowledge representation natural language processing object-oriented programming online resources semantic web technologies bioinformatics data mining type checking backtracking user groups AI planning development environments theorem proving commercial applications recursion constraint logic programming network programming input/output operations modules profiling tools academic courses multi-threading open-source implementations standard libraries graphical user interface support unification interoperability with other languages commercial implementations meta-programming list processing dynamic predicates foreign language interface web programming support constraint solving assert and retract distributed programming predicate indicators |
https://www.w3.org/2000/01/rdf-schema#label |
ISO Prolog
|
gptkbp:is_standardized_by |
ISO/ IEC 13211
|
gptkbp:supports |
logic programming
|
gptkbp:used_in |
gptkb:Artificial_Intelligence
|
gptkbp:bfsParent |
gptkb:SWI-Prolog
|
gptkbp:bfsLayer |
5
|