Programmes logiques

Définition

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.

voir Système de raisonnement

Français

programmes logiques

Anglais

logic programs

Logic programming

LP

Source : Wikipedia