Logic programming

programming paradigm based on formal logic

algorithmic process of solving equations between symbolic expressions

in logic, disjunction of literals

inference engine in an expert system

programming paradigm focused on difficult search problems

computer program typically used to provide some form of artificial intelligence

the problem of finding adequate collections of axioms for a viable description of a robot environment using first-order logic

non-monotonic inference rule implying that the impossibility to derive a statement allows to infer its negation

formal-logic assumption that any statement that is not known to be true is false

type of non-monotonic logic

programming paradigm that combines logic programming with functional programming

Reasoning that is rationally compelling, though not deductively valid

process of changing beliefs to take into account a new piece of information

programming paradigm based on abductive reasoning

concept in logic; syntactic transformation on formal expressions

formal language for predicate transformer semantics introduced by by Edsger Dijkstra

abstract machine for the execution of Prolog

means of expressing grammatical relationships

logic formalism

In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects.

the basic inference rule used in logic programming