2
SICS
60
Shareware
The SICStus Prolog compiler produces portable, optimized virtual machine code.
44
Prolog Development Center A/S
1,963
Shareware
Comprehensive software program great to develop complex applications.
1
Amzi! inc.
97
Shareware
Amzi! Prolog + Logic Server is a development server and client.
5
AE - Dimiter Dobrev
177
Shareware
Strawberry Prolog is specially designed for education.
Prolog.NET
13
Freeware
An application that provides seamless integration between .NET and Prolog.
2
SWI-Prolog
2,820
Freeware
SWI-Prolog offers a comprehensive free Prolog environment.
1
Charles S. Wilson
1,998
Freeware
Write code using a high-level programming language.
4
Joseph Heled
296
Freeware
Play a challenging game of backgammon or statistically analyze a game.
3
The GNU Pascal Team
180
Freeware
The GNU Pascal Compiler (GPC) is the Pascal compiler of the GNU family.
26
Kevin Atkinson
1,628
Open source
GNU Aspell is a command-line spell checking utility.
GNU Enterprise
3
Freeware
It is a generator for data aware user interfaces for different platforms.
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.
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
869
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.
David Fahnestock
6
Shareware
ProLog is an electronic logbook for all of your athletic training.
Yuce Tekol
21
Open source
PySWIP is an open source Python - SWI-Prolog bridge.
650
Orwell
257,824
Open source
It uses the MinGW port of GCC (GNU Compiler Collection) as its compiler.
2
PANDANET Inc.
327
Freeware
A 3D and 2D Goban, SGF editor, client for PANDANET and interface for GNU Go.