Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Logic Programming Open Source Projects

Open source projects categorized as Logic Programming
Categories > Programming Languages > Logic Programming
Curry Language Server ⭐ 18
IDE support for the functional logic language Curry
most recent commit 9 months ago
Awesome Neural Logic ⭐ 17
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。
most recent commit 4 years ago
Tabled Prolog Book ⭐ 17
Programming in Tabled Prolog by David S Warren
most recent commit 4 years ago
Logic Db ⭐ 17
Embedding a Prolog-like logic programming language in JavasScript and TypeScript.
most recent commit a year ago
Mathematical Logic ⭐ 17
数理逻辑
most recent commit 2 years ago
Reading Material ⭐ 16
Reading schedule and our library of pdfs
most recent commit 5 years ago
Minikanren Datalog ⭐ 16
Datalog implemented in minikanren
most recent commit 7 years ago
Prism ⭐ 16
probabilistic logic programming language for statistical modeling
most recent commit 5 months 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
Laurelang ⭐ 15
A pure logical, compact language. Compiler and abstract machine. WIP (research project at this point)
most recent commit 8 months 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
Angry Hex ⭐ 15
An artificial player for the popular video game Angry Birds
most recent commit 5 years ago
Alsprolog ⭐ 15
ALS Prolog Compiler & Development Environment
most recent commit 4 months ago
Debug_adapter ⭐ 15
Debug Adapter Protocol (DAP) implementation for SWI-Prolog
most recent commit 2 years ago
Dali ⭐ 15
DALI Multi Agent System Framework
most recent commit a year ago
Opiec ⭐ 15
oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus
most recent commit 6 months ago
Loreleai ⭐ 15
A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
most recent commit 3 years ago
Deeplogic ⭐ 14
DeepLogic: Towards End-to-End Differentiable Logical Reasoning
most recent commit 4 years ago
Service Fabric Healer ⭐ 14
Service Fabric Auto-Repair Service with Declarative Logic for Repair Policy Specification. Targets both Windows and Linux SF clusters.
total releases 29most recent commit 6 months ago
Scl Machine ⭐ 14
Software implementation of logic inference machine
most recent commit 3 months ago
Wam ⭐ 14
A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
most recent commit 4 years ago
Minilog ⭐ 14
A small relational (logic) programming language.
most recent commit 5 months ago
Whisper ⭐ 13
Logic programming, for Rust, from inside Rust.
most 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.