with tutorial the framework español applications python prolog logic-programming

tutorial - ¿Programación relacional/lógica en Python?



the django project (7)

Es posible que desee usar pyDatalog , una biblioteca de programación lógica que desarrollé para Python implementando Datalog . También funciona con SQLAlchemy para consultar bases de datos relacionales mediante cláusulas lógicas.

Soy un desarrollador de Python desde hace mucho tiempo y recientemente he sido introducido a Prolog. Me encanta el concepto de usar reglas de relación para ciertos tipos de tareas, y me gustaría agregar esto a mi repertorio.

¿Existen bibliotecas buenas para la programación lógica en Python? He hecho algunas búsquedas en Google pero solo encontré lo siguiente:

serie de blogs de jtauber en relational_python

Me encantaría compararlo con otros ... ¡gracias!

-aj



Quizás deberías buscar en Google "Programación lógica en Python". Pyke parece prometedor:

Pyke introduce una forma de programación lógica (inspirada por Prolog) en la comunidad de Python al proporcionar un motor de inferencia basado en el conocimiento (sistema experto) escrito en 100% Python.

A diferencia de Prolog, Pyke se integra con Python, lo que le permite invocar Pyke desde Python y mezclar declaraciones y expresiones Python dentro de las reglas de su sistema experto.




Una implementación reciente de Prolog en Python (o más bien RPython) en Pyrolog . Todavía es bastante experimental.


LogPy es una implementación de miniKanren , un lenguaje de programación relacional, en Python. Sigue la tradición de core.logic , la solución de programación lógica preeminente en Clojure. LogPy fue diseñado para la interoperabilidad con bases de código preexistentes.