gptkbp:instanceOf
|
gptkb:programming_language
|
gptkbp:category
|
gptkb:programming_language
declarative programming language
artificial intelligence programming language
|
gptkbp:designedBy
|
gptkb:Alain_Colmerauer
gptkb:Philippe_Roussel
|
gptkbp:fileExtension
|
.pl
.pro
|
gptkbp:firstAppearance
|
1972
|
https://www.w3.org/2000/01/rdf-schema#label
|
Prolog
|
gptkbp:implementedIn
|
gptkb:SICStus_Prolog
gptkb:SWI-Prolog
gptkb:YAP_Prolog
gptkb:GNU_Prolog
|
gptkbp:influenced
|
gptkb:Mercury
gptkb:Erlang
gptkb:Clojure_core.logic
gptkb:Datalog
gptkb:Oz
|
gptkbp:influencedBy
|
gptkb:LISP
Automated theorem proving
Planner
Algebraic logic
Horn clauses
|
gptkbp:license
|
varies by implementation
|
gptkbp:notableFeature
|
recursion
backtracking
pattern matching
rule-based syntax
unification
|
gptkbp:paradigm
|
logic programming
declarative programming
|
gptkbp:standardizedBy
|
gptkb:ISO/IEC_13211-1
|
gptkbp:typingDiscipline
|
dynamic
|
gptkbp:uses
|
gptkb:artificial_intelligence
natural language processing
theorem proving
expert systems
|
gptkbp:website
|
https://www.swi-prolog.org/
|
gptkbp:bfsParent
|
gptkb:list
gptkb:programming_language
|
gptkbp:bfsLayer
|
4
|