logic-programming

0La chaleur

3Répondre

Aide avec les clauses de prolog

emissionOf(alpha). emissionOf(beta). detected(proton), detected(electron) :- emissionOf(alpha), emissionOf(beta). Je suis confronté au problème que pour une raison (probablement évidente) Prolog

prolog logic-programming 2010-09-23

---

7La chaleur

2Répondre

Une question sur la logique et la correspondance de Curry-Howard

Pourriez-vous m'expliquer quelle est la connexion de base entre les principes fondamentaux de la programmation logique et le phénomène de similarité syntaxique entre les systèmes de types et la logiqu

logic logic-programming type-theory curry-howard 2010-05-13

---

29La chaleur

7Répondre

Programmation relationnelle/logique en Python?

Je suis un développeur python de longue date et j'ai récemment découvert Prolog. J'aime le concept d'utiliser des règles de relation pour certains types de tâches, et j'aimerais l'ajouter à mon répert

python prolog logic-programming 2009-12-16

---

3La chaleur

1Répondre

Question de logique de clausal: qu'est-ce qu'une interprétation de Herbrand

J'ai du mal à comprendre la logique relationnelle de la clausalité, et je ne suis pas sûr que ce soit l'endroit à demander, mais ça m'aiderait beaucoup avec révision si quelqu'un pouvait donner des co

logic prolog logic-programming 2010-05-17

---

0La chaleur

2Répondre

Prolog: X est le grand-père de Y

On suppose que les faits suivants sont déjà entrées dans la base de données Prolog: father(X, Y) // X is the father of Y mother(X, Y) // X is the mother of Y male(X) // X is a male female(X) /

prolog logic-programming 2010-12-07

---

9La chaleur

3Répondre

Prolongé en Prolog

Quelle est l'idée générale d'utiliser breadth-first sur le schéma de recherche en profondeur par défaut dans Prolog? Vous ne prenez pas les branches infinies? Y at-il de façon générale à utiliser en l

prolog breadth-first-search logic-programming 2009-04-20

---