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
Inertia Soft LTD
12
Shareware
Desktop Kakuro has over 20,000 unique puzzles which you can solve.
1
Amzi! inc.
98
Shareware
Amzi! Prolog + Logic Server is a development server and client.
FICO
75
Demo
Is noted for its ability to solve numerically difficult or unstable problems.
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.
Zonabit Sistemi Srl
4
Shareware
It produces automatically the school timetable, solving all the constraints.
IBM
1
Demo
Schedule problems for personnel, machines or process steps with IBM ILOG CP!
3
IBM
214
Freeware
This is an optimization model development toolkit for mathematical programming.
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.
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
75
Freeware
Performs constraint analysis, contour plots, mission analysis, and engine test.
LEDAS Ltd.
Demo
LEDAS 3D its powerful geometric constraint solver.
