predicate-logic

There are 1 repository under predicate-logic topic.

dry-rb / dry-logic
Predicate logic with rule composition
dry-rb gem library predicate-logic predicates ruby rubygem rule-engine
Language:Ruby 179
nclarius / pyPL
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
logic propositional-logic predicate-logic first-order-logic classical-logic intuitionistic-logic proof model-checking model-checker model-generation model-extraction analytic-tableaux modal-logic theorem-prover
Language:Python 18
santanusinha / hope
Predicate expression language
java predicates predicate-logic filter filtering jackson json json-path rules rule-engine
Language:Java 15
catseye / Maxixe
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
proof proof-checking dsl propositional-logic predicate-logic natural-deduction proof-language proof-checker
Language:Python 10
logic-learning-assistance-tool
joshuacrotts / logic-learning-assistance-tool
This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
logic teaching computer-science philosophy formal-logic propositional-logic predicate-logic java gui first-order-logic logic-proofs
Language:Java 8
Esai-Keshav / principles-of-ai-lab
Principles Of AI Lab Exercises
ai-lab ai-lab-python ai-lab-excercise principles-of-ai-lab astar-algorithm bfs-search crytoaritmetics dfs-search predicate-logic semantic-network naive-bayes naive-bayes-classifier naive-bayes-implementation alpha-beta-pruning min-max-algorithm nlp nltk nltk-stopwords nltk-tokenizer
Language:Python 5
hjbolus / Mathematical-Logic-Through-Python
These are my solutions to the tasks in the textbook Mathematical Logic Through Python by Nisan and Gonczarowski.
logic logic-programming logical-operators logical-programming mathematical-logic philosophical-logic predicate-calculus predicate-logic propositional-calculus propositional-logic propositional-proof-system
Language:Python 4
The-Igor / d3-network-service
Lightweight rest api crud combine swift reactive library. SwiftUI request chaining, in parallel
combine crud network network-service rest-api swift5 api httpclient json swiftui reactive urlsession rest-combine-swift networklayer predicate-logic chaining-request parallel-requests
Language:Swift 4
Toobo / Hop
Higher-order functional predicates.
assertion-library filtering functional-programming higher-order-functions predicate-logic predicates
Language:PHP 4
oelin / fol
A semantically accurate implementation of first-order logic in JavaScript 👩‍🏫.
computer-science first-order-logic javascript logic predicate-logic
Language:JavaScript 3
EvitanRelta / predicate-hof
TypeScript higher-order-functions to combine or negate predicates without evaluating them.
higher-order-functions javascript node-js nodejs predicate predicate-logic typescript
Language:TypeScript 2
HyrniT / logic
Artificial Intelligence
ai hcmus logic predicate-logic propositional-logic resolution-algorithm algorithms artificial-intelligence
Language:Python 2
ronitkothari / Natural-Deduction-Proof-Checker
A proof checker for natural deduction in predicate logic
algorithms c depth-first-search logic natural-deduction predicate-logic proof shunting-yard-algorithm
Language:C# 2
ZakariaYousfi / TPRCR-Knowledge-Presentation-Full
implementation of different kinds of knowledge presentation languages programmatically
default-logic description-logic modal-logic predicate-logic semantic-networks first-order-logic
2
AndrikSeeger / Predicate_Logic_Compiler
Compiler with automated input and output for first-order predicate calculus
compiler parser predicate-logic scanner
Language:C 1
formulae-org / package-logic-js
Logic package for Fōrmulæ, in JavaScript
formulae javascript logic conditional conjunction disjunction equivalence negation predicate-logic predicates universal-quantifiers exclusive-disjunction existential-quantifier
Language:JavaScript 1
Isopod00 / FO3_to_CoR_Translation
This project aims to translate First-Order 3-variable (FO3) predicate logic into the Calculus of Relations (CoR).
predicate-logic relation-algebra z3
Language:Python 1
khang200923 / Predicate_Wars
A card game of first-order logic
card-game complexity first-order-logic predicate-logic
Language:Python 1
pfpack / pfpack-primitives
PrimeFuncPack Primitives is a core library for .NET consisting of useful extensions and predicates making work with functional pipelines, Linq, strings, the nullable feature, etc. easier.
csharp dotnet dotnet-core functional-programming linq nullability pipeline pipeline-framework pipeline-library pipelines predicate predicate-functions predicate-logic predicate-methods predicates yield
Language:C# 1
rabestro / fizzbuzz-filter
Small exercises for programming Stream API predicates.
filtering integer-sequences integers predicate-functions predicate-logic predicates stream-api
Language:Java 1
ZeroBone / PresMonDec
Tool that checks monadic decomposability of quantifier-free Presburger arithmetic sentences.
predicate-logic presburger-arithmetic monadic-decomposition
Language:Python 1
EthanOrlander / cisc-204-tool
Jape 2.0?
logic natural-logic propositional-logic predicate-logic natural-deduction jape
Language:TypeScript 0
karanshah0206 / iengine
Inference Engine Written in C# Using Truth Table Model Checking, Forward Chaining, Backward Chaining, and WalkSAT.
ai predicate-logic
Language:C# 0
ShristiK / Firewall-Rules-Encoded-in-Prolog
ipv4 and ipv6 packet rules encoded in prolog
firewall-rules logic-programming predicate-logic prolog
Language:Prolog 0
Stan1slav337 / Algebraic-Expression-Visualization
A script to visualize algebraic expressions.
algebraic-expressions predicate-logic tree-visualization
Language:JavaScript 0
UofSC-Fall-2022-Math-300-H01 / homework7
Proving formulas in predicate logic with Lean.
lean4 predicate-logic proofs math
Language:Lean 0
wkurek / Maszyna-wnioskujaca
[PSZT] Backward reasoning in predicate logic.
backward-chaining predicate-logic jcommander
Language:Java 0
felipefrm / predicate-logic
🧮 Trabalho Pratico - Logica Aplicado a Computação
prolog-programming-language prolog-exercises predicate-logic
Language:Prolog
MrEliptik / PredicateLogicTableaux
A simple tool to represent predicate logic and assess formulas using tableaux method
logic predicate-logic python3 tableaux
Language:Python
oliverdantzer / CISC204_project
Model the card game Yaniv in predicate logic. Project for Queen's University course CISC/CMPE 204: Logic for Computing Science.
docker predicate-logic python satisfiability
Language:Python
vadyushkins / YAFOLPS
Yet Another First-Order Logic Problem Solver
first-order-logic getopt haskell haskell-exercises predicate-logic theorem-proving
Language:Haskell

