Advertisement
GEnerealized Resolution Deductive System
A simple tool for testing the theory about predicate logic deductive systems...
Fuzzy Predicate Logic GEnerealized Resolution Deductive System
A simple tool for editing knowledge bases and performing inference upon them...
XSB
A programming system to help you with your work....
development develop database system programming system deductive system
ConceptBase.cc
Perform metamodeling and method engineering using a deductive database....
ConceptBase
Get a deductive database for metamodeling with graphical user interface....
Graphical User Interface user database deductive system deductive deductive database system
Deductoid
Deductoid: Freeware Logic Puzzle Game. Brain training with a fun deductive twist. Download and play for free....
deductive system deductive deductive database system brain logic puzzles logic brain puzzles
Lexitron
Lexitron is a puzzle word game which uniquely combines elements of Hangman, Mastermind and Mine Sweeper. With a little deductive reasoning, and a good vocabulary, you can race the clock solving Lexitr...
Bubble Holms
New addictive MULTIPLAYER game Bubble Holms! The best game which train your memory....
multiplayer game meat calculator produced meat calculator meat memory game
CluGrid
CluGrid: Freeware Logic Puzzle Game. 999,999 puzzles! Brain training with a fun deductive twist. Download now and play for free....
deductive system deductive deductive database system brain logic puzzles logic brain puzzles
MindsEye
Play a Mastermind style game requiring concentration and deductive reasoning....
Auto Correct check mastermind game guess the color game guess game reasoning engine
Brain Cell
Test your wits placing objects in a grid....