The SICStus Prolog compiler produces portable, optimized virtual machine code.
Prolog Development Center A/S
Comprehensive software program great to develop complex applications.
Amzi! Prolog + Logic Server is a development server and client.
AE - Dimiter Dobrev
Strawberry Prolog is specially designed for education.
An application that provides seamless integration between .NET and Prolog.
GNU Aspell is a command-line spell checking utility.
Play a challenging game of backgammon or statistically analyze a game.
Charles S. Wilson
It's a high-level interpreted language,intended for numerical computations.
Free Software Foundation
A complete implementation of the OpenPGP standard as defined by RFC4880.
Ghostscript was originally written by Peter Deutsch.
Free Software Foundation, Inc.
GNU Emacs is an extensible, customizable text editor.
Logic Programming Associates Ltd
WIN-PROLOG is the leading Prolog compiler system for Windows-based PCs.
SWI-Prolog offers a comprehensive free Prolog environment.
Richard G. Todd
Prolog.NET Workbench is a .NET-base implementation of Prolog.
JIProlog - Java Internet Prolog is a cross-platform pure Java 100% Prolog.
The GNU Pascal Team
The GNU Pascal Compiler (GPC) is the Pascal compiler of the GNU family.
Software Online Limited
A Vi-like programmers text editor that highlights many languages including; c, c++, html, prolog, li....
CashFlow is a custom add-on application for Meridian Prolog.
B-Prolog is a versatile and efficient constraint logic programming system.
ProLog is an electronic logbook for all of your athletic training.
PySWIP is an open source Python - SWI-Prolog bridge.