Advertisement
Math::Logic
Math::Logic is a Perl module that provides pure 2, 3 or multi-value logic....
mathematical Perl module multi-value logic mathematical values multi-value
Logic Reasoner
Logic Reasoner is a theorem prover for first-order logic with equality....
calculus theorem prover formula representation subsumption resolution theorem
Partition Logic
Partition Logic is a standalone partitioning tool for PC-compatible computers....
Tool standalone partitioning standalone partitioning partitioning tool
Math::Logic::Predicate
Math::Logic::Predicate is a Perl module to manage and query a predicate assertion database....
query Perl module manage manage predicate assertion query predicate assertion
Free Logic Form
Free Logic Form is a system for generating logic forms of English sentences....
Fuzzy logic trees
Fuzzy logic trees are a machine learning method that applies the principles of fuzzy logic to standard logical decision trees....
Logic File System
The filesystem of discriminating hackers....
Advertisement
Kartofel
Connect the dots in order without crossing over yourself....
Class::AbstractLogic
Class::AbstractLogic is a Perl module to handle Logic Abstractions....
Perl module logic Perl class abstractions Logic Abstractions
AI::Prolog::Introduction
AI::Prolog::Introduction Perl module contains the what and the why of logic programming....
programming Perl module logic logic programming prolog introduction
TreeSap
TreeSap is a tool that introduces a simple querying, that uses English phrases instead of numerical measurements....
Coffeeworlds
A teeworlds game logic clone written using pygame....
AI::Prolog
AI::Prolog is a Perl extension for logic programming....
programming Perl module logic Perl extension logic programming
sigrok
A portable, cross-platform logic analyzer software...
Retry
Wrap any function in automatic retry logic...