Parmi les concepts mathématiques fondamentaux à maitriser pour l'informatique figurent la théorie des ensembles, la théorie des graphes, les complexités des algorithmes, l'analyse combinatoire et la logique.
Les statistiques, les probabilités et l'algèbre linéaire sont également à connaître dans certaines spécialités.
La logique propositionnelle est une branche de la logique, de la philosophie et des mathématiques discrètes qui se concentre sur l'étude des énoncés et de leurs relations .
La discipline a été développée dans le but de formaliser le raisonnement logique sur des disciplines formelles telles que les mathématiques et a ensuite été étendue à l'informatique.
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.