J'ai vu une voix quelque part sur le net disant "pyswip est pratique, mais il ne supporte pas python 3 ~ pleurer".
J'ai écrit cet article avec l'intention de signaler que "** python3.8.2 fonctionnait bien avec pyswip **".
C'est un slapstick, mais à moins que vous ne soyez un prophète, vous ne pouvez pas dire que cela fonctionne avec python3. Même si cela fonctionne avec python3.8.2, il n'y a aucune garantie logique qu'il fonctionnera avec python3.8.3 ou une version ultérieure. </ sub> </ sub>
１. pip install pyswip
2. Exécutez le code suivant
from pyswip import Prolog
p = Prolog()
p.assertz("father(michael, john)")
p.assertz("father(michael, gina)")
for s in p.query("father(X,Y)"):
print(s["X"], "is the father of", s["Y"])
micheal is the father of john
micheal is the father of gina
Référence: "Exemples" sur https://github.com/yuce/pyswip
Recommended Posts