43
Prolog Development Center A/S
1,915
Shareware
Comprehensive software program great to develop complex applications.
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.
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.
91
Vikhetan Appa
306
Shareware
Logic Minimizer allows you to simplify Karnaugh maps and logical expressions.
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.
2
SWI-Prolog
2,171
Freeware
SWI-Prolog offers a comprehensive free Prolog environment.
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.
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....
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....
