UNM
40
Freeware
Prover9Mace4 and several related programs come packaged in a system called LADR.
2
RISA Technologies, LLC
85
Shareware
RISABase is an advanced base plate and anchor bolt design program.
12
Infolytica Corporation
40
Demo
MotorSolve is a program for designing brushless DC and permanent magnet AC motor.
15
Ansoft Corporation
1,163
Commercial
Maxwell is the premier electromagnetic field simulation software.
Synplicity Inc
2
Demo
It is the industry standard for producing high-performance FPGA designs.
5
Logic Programming Associates Ltd
6
Demo
WIN-PROLOG is the leading Prolog compiler system for Windows-based PCs.
2
SWI-Prolog
3,030
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.
7
undrm.info
13
Freeware
Automate unDRM is used to automate the DRM removal process.
2
SICS
60
Shareware
The SICStus Prolog compiler produces portable, optimized virtual machine code.
5
Software Online Limited
12
Shareware
A Vi-like programmers text editor that highlights many languages including; c, c++, html, prolog, li....
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.
1
Prolog Addins
872
Freeware
CashFlow is a custom add-on application for Meridian Prolog.
