- Amzi! Prolog + Logic Server Repository [IA][Direct] -
Articles, technotes, games, expert system shell prototypes, demos, samples, pointers to other resources and Amzi! product information.
- Integral Solutions Ltd [IA][Direct] -
Suppliers of tools and consultancy in KBS, data mining, KDD, KADS, manufacturing systems and of development environments for Prolog, Common Lisp, Pop-11 and Standard ML.
- Logic Programming Associates [IA][Direct] -
Prolog, Expert systems, object-oriented, fuzzy logic, data mining and other Artificial Intelligence based tools for Windows and Macintosh.
- PrologIA [IA][Direct]
- SICStus - a Prolog development system [IA][Direct] -
A popular, robust and high-performance implementation of Prolog, offering constraint solvers, exception handling, co-routining, and parallel execution.
- Visual Prolog [IA][Direct] -
A development system for MSDOS and 16 or 32 bit GUI applications that run under Win3.1x, WinNT, Win95 and OS/2. Many tools, utilities and examples available.
|