horn-clauses
There are 0 repository under horn-clauses topic.
- Language:C 455
uuverifiers / eldarica
The Eldarica model checker
Language:Scala 92- Language:Rust 50
- Language:SMT 12
lwardzala / business_rules_reasoning
A Python-based logical reasoning system combining rule-based engines with Large Language Models (LLMs) for business automation. Supports deduction and hypothesis testing, partial fact completion, and automated fact retrieval via documents or chat. Features include explainable reasoning, workflow integration, and customizable knowledge bases.
Language:Python 6- Language:C++ 5
- Language:Prolog 4
- Language:Python 4
- Language:C++ 2
ewdlop / Prolog-notes
https://en.wikipedia.org/wiki/Prolog;This repository contains various Prolog files that cover different topics, including stereotypes, philosophy, psychology, and social dynamics. The purpose of this repository is to provide a collection of Prolog examples and knowledge bases that can be used for learning and reference.
Language:Prolog 1- Language:Java 0
amr205 / LogicProgramming---Forward-chaining
In this project is implemented the algorithm of forward chaining using Java, the knowledge base use Horn Clauses and the program allows to add, edit or delete rules, also you can enter the facts before using forward chaining
Language:Java- Language:Java
