Advertisement
Logic Reasoner
Logic Reasoner is a theorem prover for first-order logic with equality....
calculus theorem prover formula representation subsumption resolution theorem
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
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
Logic File System
The filesystem of discriminating hackers....
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....
Advertisement
ProActive Programming
ProActive Programming is a GRID Java library for parallel, distributed, and concurrent computing....
PATH programming language
PATH programming language is a unique two-dimensional programming language....
TOM programming language
Tom is a software environment for defining transformations in Java....
programming language Tom programming language linux compiler
The Qu Programming Language
The Qu Programming Language is a full-featured object oriented programming language....
Euphoria Programming Language
Euphoria is a simple, flexible, and easy to learn programming language....
programming language programing language linux programming language Euphoria
2E Programming Language
A simple algebraic syntax language....
programming language programming language algebraic syntax syntax language
Felix Programming Language
Felix Programming Language is a high performance, statically typed scripting language....
programming scripting language scripting language programming language
The Squirrel programming language
A light-weight scripting language...
programming scripting language scripting language programming language
The Blue Programming Language
The Blue Programming Language project is a unique bytecode-compiled language....
programming language blue programming language linux compiler
Luban programming language
Luban is a component oriented scripting language....
programming scripting language language programming language Luban language