GitHub topics: predicate-logic
santanusinha/hope
Predicate expression language
Language: Java - Size: 341 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 17 - Forks: 14

AndrikSeeger/Predicate_Logic_Compiler
Compiler for first-order predicate logic using the custom PREDLOG1 language. Written in C with Flex/Bison.
Language: C - Size: 51.8 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0

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
Language: Python - Size: 517 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 6 - Forks: 3

dry-rb/dry-logic
Predicate logic with rule composition
Language: Ruby - Size: 763 KB - Last synced at: 4 days ago - Pushed at: 5 months ago - Stars: 177 - Forks: 62

justineuro/syllogisms
Algorithmic Truth Table Method for Proving Validity of Argument Forms
Language: TeX - Size: 2.12 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

formulae-org/package-logic-js
Logic package for Fōrmulæ, in JavaScript
Language: JavaScript - Size: 70.3 KB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

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.
Language: C# - Size: 837 KB - Last synced at: 15 days ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

coenttb/swift-logic-operators
A Swift package providing logical operators for optional Boolean values and Predicates.
Language: Swift - Size: 120 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

khang200923/Predicate_Wars
A card game of first-order logic
Language: Python - Size: 365 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 2

Isopod00/FO3_to_CoR_Translation
This project aims to translate First-Order 3-variable (FO3) predicate logic into the Calculus of Relations (CoR).
Language: Python - Size: 26.9 MB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

nclarius/pyPL
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
Language: Python - Size: 6.22 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 19 - Forks: 2

University-Project-Repos/AI__A-star_search
Language: Python - Size: 35.2 KB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

Toobo/Hop
Higher-order functional predicates.
Language: PHP - Size: 38.1 KB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 0

Esai-Keshav/principles-of-ai-lab
Principles Of AI Lab Exercises
Language: Python - Size: 31.3 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

oliverdantzer/CISC204_project Fork of ajsib/CISC204_project
Model the card game Yaniv in predicate logic. Project for Queen's University course CISC/CMPE 204: Logic for Computing Science.
Language: Python - Size: 4.51 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

joshuacrotts/logic-learning-assistance-tool 📦
This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
Language: Java - Size: 4.58 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 8 - Forks: 1

rabestro/fizzbuzz-filter
Small exercises for programming Stream API predicates.
Language: Java - Size: 43.9 KB - Last synced at: 21 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

oelin/fol
A semantically accurate implementation of first-order logic in JavaScript 👩🏫.
Language: JavaScript - Size: 43.9 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

HyrniT/logic
Artificial Intelligence
Language: Python - Size: 754 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

karanshah0206/iengine
Inference Engine Written in C# Using Truth Table Model Checking, Forward Chaining, Backward Chaining, and WalkSAT.
Language: C# - Size: 639 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

catseye/Maxixe
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
Language: Python - Size: 53.7 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 0

Stan1slav337/Algebraic-Expression-Visualization
A script to visualize algebraic expressions.
Language: JavaScript - Size: 8.79 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

swiftuiux/d3-network-service 📦
Lightweight rest api crud combine swift reactive library. SwiftUI request chaining, in parallel
Language: Swift - Size: 1.88 MB - Last synced at: 1 day ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 0

EvitanRelta/predicate-hof
TypeScript higher-order-functions to combine or negate predicates without evaluating them.
Language: TypeScript - Size: 158 KB - Last synced at: 27 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

wkurek/Maszyna-wnioskujaca
[PSZT] Backward reasoning in predicate logic.
Language: Java - Size: 653 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

ShristiK/Firewall-Rules-Encoded-in-Prolog
ipv4 and ipv6 packet rules encoded in prolog
Language: Prolog - Size: 42 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

EthanOrlander/cisc-204-tool
Jape 2.0?
Language: TypeScript - Size: 175 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

ronitkothari/Natural-Deduction-Proof-Checker
A proof checker for natural deduction in predicate logic
Language: C# - Size: 43 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

ZeroBone/PresMonDec
Tool that checks monadic decomposability of quantifier-free Presburger arithmetic sentences.
Language: Python - Size: 8.95 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1

felipefrm/predicate-logic
🧮 Trabalho Pratico - Logica Aplicado a Computação
Language: Prolog - Size: 33.2 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 1

vadyushkins/YAFOLPS
Yet Another First-Order Logic Problem Solver
Language: Haskell - Size: 304 KB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

MrEliptik/PredicateLogicTableaux
A simple tool to represent predicate logic and assess formulas using tableaux method
Language: Python - Size: 6.84 KB - Last synced at: 4 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1
