Prolog boolean logic solver

Prolog Boolean Logic Solver

at Software Informer
Amzi! Prolog + Logic Server

Amzi! Prolog + Logic Server is a development server and client.

Prolog logic bases, and also allows Prolog ... can call Prolog for it ... , and the Prolog code can

Boolean Bar Toolbar
2  Boolean Bar  4  Freeware
Receive Boolean Bar most important news and announcements instantly.
See non-reviewed prolog boolean logic solver software
More Prolog Boolean Logic Solver
Prolog Boolean Logic Solver in introduction
Visual Prolog
43  Prolog Development Center A/S  1,915  Shareware
Comprehensive software program great to develop complex applications.
Simple Solver
2  SimpleSolver Logic  218  Freeware
The program provides an environment for digital-logic computer-system education.
 Prolog.NET  13  Freeware
An application that provides seamless integration between .NET and Prolog.
GNU Prolog
3  Daniel Diaz  1,043  Freeware
GNU Prolog is a free Prolog compiler with constraint solving over finite domains.
5  Logic Programming Associates Ltd  6  Demo
WIN-PROLOG is the leading Prolog compiler system for Windows-based PCs.
Logic Minimizer
91  Vikhetan Appa  306  Shareware
Logic Minimizer allows you to simplify Karnaugh maps and logical expressions.
Circuit Sandbox
 Daniel Stahl, Kevin Wellwood  55  Open source
Build and simulate boolean logic circuits with custom components.
 Afany Software  16  Shareware
B-Prolog is a versatile and efficient constraint logic programming system.
Additional titles, containing prolog boolean logic solver
2  SWI-Prolog  2,171  Freeware
SWI-Prolog offers a comprehensive free Prolog environment.
Prolog.NET Workbench
 Richard G. Todd  6  Freeware
Prolog.NET Workbench is a .NET-base implementation of Prolog.
 Ugo Chirico  Freeware
JIProlog - Java Internet Prolog is a cross-platform pure Java 100% Prolog.
Karnaugh Map Minimizer
3  Robert Kovacevic  1,813  Freeware
Karnaugh Map Minimizer is a program designed to minimize the Boolean functions.
35  Jens Guld  8  Freeware
Text search with Boolean and NEAR or proximity operators. ANSI/OEM search and conversion on the fly....
Active Dimensions 3
48  Robert Lee  2  Shareware
Active Dimensions 3 is a very easy-to-use CAD and 3D modeling application. Features include Boolean....
10  Charles Ragin, Sean Davey  126  Freeware
fsQCA is a new analytic technique that uses Boolean algebra.
 juspertor UG  556  Freeware
A IC/MEMS layout editor. Features: all angle, font generator, macros, boolean operations, design rul....