There are 1 repository under predicate-logic topic.
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
Predicate expression language
This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
Principles Of AI Lab Exercises
Python package based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski
Lightweight rest api crud combine swift reactive library. SwiftUI request chaining, in parallel
A proof checker for natural deduction in predicate logic
TypeScript higher-order-functions to combine or negate predicates without evaluating them.
implementation of different kinds of knowledge presentation languages programmatically
Compiler with automated input and output for first-order predicate calculus
Logic package for Fōrmulæ, in JavaScript
This project aims to translate First-Order 3-variable (FO3) predicate logic into the Calculus of Relations (CoR).
A card game of first-order logic
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.
Small exercises for programming Stream API predicates.
Tool that checks monadic decomposability of quantifier-free Presburger arithmetic sentences.
Jape 2.0?
Inference Engine Written in C# Using Truth Table Model Checking, Forward Chaining, Backward Chaining, and WalkSAT.
Model the card game Yaniv in predicate logic. Project for Queen's University course CISC/CMPE 204: Logic for Computing Science.
ipv4 and ipv6 packet rules encoded in prolog
A script to visualize algebraic expressions.
Proving formulas in predicate logic with Lean.
[PSZT] Backward reasoning in predicate logic.
🧮 Trabalho Pratico - Logica Aplicado a Computação
A simple tool to represent predicate logic and assess formulas using tableaux method
Yet Another First-Order Logic Problem Solver