La programmation logique est considérée comme une programmation déclarative plutôt qu'impérative, car elle s'attache davantage au quoi qu'au comment, le moteur assumant une large part des enchaînements.
Elle est particulièrement adaptée aux besoins de l'intelligence artificielle, dont elle est un des principaux outils.
La logique — du grec λογική / logikê, qui est un terme dérivé de λόγος / lógos signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte.
Depuis plus de 2000 ans, la logique est essentiellement utilisée pour « modéliser des arguments exprimés en langage naturel » et pour formaliser le raisonnement : c'est-à-dire que le rôle de la logique est de fournir un moyen de répondre aux ambiguïtés qui surgissent lorsque nous utilisons notre langage.