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.
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.
Richard G. Todd
6
Freeware
Prolog.NET Workbench is a .NET-base implementation of Prolog.
5
Logic Programming Associates Ltd
6
Demo
WIN-PROLOG is the leading Prolog compiler system for Windows-based PCs.
1
Prolog Development Center A/S
3
Commercial
Programming language used for creating industrial apps for Windows 32 platform.
Sorosy Dot Com
3
Freeware
The Arcade Game Manager shows a list of available Games.
Ugo Chirico
Freeware
JIProlog - Java Internet Prolog is a cross-platform pure Java 100% Prolog.
1
The LEGO Group
8
Freeware
It allows the MINDSTORMS NXT to import new blocks to the complete palette.
10
LEGO
4,638
Shareware
LEGO® MINDSTORMS NXT is back and better than ever, with new robot models.
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.
1
KeriSystems, Inc.
7
Commercial
Doors.NET - access control software for nxt ip-based hardware.
2
Paul Spurgeon
18
Freeware
A 20 button programmable NXT remote controller for PDAs & PCs, using Bluetooth.
2
Lawrie Griffiths, Andy Shaw, Roger Glassey, Sven Köhler
267
Freeware
leJOS NXJ is a Java programming environment for the LEGO MINDSTORMS NXT.
Afany Software
16
Shareware
B-Prolog is a versatile and efficient constraint logic programming system.