|
|
|
| MavicaNet - Classic |
PROLOG | |
 | Catalog / Technology / Computer & Information Technologies / Programming / PROLOG |
| Catalog / Technology / Computer & Information Technologies / Programming / Logic Based Languages / PROLOG |
| |||
| |||
|
CompuLog Net at DFKI Saarbruecken
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] |
||
| |||
|
|
American Association for Artificial Intelligence (AAAI)
A nonprofit scientific society devoted to advancing the scientific understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines. [eng] |
||
| |||
|
|
Visual Prolog
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] |
||
| |||
|
|
Applied Logic Systems, Inc.
Provides a full-featured, Edinburgh-style Prolog compiler with GUI tools for Unix, Windows and Macintosh platforms. [eng] |
||
| |||
|
|
The Ciao Prolog Development System WWW Site
A complete Prolog system, supporting ISO-Prolog, but its novel modular design allows both restricting and extending the language. [eng] |
||
| |||
|
|
Strawberry Prolog
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] |
||
| |||
|
|
Prolog Development Center
An international leader in the development of intelligent components and applications. [eng] |
||
| |||
|
|
Logtalk
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] |
||
| |||
|
|
Free/Shareware Prolog implementations
Offers a collection of Prolog implementations. FAQs. [eng] |
||
| |||
|
Акторный Пролог
Исследовательский проект в области логического объектно-ориентированного программирования. Статьи, примеры агентов Интернет, реализованных на Акторном Прологе. [rus] |
||
| |||
|
|
Amzi
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] |
||
| |||
|
|
Quintus Prolog
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] |
||
| |||
|
|
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] |
||
| |||
|
|
Bibliographies on Logic Programming
A part of the Collection of Computer Science Bibliographies. [eng] |
||
| |||
|
|
The PiLLoW package home page
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] |
||
| |||
|
|
The GNU Prolog
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] |
||
| |||
|
|
SWI-Prolog
A Prolog compiler, targeting primarily at research and education. FAQs, documentation and mailing list. [eng] |
||
| |||
|
|
Logic Programming Associates
The leading supplier of Intelligent Solutions for Windows and the Web. [eng] |
||
| |||
|
|
SWI-Prolog
An LGPL comprehensive portable Prolog compiler. News, documentation, FAQ, related links, and more. [eng] |
||
| |||
|
|
Yahoo! - Prolog
Contains a number of site references including a Parallel Prolog Dialect and an environment for developing logic grammars for natural language. [eng] |
||
| |||
| |||
Copyright © 2000 MavicaNET. All Rights Reserved. MavicaNET ® is a registered trademark of NNT Telecom. Designed by Digital Art Design, 2000. Hosted by NNT. |
|
