An open API service providing repository metadata for many open source software ecosystems.

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

Related Keywords
predicate-logic 32 logic 10 propositional-logic 7 predicates 6 first-order-logic 6 proof 3 filtering 3 algorithms 3 natural-deduction 3 computer-science 3 javascript 3 alpha-beta-pruning 2 artificial-intelligence 2 predicate-functions 2 predicate 2 ai 2 logic-programming 2 classical-logic 2 prolog 2 functional-programming 2 rule-engine 2 json 2 java 2 higher-order-functions 2 satisfiability 1 formal-logic 1 gui 1 logic-proofs 1 python 1 philosophy 1 teaching 1 integer-sequences 1 integers 1 stream-api 1 hcmus 1 resolution-algorithm 1 node-js 1 algorithm 1 ai-lab 1 ai-lab-excercise 1 ai-lab-python 1 astar-algorithm 1 bfs-search 1 crytoaritmetics 1 dfs-search 1 min-max-algorithm 1 naive-bayes 1 naive-bayes-classifier 1 naive-bayes-implementation 1 nlp 1 nltk 1 nltk-stopwords 1 nltk-tokenizer 1 principles-of-ai-lab 1 semantic-network 1 docker 1 nodejs 1 typescript 1 backward-chaining 1 jcommander 1 firewall-rules 1 jape 1 natural-logic 1 c 1 depth-first-search 1 shunting-yard-algorithm 1 monadic-decomposition 1 presburger-arithmetic 1 prolog-exercises 1 prolog-programming-language 1 getopt 1 haskell 1 haskell-exercises 1 theorem-proving 1 python3 1 tableaux 1 dsl 1 proof-checker 1 proof-checking 1 proof-language 1 algebraic-expressions 1 tree-visualization 1 api 1 chaining-request 1 combine 1 crud 1 httpclient 1 network 1 network-service 1 networklayer 1 parallel-requests 1 reactive 1 rest-api 1 rest-combine-swift 1 swift5 1 swiftui 1 urlsession 1 aristotelian 1 aristotelian-logic 1 boolean 1