Deductive

A Sudoku Solver in C is a console-based Linux program, written in C language, that solves Su Doku puzzles using deductive logic. It will only resort to trial-and-error and backtracking approaches upon exhausting its deductive moves. Puzzles must be of the standard 9x9 variety using the (ASCII)... Platforms: *nix

Do you know the Mastermind game? MindsEye is a game that+s based on it, and so needs large doses of deductive thinking to win. The objective is still the same: guess the correct order of the sequence of four colours chosen at random by the PC.In the easy level there are 7 colours to choose, in... Platforms: Windows

Wumpus! is a classic strategy game where you must find Wumpus using your deductive reasoning powers. You can't see Wumpus, and if you end up wandering into him, you'll be startled and he'll have your for breakfast. Platforms: Mac

When this project is complete, a user may enter in an deductive argument in standard form, and out pops a fresh, baked validity judgement. Platforms: Windows, Mac

Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows. Platforms: Windows, Mac, BSD, Solaris, Linux

A computer together with educational software gives the chance to raise the efficiency of learning and makes the deductive process more attractive. 2+2 is a program aimed to help children's education in the area of basic mathematical skills. Thanks to the program, the child learns how to count,... Platforms: Windows

Try this new game called Linkz and be surprised! Linkz is a mental agility game that tests your powers of deductive and logical reasoning.The rules are very simple: use the mouse to move the coloured pieces to empty spaces, making them coinicide with links to solid polygons of the corresponding... Platforms: Windows

Sudoku Susser is a free program that helps you play Sudoku. If youve been living under a rock and dont know what a Sudoku puzzle is, the London Daily Mail has a good introduction to the puzzles and basic solving techniques. Sudoku Susser project makes it easy to make your selections as you... Platforms: *nix

Language::XSB is a Perl module that allows you to use XSB from Perl. SYNOPSIS use Language::XSB :query; use Language::Prolog::Types::overload; use Language::Prolog::Sugar vars=>[qw(X Y Z)], functors=>{equal => =}, functors=>[qw(is)], chains=>{plus => +, orn => ;}; xsb_set_query(... Platforms: *nix

ConceptBase.cc is a multi-user deductive database system with an object-centered data model. Its ability to represent information at any abstraction level (data, class, metaclass, meta-metaclass, etc.) makes it a powerful tool for metamodeling and engineering of customized modeling languages. The... Platforms: *nix