cherche meilleur façon de "Prologuer" à partir de python3

Prolog,pylog,pyke,etc.

a marqué ce sujet comme résolu.

Salut, je cherche la meilleure alternative pour faire de la logique à la Prolog à partir de python3 : etre pythonique tout en ayant la profondeur de Prolog.

Si c’est écris en 100% python, c’est mieux, pour l’ accelerer via pypy ou nuitka.

Que me conseillez vous ?

y’a swi-prolog sur lequel je bidouille en ce moment pour ceux qui veulent tester.

pour alimenter le sujet: https://github.com/baojie/pydatalog/blob/master/pyDatalog/examples/SQLAlchemy.py

https://sites.google.com/site/pydatalog/3---datalog-and-data-integration

+0 -0

Que penses-tu de pyDatalog ?

A pure-python implementation of Datalog, a truly declarative language derived from Prolog.
…
pyDatalog adds the logic programming paradigm to Python’s toolbox, in a pythonic way. You can now run logic queries on databases or Python objects, and use logic clauses to define python classes. In particular, pyDatalog can be used as a query language

https://pypi.python.org/pypi/pyDatalog

+1 -0

waow vous avez été super rapide !

oui pydatalog a l’ air interessant, faut que je creuse par là

FOSDEM 2014 avec pydatalog : https://www.youtube.com/watch?v=JNMR18Ldbcw

un peu aussi à l’ EUROpython 2017: https://www.youtube.com/watch?v=3QtAlB3NZII

un slide : https://fr.slideshare.net/PierreCarbonnelle/logic-programming-in-python

logpy peut etre aussi tres bon, faut que je compare les deux.

+0 -0
Connectez-vous pour pouvoir poster un message.
Connexion

Pas encore membre ?

Créez un compte en une minute pour profiter pleinement de toutes les fonctionnalités de Zeste de Savoir. Ici, tout est gratuit et sans publicité.
Créer un compte