Prolog

GPTKB entity

Statements (42)
Predicate Object
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