Prolog Development Center A/S
Comprehensive software program great to develop complex applications.
The program provides an environment for digital-logic computer-system education.
An application that provides seamless integration between .NET and Prolog.
GNU Prolog is a free Prolog compiler with constraint solving over finite domains.
Logic Programming Associates Ltd
WIN-PROLOG is the leading Prolog compiler system for Windows-based PCs.
Logic Minimizer allows you to simplify Karnaugh maps and logical expressions.
Daniel Stahl, Kevin Wellwood
Build and simulate boolean logic circuits with custom components.
B-Prolog is a versatile and efficient constraint logic programming system.
SWI-Prolog offers a comprehensive free Prolog environment.
Richard G. Todd
Prolog.NET Workbench is a .NET-base implementation of Prolog.
JIProlog - Java Internet Prolog is a cross-platform pure Java 100% Prolog.
Karnaugh Map Minimizer is a program designed to minimize the Boolean functions.
Text search with Boolean and NEAR or proximity operators. ANSI/OEM search and conversion on the fly....
Active Dimensions 3 is a very easy-to-use CAD and 3D modeling application. Features include Boolean....
Charles Ragin, Sean Davey
fsQCA is a new analytic technique that uses Boolean algebra.
A IC/MEMS layout editor. Features: all angle, font generator, macros, boolean operations, design rul....