Classical Logic Programming

GPTKB entity

Statements (49)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:basedOn gptkb:Classical_Logic
gptkbp:contrastsWith gptkb:Constraint_Logic_Programming
gptkb:Functional_Programming
Imperative Programming
Non-monotonic Logic Programming
gptkbp:executedBy Logic Programming Compiler
Logic Programming Interpreter
gptkbp:feature Declarative Semantics
Non-procedural Syntax
Rule-based Programming
gptkbp:hasConcept Backtracking
Horn Clauses
Goal-directed Execution
Logical Inference
gptkbp:hasSemantics Model-theoretic Semantics
Proof-theoretic Semantics
gptkbp:hasSyntax Rules
Queries
Facts
https://www.w3.org/2000/01/rdf-schema#label Classical Logic Programming
gptkbp:inferenceMechanism gptkb:government_agency
Unification
gptkbp:influenced gptkb:Inductive_Logic_Programming
gptkb:Constraint_Logic_Programming
gptkb:Answer_Set_Programming
gptkbp:influencedBy gptkb:logic
Automata Theory
gptkbp:limitation Limited expressiveness for certain problems
No support for Negation as Failure in pure form
gptkbp:notableContributor gptkb:Alain_Colmerauer
gptkb:Robert_Kowalski
J. Alan Robinson
gptkbp:notableFor gptkb:Expert_Systems
gptkb:Natural_Language_Processing
Symbolic Computation
Database Querying
gptkbp:notableLanguage gptkb:Prolog
gptkb:Datalog
gptkbp:originatedIn 1970s
gptkbp:relatedTo gptkb:Expert_Systems
gptkb:Automated_Theorem_Proving
Predicate Logic
First-order Logic
gptkbp:usedIn gptkb:artificial_intelligence
gptkb:knowledge_representation
gptkb:Automated_Reasoning
gptkbp:bfsParent gptkb:Fuzzy_Logic_Programming
gptkbp:bfsLayer 6