2
SICS
60
Shareware
The SICStus Prolog compiler produces portable, optimized virtual machine code.
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.
40
Prolog.NET
13
Freeware
An application that provides seamless integration between .NET and Prolog.
1
Gabor Szabo.
1,651
Freeware
DWIM Perl for Windows is a Strawberry Perl derivative for Windows.
13
Kristanix Games
775
Shareware
Help the fresh out of school Maggie run her magical farm.
2
Alawar Entertainment
646
Shareware
Holly 2 - Magic Land is a charming and enjoyable hidden obejct game for kids.
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.
3
Southsoftware.com
285
Shareware
A powerful cost-effective tool to schedule running of applications.
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.
Phantom EFX
3
Commercial
Ejoy the delicious triple-scoop cone of vanilla, chocolate, and strawberry.
ePlaybus
14
Freeware
Help Strawberry gather fruit for her famous treats.
21
FullScreensavers.com
30
Freeware
Enjoy fresh cold kiwi, strawberry, lemon and orange drinks.
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.