predicate-logic

dry-rb / dry-logic

nclarius / pyPL

santanusinha / hope

catseye / Maxixe

joshuacrotts / logic-learning-assistance-tool

Esai-Keshav / principles-of-ai-lab

hjbolus / Mathematical-Logic-Through-Python

The-Igor / d3-network-service

Toobo / Hop

oelin / fol

EvitanRelta / predicate-hof

HyrniT / logic

ronitkothari / Natural-Deduction-Proof-Checker

ZakariaYousfi / TPRCR-Knowledge-Presentation-Full

AndrikSeeger / Predicate_Logic_Compiler

formulae-org / package-logic-js

Isopod00 / FO3_to_CoR_Translation

khang200923 / Predicate_Wars

pfpack / pfpack-primitives

rabestro / fizzbuzz-filter

ZeroBone / PresMonDec

EthanOrlander / cisc-204-tool

karanshah0206 / iengine

ShristiK / Firewall-Rules-Encoded-in-Prolog

Stan1slav337 / Algebraic-Expression-Visualization

UofSC-Fall-2022-Math-300-H01 / homework7

wkurek / Maszyna-wnioskujaca

felipefrm / predicate-logic

MrEliptik / PredicateLogicTableaux

oliverdantzer / CISC204_project

vadyushkins / YAFOLPS