Programmes logiques

en construction

Définition

Logic programs (LPs) are software programs written using programming languages whose primitives and expressions provide direct representations of constructs drawn from mathematical logic. An example of a general-purpose logic programming language is Prolog. LPs represent the direct application of logic programming to solve problems. Logic programming is characterised by highly declarative approaches based on formal logic, and has wide application across many disciplines.

voir Système de raisonnement

Français

Programmes logiques

Anglais

Logic programs

Source : Wikipedia