A C++ program that can tell statements to and ask a query from a first order logic based knowledge base. Inserting statements into the knowledge base required converting them to CNF form before transforming them to the knowledge base's internal data structure which is optimized for their retrieval and processing. The resolution inference algorit…
☆12Mar 2, 2017Updated 9 years ago
Alternatives and similar repositories for First-Order-Logic-Inference-Engine
Users that are interested in First-Order-Logic-Inference-Engine are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Minimalistic implementation of Naiad paper "A Timely Dataflow System" in Scala☆12Jul 13, 2020Updated 6 years ago
- This is a working copy for me. Recoll is a Xapian based file indexer and a search engine☆12Jul 20, 2015Updated 11 years ago
- IronKernel is a dialect of the Kernel programming language for the .NET framework.☆18Oct 25, 2026Updated last week
- This addon fully implement Qt VS Addin☆12Jun 10, 2026Updated 4 months ago
- A lexical scanner and parser in C++ for Code analyzer which will extract lexical content from source code files, analyze the code’s synta…☆10Mar 14, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A gym game for Contra that for reinforcement learning☆10Oct 18, 2021Updated 5 years ago
- Thinking through AI agents and the neuro-symbolic definition from an early LLM agent paper called MRKL. I'm sharing my reasoning behind u…☆12Nov 23, 2024Updated last year
- The SNePS 2 Knowledge Representation and Reasoning System☆13Jun 6, 2018Updated 8 years ago
- Dual DHCP DNS Server for Windows.☆11Dec 6, 2016Updated 9 years ago
- ceres implementation of switchable constraints for robust pose graph slam☆15Nov 16, 2019Updated 6 years ago
- an implementation of a lsmtree☆11Feb 18, 2023Updated 3 years ago
- McLulang: The message is the language☆12Aug 23, 2024Updated 2 years ago
- A curated list of ChaiScript Modules and Utilities.☆13Dec 2, 2019Updated 6 years ago
- ☆13Nov 4, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A collection of quantile and quadrature routines for Z, Chi^2, and Student's T hypothesis tests☆12Apr 25, 2024Updated 2 years ago
- Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge☆11Mar 18, 2016Updated 10 years ago
- Kolja Thormann, Shishan Yang, and Marcus Baum. "A Comparison of Kalman Filter-based Approaches for Elliptic Extended Object Tracking (to …☆11Feb 24, 2022Updated 4 years ago
- MXNET + OpenAI Gym implementation of A3C from "Asynchronous Methods for Deep Reinforcement Learning"☆11Apr 10, 2017Updated 9 years ago
- ☆12Sep 8, 2022Updated 4 years ago
- Cargo is library for saving/restoring C/C++ structures over a given backend medium (json, sqlite, gvariant, file dscriptor)☆15Mar 15, 2016Updated 10 years ago
- Hues Launcher 一款小巧的快捷启动工具，功能与 CLaunch 、Rolan、音速启动类似。☆10Apr 3, 2026Updated 7 months ago
- Fixed-Point Library for C++☆30Aug 13, 2018Updated 8 years ago
- Pure-Rust port of CerebroCortex — brain-analogous AI memory system with ACT-R/FSRS activation, associative networks, 8-phase dream engine…☆15Aug 9, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!☆12Jun 26, 2020Updated 6 years ago
- 🐳🐟🐚Docker image for the Friendly Interactive Shell, aka fish☆17Feb 12, 2026Updated 8 months ago
- ☆12Jun 5, 2023Updated 3 years ago
- FaCT++ is an efficient Description Logic reasoner compatible with OWL DL and OWL 2.☆13Jan 26, 2016Updated 10 years ago
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 6 years ago
- Scraper that downloads Springers Free COVID-19 English books.☆15Dec 8, 2022Updated 3 years ago
- Get started with dahliaOS☆15Feb 23, 2023Updated 3 years ago
- A Log4j Adapter for Clojure☆10Dec 23, 2021Updated 4 years ago
- Cuis Smalltalk version 6.2 Stable Release☆14Mar 6, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Prolog Technology Theorem Prover☆14Jun 19, 2024Updated 2 years ago
- ☆15Sep 8, 2022Updated 4 years ago
- A torch implementation of offline Reinforcement Learning algorithm COMBO☆10Jan 3, 2023Updated 3 years ago
- Simplified operator overloading in Rust☆22Nov 10, 2024Updated last year
- A powerful terminal-based coding assistant that combines the convenience of a modern TUI with the intelligence of large language models. …☆15Nov 26, 2025Updated 11 months ago
- Protocol definition and specification for the Lichat chat system☆20May 17, 2026Updated 5 months ago
- EyeClient is a browser widget for the EYE reasoner.☆13Oct 13, 2017Updated 9 years ago