Interactive map loads when it comes into view.
Use the mouse wheel or two fingers (on touchscreens) to zoom in and out of the map.
Research this topic
Explore the main themes, entities and connections around Logic programming. Start with the topic map, then use the sections below for research and deeper semantic analysis.
Explore this topic
Start with a few of the strongest sections from the source topic. These are research directions, not a list of keywords you must use.
History
51 related topics
Concepts
44 related topics
Variants and extensions
41 related topics
Overview
20 related topics
Key facts & relationships
High-confidence facts extracted from structured source data. Use them as anchors for further research.
Topics to explore
A structured outline of related entities, concepts and subtopics. Open any item to build a new map centered on it.Browse the full topic structure. Each item opens a new analysis centered on that subject.
Overview
- Programming Programming paradigm
- Database
- Knowledge representation
- Logic
- Prolog
- Answer Set Programming
- Datalog
- Clauses Clause (logic)
- Literals Literal (mathematical logic)
- Horn clauses Horn clause
- Atomic formulae Atomic formula
- Turing complete Turing completeness
- Predicate Predicate (mathematical logic)
- Non-monotonic logic
- Declarative Declarative programming
- Procedural Procedural programming
- Negation as failure
- Formal methods
- Program verification Formal verification
- Program transformation
History
- Computer programs Computer program
- Lambda calculus
- Alonzo Church
- Clausal Clausal normal form
- Cordell Green
- LISP
- Absys
- Artificial intelligence
- Stanford Stanford University
- John McCarthy John McCarthy (computer scientist)
- Bertram Raphael
- Edinburgh University of Edinburgh
- John Alan Robinson
- Syracuse University
- Pat Hayes Patrick J. Hayes
- Robert Kowalski
- MIT
- Marvin Minsky
- Seymour Papert
- Planner Planner (programming language)
- Carl Hewitt
- Backward chaining
- Forward chaining
- Gerry Sussman Gerald Jay Sussman
- Eugene Charniak
- Terry Winograd
- SHRDLU
- QA4 Richard Waldinger
- Alain Colmerauer
- Marseille
Concepts
- And-or tree
- Tabling
- Relational databases
- Ciao Ciao (programming language)
- MiniKanren
- Logical consequence
- Models Structure (mathematical logic)
- Theorem-proving Automated theorem proving
- First-order logic
- Proof-theoretic (or operational) semantics Proof-theoretic semantics
- Satisfiability
- Intended (or standard) model Intended interpretation
- Least fixed point
- Successor arithmetic Peano arithmetic
- Micro-Planner Micro-Planner (programming language)
- Keith Clark Keith Clark (computer scientist)
- Unification Unification (computer science)
- Circumscription Circumscription (logic)
- Ray Reiter's Raymond Reiter
- Closed world assumption
- Well-founded semantics
- Inductive definition
- XSB Prolog XSB
- Stable model semantics
- Stratified Syntax and semantics of logic programming
- Abstract argumentation frameworks Argumentation framework
- Metaprogramming
- Vanilla Vanilla (computing)
- Metalogic
- Metalanguage
Variants and extensions
- Stack Stack (abstract data type)
- Backtracks Backtracking
- Cut Cut (logic programming)
- Toy blocks world example above Logic programming
- ALF Algebraic Logic Functional programming language
- Fril
- Gödel Gödel (programming language)
- Mercury Mercury programming language
- Oz Oz (programming language)
- Visual Prolog
- ΛProlog
- Constraint solving
- Civil engineering
- Mechanical engineering
- Digital circuit
- Automated timetabling
- Air traffic control
- Abductive logic programming
- Relational operations Relational database
- Tabling Tabled logic programming
- DPLL algorithm
- Boolean SAT solver
- Abductive reasoning
- Machine learning
- Induces Inductive reasoning
- Statistical relational learning
- Probabilistic inductive logic programming
- Concurrent programming
- Japanese Fifth Generation Project (FGCS) Fifth generation computer
- Horn clauses
Sources
- Doi Doi (identifier)
- S2CID S2CID (identifier)
- Gabbay, Dov M. Dov Gabbay
Advanced semantic analysis
Deeper signals for content research, entity SEO and topical coverage. The plain-language headings explain what each technical view is useful for.
Map overview Semantic statistics
Number of nodes, edges, triples, density and central hubs. Use it to gauge the size and connectivity of the map.Logic programming
Nodes165
Edges164
Triples194
Avg. degree1.99
Density0.012121
Components1
How this topic connects Entity context
Quick relationship hints grouped by predicate. Useful for spotting recurring semantic connections around the current entity.See the strongest relationship patterns around the current topic before diving into the raw triples.
Logic programming
Top relations
related to Other sources · 39
Logic programming → Andre, Annals, Applied Logic, Artificial Intelligence, CACM, Christopher John, Concurrent Prolog, Dale, December, Deductive Question-Answering Program, Dov, Editor, Ehud Shapiro, England, Experiments, Frank, Gabbay, Gopalan, Handbook, Hogger
related to Further reading · 26
Logic programming → AAAI Spring Symposium, ACM Comput, AI Research, Andrei Voronkov, Applications, Carl Hewitt, Complexity, Evgeny Dantsin, Georg Gottlob, IJCAI, Jan Maluszynski, Knowledge, Lessons, Logic, Planner, Procedural Embedding, Programming, Prolog, Reincarnated, Surv
related to history · 21
Logic programming → Advocates, Alonzo Church, Bertram Raphael, Cordell Green, Edinburgh, Elcock's Absys, Foster, However, John Alan Robinson, John McCarthy, LISP, Logic, Marvin Minsky, MIT, Pat Hayes, Robert Kowalski, Seymour Papert, Stanford, Syracuse University, The
related to General introductions · 13
Logic programming → ACM, Baral, Communications, Foundations, Gelfond, Kowalski, Lloyd, Logic, PDF, S2CID, Springer-Verlag, The, The Journal
related to External links · 12
Logic programming → ALP, Archived, CastorLogic, Logic, Logic Programming Archived, Logic Programming Virtual Library, OzProlog Development Center Racklog, Practice, Racket, Theory, Wayback Machine, Wayback MachineAssociation
related to Relationship with the Computational-representational understanding of mind · 10
Logic programming → Among, Cognitive Science, For, He, IF, In, Introduction, Paul Thagard, Sentences, THEN
related to Knowledge representation · 8
Logic programming → Commonsense, Here, However, Moreover, Prolog, The, These, This
related to Linear logic programming · 8
Logic programming → ACL, Basing, Forum, Horn, In, LO, Lolli, Some
related to Constraint logic programming · 6
Logic programming → An, CLP, Constraint, Horn, It, Procedurally
related to Abductive logic programming · 5
Logic programming → Abductive, ALP, CLP, For, In ALP
Important terminology Word statistics
Frequent words and multi-word phrases across the lead, headings, infobox and body. Useful for terminology coverage.Use these terms to understand the vocabulary surrounding the topic, not as a checklist for keyword stuffing.
Important terminology
logic programming program semantics prolog also example logical clause programs reasoning knowledge rules used clauses goal use model languages horn
Entity relationships Subject–Predicate–Object triples
Extracted RDF-like relationships with confidence and source. The table includes structured facts and lower-confidence contextual relations.| Subject | Predicate | Object | Confidence | Src |
|---|---|---|---|---|
| Logic programming | is a | programming | 0.90 | text |
| Lisp | instance of | Experiments demonstrated that Edinburgh Prolog could compete with the processing speed of other symbolic programming languages | 0.80 | text |
| planning can be modeled by rule-based systems.also applies to logic programming.Other arguments showing how logic programming can be used to model aspects of human thinking are presented by Keith Stenning | instance of | and many kinds of thinking | 0.80 | text |
| Michiel van Lambalgen in their book | instance of | and many kinds of thinking | 0.80 | text |
| Human Reasoning | instance of | and many kinds of thinking | 0.80 | text |
| Cognitive Science | instance of | and many kinds of thinking | 0.80 | text |
| Logic programming | related to Abductive logic programming | Abductive | 0.60 | section |
| Logic programming | related to Abductive logic programming | ALP | 0.60 | section |
| Logic programming | related to Abductive logic programming | CLP | 0.60 | section |
| Logic programming | related to Abductive logic programming | In ALP | 0.60 | section |
| Logic programming | related to Abductive logic programming | For | 0.60 | section |
| Logic programming | related to Concurrent constraint logic programming | Concurrent | 0.60 | section |
No triples extracted yet.
Related concept clusters Concept neighborhoods
Clusters of nearby vocabulary surrounding the topic. Scan them for adjacent concepts and language you may have missed.These clusters group vocabulary that occurs around closely connected concepts in the source material.
Connections between topic areas Semantic bridges
Bridge nodes connect otherwise separate parts of the map. Expand a row to inspect the topic groups on each side.Bridges can reveal useful research angles that are easy to miss in a flat list of related terms.
For writers, content strategists, SEOs, marketers and creators — from quick topic research to advanced semantic analysis.