44
Prolog Development Center A/S
1,975
Shareware
Comprehensive software program great to develop complex applications.
4
Daniel Diaz
1,188
Freeware
GNU Prolog is a free Prolog compiler with constraint solving over finite domains.
1
Amzi! inc.
98
Shareware
Amzi! Prolog + Logic Server is a development server and client.
5
AE - Dimiter Dobrev
178
Shareware
Strawberry Prolog is specially designed for education.
40
Prolog.NET
13
Freeware
An application that provides seamless integration between .NET and Prolog.
23
Circuit Diagram
2,205
Open source
It helps you make electronic circuit diagrams and export them as images.
2
SWI-Prolog
3,030
Freeware
SWI-Prolog offers a comprehensive free Prolog environment.
David Fahnestock
6
Shareware
ProLog is an electronic logbook for all of your athletic training.
15
University of Colorado
430
Freeware
Build circuits with resistors, light bulbs, batteries, and switches.
335
New Wave Concepts Limited
9,963
Shareware
Combines circuit design, simulation and CAD manufacture to realize projects.
Circuit Magic
32
Shareware
Circuit Magic is an electrical circuits simulation program.
5
Logic Programming Associates Ltd
6
Demo
WIN-PROLOG is the leading Prolog compiler system for Windows-based PCs.
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.
8
the Qucs team
3,049
Open source
Quite Universal Circuit Simulator is an integrated circuit simulator.
13
Richard P. Andresen
1,147
Shareware
Use analog circuit simulation for the professional circuit designer.
3
ABB
329
Freeware
Air circuit breakers can be used both as circuit-breakers for general protection.
5
Software Online Limited
12
Shareware
A Vi-like programmers text editor that highlights many languages including; c, c++, html, prolog, li....
1
Prolog Addins
872
Freeware
CashFlow is a custom add-on application for Meridian Prolog.
Afany Software
16
Shareware
B-Prolog is a versatile and efficient constraint logic programming system.
Yuce Tekol
21
Open source
PySWIP is an open source Python - SWI-Prolog bridge.