GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Classical Logic Programming
URI:
https://gptkb.org/entity/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