|
|
|
| MavicaNet - Classic |
| |||
| |||
|
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] |
||
| |||
|
|
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] |
||
| |||
|
Àêòîðíûé Ïðîëîã
Èññëåäîâàòåëüñêèé ïðîåêò â îáëàñòè ëîãè÷åñêîãî îáúåêòíî-îðèåíòèðîâàííîãî ïðîãðàììèðîâàíèÿ. Ñòàòüè, ïðèìåðû àãåíòîâ Èíòåðíåò, ðåàëèçîâàííûõ íà Àêòîðíîì Ïðîëîãå. [rus] |
||
| |||
|
|
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] |
||
| |||
|
|
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] |
||
| |||
|
|
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] |
||
| |||
|
|
Prolog Development Center
An international leader in the development of intelligent components and applications. [eng] |
||
| |||
|
|
The World Wide Web Virtual Library: Logic Programming
This document contains some pointers to information on Logic Programming available around the world on the World Wide Web . [eng] |
||
| |||
|
|
Trinc-Prolog
An object oriented prolog for Windows which supports the ISO standard. [eng] |
||
| |||
|
|
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] |
||
| |||
|
|
Applied Logic Systems, Inc.
Provides a full-featured, Edinburgh-style Prolog compiler with GUI tools for Unix, Windows and Macintosh platforms. [eng] |
||
| |||
|
|
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] |
||
| |||
|
|
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] |
||
| |||
|
|
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] |
||
| |||
|
|
Cetus Links
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] |
||
| |||
|
|
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] |
||
| |||
|
|
Logic Programming Associates
The leading supplier of Intelligent Solutions for Windows and the Web. [eng] |
||
| |||
| |||
Copyright © 2000 MavicaNET. All Rights Reserved. MavicaNET ® is a registered trademark of NNT Telecom. Designed by Digital Art Design, 2000. Hosted by NNT. |
|
