Awesome Open Source

Programming Languages

Search results for python logic programming

logic-programming x

29 search results found

Oso is a batteries-included framework for building authorization in your application.

Logic Programming in Python

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.

Pyneuralogic ⭐ 261

PyNeuraLogic lets you use Python to create Differentiable Logic Programs

Neural Logic Machines ⭐ 157

Implementation for the Neural Logic Machines (NLM).

An extensible, lightweight relational/logic programming DSL written in pure Python

Pyreason ⭐ 114

An explainable inference software supporting annotated, real valued, graph based and temporal logic

Natural_logic_interpreter ⭐ 105

Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic

Hydiomatic ⭐ 79

The Hy Transformer

Pytholog ⭐ 76

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.

Pyscheme ⭐ 29

A small demo lambda-language written in Python

Pattern_printing ⭐ 26

This repo is all about pattern printing .

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.

Modal_logic ⭐ 21

Final Year Masters Project: modal logic solver tableaux

Unification ⭐ 19

Straightforward unification in Python that's extensible via generic functions.

Zamia Prolog ⭐ 16

Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.

Loreleai ⭐ 15

A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis

MIRROR of https://codeberg.org/catseye/Samovar : Model worlds using propositions and run simulations in them

Deeplogic ⭐ 14

DeepLogic: Towards End-to-End Differentiable Logical Reasoning

Pyreason Gym ⭐ 12

An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting

Neural Logic Programming Language

Prolog Implementation in Python

Wviews is an artificial intelligence system extension for generating world view answer sets for epistemic logic programs

Neurolang ⭐ 6

Neurolang enables the analysis of NeuroImaging data through probabilistic logic programming. It seamlessly allow to combine, images, databases, and ontologies within a single framework.

Logic Programming for Python3

🔴🟢🔵 clingo kernel for Jupyter

Answer Set Programming Algorithms ⭐ 5

Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.

virtual pet made using pygame library

Related Searches

Python Django (28,897)

Python Machine Learning (20,195)

Python Flask (17,643)

Python Dataset (14,792)

Python Docker (14,113)

Python Tensorflow (13,736)

Python Command Line (13,351)

Python Deep Learning (13,092)

Python Jupyter Notebook (12,976)

Python Network (11,495)

1-29 of 29 search results

Privacy | About | Terms | Follow Us On Twitter

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