Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 18 Artificial Intelligence Logic Programming Open Source Projects

Open source projects categorized as Artificial Intelligence Logic Programming
Categories > Artificial Intelligence > Artificial Intelligence
Categories > Programming Languages > Logic Programming
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
Gini ⭐ 125
A fast SAT solver
dependent packages 3total releases 33most recent commit 3 years ago
Gini ⭐ 121
A fast SAT solver
dependent packages 5total releases 23most recent commit 3 years ago
Rtec ⭐ 74
RTEC is an Event Calculus implementation optimised for stream reasoning
most recent commit 5 months 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
Diff Sat ⭐ 56
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
most recent commit 3 months ago
Lps Studio ⭐ 27
🎬 Logic-based interactive storytelling tool for running Logic Production System (LPS) programs using lps.js, Electron and Angular 🎨
most recent commit 6 years ago
Ilasp Releases ⭐ 26
most recent commit 10 months ago
Angry Hex ⭐ 15
An artificial player for the popular video game Angry Birds
most recent commit 5 years ago
Introduccion A La Ia Libro ⭐ 13
Libro gratuito de inteligencia artificial en español, incluye temas como algoritmos genéticos, programación lógica y machine learning.
most recent commit 6 months ago
Othello Prolog ⭐ 12
📜 A fully functional Othello (Reversi) game, with several AIs, made in prolog for swipl.
most recent commit 3 years ago
Cyc_jrtl_with_commonlisp ⭐ 10
Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
most recent commit 4 years ago
Ai Logic ⭐ 9
Continuation-based logic programming
most recent commit 8 years ago
Norm ⭐ 8
Neural Logic Programming Language
total releases 13most recent commit 4 years ago
Pygol ⭐ 7
A novel Inductive Logic Programming(ILP) system based on Meta Inverse Entailment in Python.
most recent commit 10 months ago
Supinforesources ⭐ 6
Resources for Supinfo cursus and more. This repo is shared with any Supinfo Student and free of use.
most recent commit 6 years ago
Symontoclay ⭐ 5
The core of SymOntoClay Engine. SymOntoClay Engine is a hybrid language with logic programming and fuzzy logic for defining game characters' behavior.
most recent commit 9 months ago
Airlang_rs ⭐ 5
The Air programming language is carefully designed to solve programming problems once and for all. It is a delightful surprise for programming language enthusiasts.
most recent commit 3 months ago
The 3 Most Depended On Artificial Intelligence Logic Programming Open Source Projects
Gini ⭐ 121
A fast SAT solver
dependent packages 5total releases 23latest release January 31, 2019most recent commit 3 years ago
Gini ⭐ 125
A fast SAT solver
dependent packages 3total releases 33latest release August 26, 2021most recent commit 3 years ago
The 4 Latest Releases In Artificial Intelligence Logic Programming Open Source Projects
Gini ⭐ 125
A fast SAT solver
dependent packages 3total releases 33latest release August 26, 2021most recent commit 3 years ago
Norm ⭐ 8
Neural Logic Programming Language
total releases 13latest release September 17, 2019most recent commit 4 years ago
Gini ⭐ 121
A fast SAT solver
dependent packages 5total releases 23latest release January 31, 2019most recent commit 3 years ago
Popular Artificial Intelligence Categories
Artificial Intelligence
Robot
Ros
Discord Bot
Home Assistant
Telegram Bot
Chatbot
Robotics
Object Detection
Home Automation
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.