106 Open Source Logic Programming Software Projects
Free and open source logic programming code projects including engines, APIs, generators, and tools.
Souffle 533 ⭐
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Pyswip 328 ⭐
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.
Natural_logic_interpreter 111 ⭐
Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
Delsat 42 ⭐
SAT and Answer Set solver for probability distribution-aware model sampling and multi-models optimization using Differentiable Satisfiability. :::::: Use cases: Probabilistic SAT solving, Probabilistic Answer Set Programming (Probabilistic ASP), ... ::::::
Lecturas_glc 31 ⭐
Readings on computational logic, interactive theorem proving and functional programming.
Lps Studio 28 ⭐
🎬 Logic-based interactive storytelling tool for running Logic Production System (LPS) programs using lps.js, Electron and Angular 🎨
Logica De Programacao 37 ⭐
:books: Repositório contendo vários exercícios de lógica de programação em diversas linguagens.
Gominikanren 25 ⭐
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
Awesome Neural Logic 74 ⭐
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。
Zamia Prolog 17 ⭐
Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
Acharal Wam 17 ⭐
A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
Othello Prolog 12 ⭐
:scroll: A fully functional Othello (Reversi) game, with several AIs, made in prolog for swipl.
Linearone 16 ⭐
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Logica 1381 ⭐
Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.
Amziprolog 82 ⭐
Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
Pylo2 77 ⭐
Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
Guan 40 ⭐
Guan is a general-purpose logic programming library with a C# API for external predicate implementation. It is a close approximation of Prolog, with extended capabilities and some differences.
Project Battle Ships Game 17 ⭐
This project will help you get more familiar with arrays. You will be recreating the game of battleships. A player will place 5 of their ships on a 10 by 10 grid. The computer player will deploy five ships on the same grid. Once the game starts the player and computer take turns, trying to sink each other's ships by guessing the coordinates to "attack". The game ends when either the player or computer has no ships left. link:https://courses.edx.org/courses/course-v1:Microsoft+DEV277x+1T2018/courseware/76c11a375a0e495e83ab68121566fb12/8f250da826d7405d8fecf99aca3a5e9a/?child=first
Dp Film Expert System 11 ⭐
Film expert system based on logic rules. Created at the Univeristy as the project within Declarative Programming classes in 2015. The purpose of this project was to creat expert system in Prolog and improve understanding of declarative programming paradigm.
Ddco Lab Ue18cs207 12 ⭐
A repository containing the source codes for the Digital Design and Computer Organization Laboratory course (UE18CS2) at PES University.
Awesome Agi Cocosci 47 ⭐
An awesome & curated list for Artificial General Intelligence, an emerging inter-discipline field that combines artificial intelligence and computational cognitive sciences.