predicate-logic · GitHub Topics

Predicate logic with rule composition

dry-rb predicates predicate-logic rule-engine Ruby rubygem gem Library

Ruby 178

7 个月前

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

logic propositional-logic predicate-logic model-checking theorem-prover

Python 20

8 个月前

santanusinha / hope

Predicate expression language

Java predicates predicate-logic filter filtering jackson JSON json-path rules rule-engine

Java 18

10 天前

catseye / Maxixe

MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker

dsl propositional-logic predicate-logic proof-language

Python 11

2 年前

joshuacrotts / logic-learning-assistance-tool

This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.

logic teaching 计算机科学 philosophy propositional-logic predicate-logic Java GUI

Java 9

4 年前

hjbolus / Mathematical-Logic-Through-Python

Python package that provides an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski

logic logic-programming predicate-logic propositional-logic

Python 8

3 天前

Esai-Keshav / principles-of-ai-lab

#自然语言处理#Principles Of AI Lab Exercises

astar-algorithm predicate-logic naive-bayes naive-bayes-classifier 自然语言处理 nltk

Python 5

2 年前

Toobo / Hop

Higher-order functional predicates.

assertion-library filtering 函数式编程 predicate-logic predicates

PHP 5

3 年前

swiftuiux / d3-network-service

Lightweight rest api crud combine swift reactive library. SwiftUI request chaining, in parallel

combine CRUD Network REST API swift5 API httpclient JSON SwiftUI reactive urlsession predicate-logic

Swift 4

3 年前

ronitkothari / Natural-Deduction-Proof-Checker

#算法刷题#A proof checker for natural deduction in predicate logic

算法 C logic predicate-logic

C# 3

3 年前

oelin / fol

A semantically accurate implementation of first-order logic in JavaScript 👩‍🏫.

计算机科学 JavaScript logic predicate-logic

JavaScript 3

3 年前

AndrikSeeger / Predicate_Logic_Compiler

Compiler for first-order predicate logic using the custom PREDLOG1 language. Written in C with Flex/Bison.

编译器 Parser predicate-logic scanner

C 2

3 个月前

ZeroBone / PresMonDec

Tool that checks monadic decomposability of quantifier-free Presburger arithmetic sentences.

predicate-logic

Python 2

4 年前

HyrniT / logic

#算法刷题#Artificial Intelligence

人工智能 logic predicate-logic propositional-logic 算法

Python 2

2 年前

Query-farm / python-sql-manipulation

A Python library for intelligent SQL predicate manipulation using SQLGlot. This library provides tools to safely remove specific predicates from SQL WHERE clauses and filter SQL statements based on co...

predicate-logic SQL

Python 2

22 天前