PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
A batteries-included kit for knowledge graphs
A state of the art knowledge base
Python library that enables using prolog syntax and logic programming in python
Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
Marcel Robeer (2015-2019) *** Developed for Utrecht University RE Lab
This project is a simple implementation of a knowledge-based system. It is a simple ChatBot. There is a prolog file that defines the knowledge base. The questions are handled with python. The key idea is mapping different questions for the same answer. The simplest way is finding keywords in the question. Using the keywords, a query is performed…
custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
Time Warp Studio is a unified desktop programming environment designed for educators and students. It brings together 20 programming languages spanning six decades of computing history into a single, modern IDE. Built with Python and PySide6 (Qt6), it provides an integrated platform for learning programming concepts, exploring vector turtle graphic
Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
Logic plus python types
Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
[EMNLP'23] Code for Generating Data for Symbolic Language with Large Language Models
A program that allows you to translate neural networks created with Keras to fuzzy logic programs, in order to tune these networks from a given dataset.
Prolog implemented in Python
Mimicking minikanren logic programming in Python using logpy/kanren library.
A desktop application implementing Attempto Controlled English for logical reasoning.
Argument Mining from online debates and hybrid-semantics reasoning
Add a description, image, and links to the prolog topic page so that developers can more easily learn about it.
To associate your repository with the prolog topic, visit your repo's landing page and select "manage topics."