Syntax and semantics of logic programming
id:
syntax-and-semantics-of-logic-programming-278-12622960
title:
Syntax and semantics of logic programming
text:
Logic programming is a programming paradigm that includes languages based on formal logic, including Datalog and Prolog. This article describes the syntax and semantics of the purely declarative subset of these languages. Confusingly, the name "logic programming" also refers to a specific programming language that roughly corresponds to the declarative subset of Prolog. Unfortunately, the term must be used in both senses in this article. Declarative logic programs consist entirely of rules of th
brand slug:
wiki
category slug:
encyclopedia
description:
Formal semantics of logic programming languages
original url:
https://en.wikipedia.org/wiki/Syntax_and_semantics_of_logic_programming
date created:
date modified:
2024-02-12T10:07:30Z
main entity:
{"identifier":"Q117196284","url":"https://www.wikidata.org/entity/Q117196284"}
image:
fields total:
13
integrity:
14