Programmes logiques

Définition

Les programmes logiques (LP) sont des programmes logiciels écrits à l'aide de langages de programmation dont les primitives et les expressions fournissent des représentations directes de constructions tirées de la logique mathématique. Prolog est un exemple de langage de programmation logique à usage général.

Les LP représentent l'application directe de la programmation logique pour résoudre des problèmes. La programmation logique est caractérisée par des approches hautement déclaratives basées sur une logique formelle et a une large application dans de nombreuses disciplines.

voir Système de raisonnement

Français

Programmes logiques

Anglais

Logic programs

Source : Wikipedia