44
Prolog Development Center A/S
1,956
Shareware
Comprehensive software program great to develop complex applications.
4
Daniel Diaz
1,150
Freeware
GNU Prolog is a free Prolog compiler with constraint solving over finite domains.
1
Inertia Soft LTD
12
Shareware
Desktop Kakuro has over 20,000 unique puzzles which you can solve.
1
Amzi! inc.
97
Shareware
Amzi! Prolog + Logic Server is a development server and client.
NICTA
9
Freeware
MiniZinc is a medium-level constraint modelling language.
Afany Software
16
Shareware
B-Prolog is a versatile and efficient constraint logic programming system.
IBM
1
Demo
Schedule problems for personnel, machines or process steps with IBM ILOG CP!
AMC Bridge LLC
31
Freeware
Drawing Diagnostics gives you the ability to inspect drawings.
FICO
75
Demo
Is noted for its ability to solve numerically difficult or unstable problems.
1
Klaus Schittkowski, University of Bayreuth, Germany
5
Freeware
A software system to solve nonlinear constrained optimization problems.
5
Logic Programming Associates Ltd
6
Demo
WIN-PROLOG is the leading Prolog compiler system for Windows-based PCs.
2
SWI-Prolog
2,761
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.
Ayehu Software Technologies Ltd.
Demo
Automates IT problem resolution resulting in up to 90% faster problem resolution.
1
Anvisoft
4
Freeware
Anvisoft PC Plus, repair PC problem, fix system error, PC problem solution.
63
The Gecode Team
21
Freeware
Gecode is a toolkit for developing constraint-based systems and applications.
Rho-Works Software
2
Shareware
The programm provides a powerful interface of real-world investment constraint.
11
Mattingly Consulting
74
Freeware
Performs constraint analysis, contour plots, mission analysis, and engine test.
LEDAS Ltd.
Demo
LEDAS 3D its powerful geometric constraint solver.