2
SICS
60
Shareware
The SICStus Prolog compiler produces portable, optimized virtual machine code.
4
Daniel Diaz
1,157
Freeware
GNU Prolog is a free Prolog compiler with constraint solving over finite domains.
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.
1
Prolog Development Center A/S
3
Commercial
Programming language used for creating industrial apps for Windows 32 platform.
2
Nice Games
6
Shareware
And here comes 3D Pacman! 100 levels with diverse 3D visuals, goblins, skeletons and magicians, exci....
18
Alfa Games
114
Shareware
Pacco Quest 3D is a new 3D arcade-type game based on the famous PacMan game.
K.U.Leuven
2
Freeware
Prologa is a tool environment that allows to model business knowledge.
Ultra Electronics, ProLogic
34
Shareware
Adds date and time stamps to MP4 and MOV format videos.
BANDAI NAMCO Studios Inc.
79
Commercial
PAC-MAN Championship Edition 2 is a casual arcade game.
Geeky Dads
Freeware
The goal of this game is to remove all dots by eating them with your Pacman.
5
Logic Programming Associates Ltd
6
Demo
WIN-PROLOG is the leading Prolog compiler system for Windows-based PCs.
2
SWI-Prolog
2,803
Freeware
SWI-Prolog offers a comprehensive free Prolog environment.
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.
71
SoftArtStudio
73
Shareware
Pacman in the Office is a real treat for all Pacman fans.
DigiApp
42
Freeware
Digi Pacman is a reconstruction of the original arcade game Pacman.
AshSofDev
14
Freeware
AshSofDev PacMan is a remake of the old PacMan arcade game.
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.
Prolog.NET
13
Freeware
An application that provides seamless integration between .NET and Prolog.