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
Amzi! inc.
98
Shareware
Amzi! Prolog + Logic Server is a development server and client.
5
AE - Dimiter Dobrev
178
Shareware
Strawberry Prolog is specially designed for education.
40
Prolog.NET
13
Freeware
An application that provides seamless integration between .NET and Prolog.
K.U.Leuven
2
Freeware
Prologa is a tool environment that allows to model business knowledge.
23
Mirillis Ltd.
9,747
Freeware
Splash Lite is an easy-to-use High Definition media player.
28
Plagiarism Checker X, LLC
20,645
Freeware
Plagiarism detector for students, teachers and bloggers.
2
Free-Medical-Spell-Check.com™
97
Freeware
A basic medical spell checker for checking the spelling of medical words.
2
SWI-Prolog
3,030
Freeware
SWI-Prolog offers a comprehensive free Prolog environment.
David Fahnestock
6
Shareware
ProLog is an electronic logbook for all of your athletic training.
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.
2
Play Buddy
49
Shareware
Designed to be a cheat for the Pogo Checker’s and Yahoo Checker’s game.
49
7Way Software.
3
Shareware
7Way Email Checker is a full-featured email checker that alerts you when new messages arrive in your....
53
MediaArea.net
14
Open source
Provides implementation checker and policy checker used in memory institutions.
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
872
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.
Yuce Tekol
21
Open source
PySWIP is an open source Python - SWI-Prolog bridge.
