Logic programming

Computer Science Concepts
Programming Languages

Logic programming is a programming, database, and knowledge representation paradigm based on formal logic. Logic programs express knowledge about a problem domain as sentences in logical form, and computation applies logical reasoning to solve domain problems. Major language families include Prolog, Answer Set Programming and Datalog. Rules consist of a head and body, while queries state goals. Horn clause programs can be extended with negative conditions for practical applications.

The picture on this card was made with AI. It is an illustration, not a real photo of the subject.

Paradigm: Programming, database, and knowledge representation paradigm
Major language families: Prolog, Answer Set Programming (ASP), and Datalog
Computation: Applies logical reasoning to knowledge

Sources and credits

Article: Logic programming (English Wikipedia)
Wikidata: Q275603
Text: Card text is adapted from the English Wikipedia article by an automated summary. Wikipedia content is available under CC BY-SA 4.0; see the article history for its contributors. CC BY-SA 4.0 · Article history and contributors
Illustration: AI-generated illustration. Not a photograph or documentary image. (model: gpt-image-2.5-flare)
Popularity: 106 median daily views (Wikimedia Pageviews API (all-access, user agent))

Kosmora is not affiliated with or endorsed by the Wikimedia Foundation.