Prolog programming language

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:programming_language
gptkbp:designedBy	gptkb:Alain_Colmerauer gptkb:Philippe_Roussel
gptkbp:domain	gptkb:artificial_intelligence natural language processing computational linguistics expert systems
gptkbp:fileExtension	.pl .pro .P
gptkbp:firstAppearance	1972
https://www.w3.org/2000/01/rdf-schema#label	Prolog programming language
gptkbp:implementedIn	gptkb:SICStus_Prolog gptkb:SWI-Prolog gptkb:YAP_Prolog gptkb:GNU_Prolog gptkb:ECLiPSe_Prolog
gptkbp:influenced	gptkb:Lambda_Prolog gptkb:Clojure_core.logic gptkb:Datalog gptkb:Erlang_programming_language gptkb:Oz_programming_language gptkb:Turbo_Prolog gptkb:Visual_Prolog Mercury programming language B-Prolog Constraint logic programming Amzi! Prolog Answer set programming Arity/Prolog JLog Jekejeke Prolog Logtalk Strawberry Prolog
gptkbp:influencedBy	gptkb:LISP_programming_language gptkb:Planner_programming_language predicate logic resolution principle Algebraic logic
gptkbp:license	varies by implementation
gptkbp:notableFeature	backtracking pattern matching Horn clauses rule-based syntax unification logical variables
gptkbp:paradigm	logic programming declarative programming
gptkbp:standardizedBy	gptkb:ISO/IEC_13211-1
gptkbp:typingDiscipline	dynamic
gptkbp:website	https://www.swi-prolog.org/
gptkbp:bfsParent	gptkb:ISO/IEC_13211 gptkb:Information_technology_—_Programming_languages_—_Prolog_—_Part_1:_General_core gptkb:ISO/IEC_JTC_1/SC_22
gptkbp:bfsLayer	7