Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

logic programming · Vinony

EntityQ275603· pop 38· linked from 416 articles

logic programming

Sign in to save

programming paradigm based on formal logic

Connections

Artificial intelligence

University of Edinburgh

relational database

boolean satisfiability problem

concurrent computing

Fifth Generation Computer Systems

answer set programming

Inductive logic programming

John Alan Robinson

International Standard Book Number

computer program

Wayback Machine

Massachusetts Institute of Technology

Categories

Computer-related introductions in 1972 Logic Logic programming Programming paradigms

Sources

wikipedia.externallinksexternallink

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

logical language

Entitydist 0.23

Entitydist 0.24

logic synthesis

Entitydist 0.34

Inductive logic programming

Entitydist 0.35

computational logic

Entitydist 0.36

Entitydist 0.36

semantics of logic

Entitydist 0.37

classical logic

Entitydist 0.38

description logic

Entitydist 0.38

Situation calculus

Entitydist 0.39

philosophy of logic

Entitydist 0.39

lambda calculus

Entitydist 0.39

What links here416 pages

Fifth Generation Computer Systems

constraint programming

object-oriented programming

distributed computing

procedural programming

attribute-oriented programming

Web Ontology Language

prototype-based programming

recursive definition

Navigational database

reflective programming

knowledge-based system

data-driven programming

probabilistic logic

region-based memory management

David H. D. Warren

Situation calculus

inference engine