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.
Free Software Foundation
A complete implementation of the OpenPGP standard as defined by RFC4880.
Charles S. Wilson
Perform numerical computations and develop bioinformatics applications.
Handy and free tool to help you manage several GIMP windows.
VirtuaWin can let you use up to 20 virtual desktops.
With HTTP Ripper you can download movies from video sites.
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.
ABB Web Icon Extractor - Convert all images in web page to icon/icon.
Icon Office is a icon conversion and multitabs icon library management software.
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.