- Amzi
- Features the introduction to Intelligent Web Services with Java and Tomcat with demo and source code.
- Aquarius Prolog 1.0
- Details a portable Prolog Implementation. Provides instructions in obtaining Aquarius Prolog free of charge.
- ARITY: Research, Reasoning, Results
- Explanation on the highly optimized extended version of the logic programming language Arity/Prolog32.
- BinNet Corporation
- Features BinProlog as a high performance Internet-oriented compiler. Includes online documentations associated with the program.
- B-Prolog
- Introduction of the multipurpose programming language system and its other features. Shows a list of recently released higher versions of the program.
- Brain Aid Prolog
- Showcases an online manual and tutorial of the program with examples and library references.
- The Ciao Prolog Development System WWW Site
- Introduces the Ciao Prolog System. Offers online presentations and tutorials on Ciao features, LPdoc and CiaoPP.
- CMU Artificial Intelligence Repository
- Listing of free and shareware Prolog implementations with brief descriptions added.
- The GNU Prolog Web Site
- Features the Prolog system, the compiler, and the constraint solver. Provides manuals and downloadable items of the system.
- Ifcomputer
- Contains a list of IF projects with detailed discussion and print-screened output.
- Logic Programming Associates Ltd
- Compiles a list of various programming language projects with descriptions and output provided. Includes Frequently Asked Questions together with their answers.
- Logtalk
- Reports the latest updates about Logtalk such as recent downloadable versions and other news. Also shows a list of summarized features on the object-oriented logic programming language.
- NU-Prolog Implementation
- Offers downloadable release versions with readme files. Includes downloadable manual for further references.
- Quintus Prolog The Industry Standard
- Listing of recent available Quintus programming language versions. Provides detailed summary of the program’s different features.
- Reform Prolog Project
- Contains introduction to Reform Prolog and overview of its brief projects. List of resources and research papers arranged by year of production and publication.
- SICStus4
- Latest releases and downloadable versions SICStus 4 and 3. Features customer references and news related to the program for added information.
- Strawberry Prolog
- Introduces the compiler as a part of the AI project with sample programs provided.
- SWI Prolog
- Introduces the purposes of the implementation at the present time to provide the needs of real-world applications. Provides list of the features of SWI Prolog 5.6.x.
- Trinc-Prolog
- Discussion on the documentation of the program such as new features, modules, application programming interfaces and others. Offers Trinc-Prolog versions for downloading.
- The University of Queensland School of Information Technology and Electrical Engineering
- Describes Qu-Prolog as an extended Prolog design used as a prototyping and tactic language for interactive theorem provers.
- Visual Prolog
- Logical programming language that counts PDC Prolog and Turbo Prolog. Supports industrial strength programming of intricate knowledge emphasized problems.
- YAProlog
- High performance Prolog compiler with a Prolog engine based on the Warren Abstract Machine. Essentially compatible with the standard ISO-Prolog and with Quintus and SICStus Prolog.
|