Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Python Logic Programming Open Source Projects

Open source projects categorized as Python Logic Programming
Categories > Programming Languages > Logic Programming
Oso ⭐ 3,335
Oso is a batteries-included framework for building authorization in your application.
dependent packages 12total releases 48most recent commit 3 months agonpm oso} Downloads
Logpy ⭐ 736
Logic Programming in Python
dependent packages 1total releases 14most recent commit 5 years agopypi logic} Downloads
Pyswip ⭐ 383
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
dependent packages 9total releases 13most recent commit a year agopypi pyswip} Downloads
Pyneuralogic ⭐ 261
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
total releases 44most recent commit 4 months ago
Neural Logic Machines ⭐ 157
Implementation for the Neural Logic Machines (NLM).
most recent commit 5 years ago
Kanren ⭐ 115
An extensible, lightweight relational/logic programming DSL written in pure Python
dependent packages 5total releases 9most recent commit a year agopypi miniKanren} Downloads
Pyreason ⭐ 114
An explainable inference software supporting annotated, real valued, graph based and temporal logic
total releases 75most recent commit 3 months ago
Natural_logic_interpreter ⭐ 105
Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
most recent commit 6 years ago
Hydiomatic ⭐ 79
The Hy Transformer
total releases 3most recent commit 5 years ago
Pytholog ⭐ 76
Python library that enables using prolog syntax and logic programming in python
total releases 11most recent commit a year ago
Pylo2 ⭐ 67
Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
most recent commit 3 years ago
Pyscheme ⭐ 29
A small demo lambda-language written in Python
most recent commit 6 years ago
Pattern_printing ⭐ 26
This repo is all about pattern printing .
most recent commit 2 years ago
Python For Data Professionals ⭐ 23
This course is designed to get a good grip on python programming, logic building, solving algorithm-based questions, data structures, understanding of data analytics, working with pandas, professional practices, and API building.
most recent commit a year ago
Modal_logic ⭐ 21
Final Year Masters Project: modal logic solver tableaux
most recent commit 2 years ago
Unification ⭐ 19
Straightforward unification in Python that's extensible via generic functions.
most recent commit 2 years ago
Zamia Prolog ⭐ 16
Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
total releases 1most recent commit 6 years ago
Loreleai ⭐ 15
A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
most recent commit 3 years ago
Samovar ⭐ 15
MIRROR of https://codeberg.org/catseye/Samovar : Model worlds using propositions and run simulations in them
most recent commit 5 months ago
Deeplogic ⭐ 14
DeepLogic: Towards End-to-End Differentiable Logical Reasoning
most recent commit 4 years ago
Pyreason Gym ⭐ 12
An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
most recent commit 6 months ago
Norm ⭐ 8
Neural Logic Programming Language
total releases 13most recent commit 4 years ago
Logicpy ⭐ 8
Prolog Implementation in Python
most recent commit 6 years ago
The 4 Most Depended On Python Logic Programming Open Source Projects
Oso ⭐ 3,335
Oso is a batteries-included framework for building authorization in your application.
dependent packages 12total releases 48latest release April 03, 2023most recent commit 3 months agonpm oso} Downloads
Kanren ⭐ 115
An extensible, lightweight relational/logic programming DSL written in pure Python
dependent packages 5total releases 9latest release January 19, 2022most recent commit a year agopypi miniKanren} Downloads
Logpy ⭐ 736
Logic Programming in Python
dependent packages 1total releases 14latest release September 06, 2016most recent commit 5 years agopypi logic} Downloads
The 10 Latest Releases In Python Logic Programming Open Source Projects
Prology ⭐ 6
Logic Programming for Python3
latest release December 11, 2023most recent commit 8 years ago
Pyneuralogic ⭐ 261
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
total releases 44latest release November 14, 2023most recent commit 4 months ago
Pyreason ⭐ 114
An explainable inference software supporting annotated, real valued, graph based and temporal logic
total releases 75latest release October 11, 2023most recent commit 3 months ago
Oso ⭐ 3,335
Oso is a batteries-included framework for building authorization in your application.
dependent packages 12total releases 48latest release April 03, 2023most recent commit 3 months agonpm oso} Downloads
Iclingo ⭐ 6
🔴🟢🔵 clingo kernel for Jupyter
total releases 8latest release March 05, 2022most recent commit 8 months ago
Kanren ⭐ 115
An extensible, lightweight relational/logic programming DSL written in pure Python
dependent packages 5total releases 9latest release January 19, 2022most recent commit a year agopypi miniKanren} Downloads
Pytholog ⭐ 76
Python library that enables using prolog syntax and logic programming in python
total releases 11latest release November 16, 2020most recent commit a year ago
Norm ⭐ 8
Neural Logic Programming Language
total releases 13latest release September 17, 2019most recent commit 4 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.