predicate-logic
There are 38 repositories under predicate-logic topic.
dry-rb/dry-logic
Predicate logic with rule composition
nclarius/pyPL
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
santanusinha/hope
Predicate expression language
catseye/Maxixe
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
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
joshuacrotts/logic-learning-assistance-tool
This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
Esai-Keshav/principles-of-ai-lab
Principles Of AI Lab Exercises
Toobo/Hop
Higher-order functional predicates.
swiftuiux/d3-network-service
Lightweight rest api crud combine swift reactive library. SwiftUI request chaining, in parallel
oelin/fol
A semantically accurate implementation of first-order logic in JavaScript 👩🏫.
ronitkothari/Natural-Deduction-Proof-Checker
A proof checker for natural deduction in predicate logic
EvitanRelta/predicate-hof
TypeScript higher-order-functions to combine or negate predicates without evaluating them.
ZakariaYousfi/TPRCR-Knowledge-Presentation-Full
implementation of different kinds of knowledge presentation languages programmatically
ZeroBone/PresMonDec
Tool that checks monadic decomposability of quantifier-free Presburger arithmetic sentences.
AndrikSeeger/Predicate_Logic_Compiler
Compiler with automated input and output for first-order predicate calculus
coenttb/swift-logic-operators
A Swift package providing logical operators for optional Boolean values and Predicates.
formulae-org/package-logic-js
Logic package for Fōrmulæ, in JavaScript
HyrniT/logic
Artificial Intelligence
Isopod00/FO3_to_CoR_Translation
This project aims to translate First-Order 3-variable (FO3) predicate logic into the Calculus of Relations (CoR).
khang200923/Predicate_Wars
A card game of first-order logic
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.
rabestro/fizzbuzz-filter
Small exercises for programming Stream API predicates.
EthanOrlander/cisc-204-tool
Jape 2.0?
huzaifa113/Artificial-Intelligence-AI
This repo contains my Artificial Intelligence course's labs and project I did in my university.
karanshah0206/iengine
Inference Engine Written in C# Using Truth Table Model Checking, Forward Chaining, Backward Chaining, and WalkSAT.
oliverdantzer/CISC204_project
Model the card game Yaniv in predicate logic. Project for Queen's University course CISC/CMPE 204: Logic for Computing Science.
Stan1slav337/Algebraic-Expression-Visualization
A script to visualize algebraic expressions.
UofSC-Fall-2022-Math-300-H01/homework7
Proving formulas in predicate logic with Lean.
vadyushkins/YAFOLPS
Yet Another First-Order Logic Problem Solver
wkurek/Maszyna-wnioskujaca
[PSZT] Backward reasoning in predicate logic.
Dryd33n/uvic-math-122
Assignments for UVic Math 122
felipefrm/predicate-logic
🧮 Trabalho Pratico - Logica Aplicado a Computação
GokayGulsoy/Discrete-Mathematics
Repository for the CENG115 Course that I have taken at IZTECH