Sites

The Ciao Prolog Development System WWW Site - English
URL: http://clip.dia.fi.upm.es/Software/Ciao/

A complete Prolog system, supporting ISO-Prolog, but its novel modular design allows both restricting and extending the language.

[ eng ]

Prolog Development Center - English
URL: http://www.pdc.dk/

shown in filters: Organizations

An international leader in the development of intelligent components and applications.

[ eng ]

CompuLog Net at DFKI Saarbruecken - English
URL: http://www.compulog.org/

shown in filters: Organizations

The European Network of Excellence in Computational Logic - comprises over 100 nodes from 20 European countries, representing leading universities, research centres and industrial companies.

[ eng ]

Bibliographies on Logic Programming - English
URL: http://liinwww.ira.uka.de/bibliography/LogicProgramming/index.html

shown in filters: Web Resources, Publications

A part of the Collection of Computer Science Bibliographies.

[ eng ]

American Association for Artificial Intelligence (AAAI) - English
URL: http://www.aaai.org/

shown in filters: Organizations, Publications

A nonprofit scientific society devoted to advancing the scientific understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines.

[ eng ]

The World Wide Web Virtual Library: Logic Programming - English
URL: http://archive.comlab.ox.ac.uk/logic-prog.html

shown in filters: References and Indices

This document contains some pointers to information on Logic Programming available around the world on the World Wide Web .

[ eng ]

Quintus Prolog - English
URL: http://www.sics.se/isl/quintus/

shown in filters: News, Publications

A well known and well proven embeddable implementation of Prolog for UNIX and PC platforms, designed to support the building of software components that can be easily integrated into applications written using other languages and tools.

[ eng ]

Visual Prolog - English
URL: http://www.visual-prolog.com/

A programming environment with all facilities needed for making commercial applications. Download the freeware version. Supports: Windows 3.x/95/98/NT/2000, OS/2 and text-mode support for DOS, Linux and SCO UNIX.

[ eng ]

Strawberry Prolog - English
URL: http://www.dobrev.com/

Prolog compiler for Win95/NT and Unix/Linux. Supports OLE and ActiveX, Prolog CGI Scripts. Strawberry Prolog is suitable for client-server applications and it has unique debug facilities.

[ eng ]

Free/Shareware Prolog implementations - English
URL: http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/0.

shown in filters: Web Resources

Offers a collection of Prolog implementations. FAQs.

[ eng ]

Trinc-Prolog - English
URL: http://www.trinc-prolog.com/

shown in filters: News, Job, Publications

An object oriented prolog for Windows which supports the ISO standard.

[ eng ]

BinProlog - English
URL: http://www.binnetcorp.com/BinProlog/

A high performance, robust Prolog system with ability to generate C/C++ code and standalone executables. Online help and evaluation copy are available.

[ eng ]

The PiLLoW package home page - English
URL: http://www.clip.dia.fi.upm.es/miscdocs/pillow/pillow.html

Programming in (Constraint) Logic Languages on the Web. This package is a public domain HTML/XML/HTTP conectivity package for Logic Programming and Constraint Programming systems.

[ eng ]

Cetus Links - English
URL: http://www.cetus-links.org/oo_prolog.html

shown in filters: References and Indices, Publications

This collection of links treats Prolog within the context of object and component-orientation. Contains more than 15,000 links on objects and components/Prolog.

[ eng ]

Applied Logic Systems, Inc. - English
URL: http://www.als.com/

shown in filters: Organizations

Provides a full-featured, Edinburgh-style Prolog compiler with GUI tools for Unix, Windows and Macintosh platforms.

[ eng ]

Logtalk - English
URL: http://www.ci.uc.pt/logtalk/logtalk.html

shown in filters: Web Resources, News, Publications

A free object-oriented extension to the Prolog programming language. Integrating logic programming with object-oriented and event-driven programming, is compatible in most Prolog compilers.

[ eng ]

Amzi - English
URL: http://www.amzi.com/

shown in filters: Web Resources, Organizations

Prolog + Logic Server, Version 5.0 Beta is now available for Windows, Linux & Solaris. New version (5.0.18e, 20-June-00). Prolog, expert systems and artificial intelligence products, articles, examples, freeware and customer stories about embedding intelligent components that diagnose problems, recommend configurations, give advice, schedule events, monitor processes, apply business rules and more.

[ eng ]

The GNU Prolog - English
URL: http://pauillac.inria.fr/~diaz/gnu-prolog/

shown in filters: Publications

A free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. Accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source).

[ eng ]

Logic Programming Associates - English
URL: http://www.lpa.co.uk/

shown in filters: Web Resources

The leading supplier of Intelligent Solutions for Windows and the Web.

[ eng ]

SWI-Prolog - English
URL: http://www.swi.psy.uva.nl/projects/SWI-Prolog/

shown in filters: Web Resources, Publications

A Prolog compiler, targeting primarily at research and education. FAQs, documentation and mailing list.

[ eng ]