- Cetus Links: Prolog
- History and discussion on Prolog with examples of statements provided. Also contains listing of other links related to Prolog.
- Computational Linguistics and Phonetics
- Introduces the Department of CLP and its faculty and staff. Contains details about research projects, publications and links to related institutions.
- Conceptual Graphs
- Online course that features modules on CG and Prolog+CG. Shows examples of program codes with outputs.
- Early History of Prolog
- Discusses a brief background of the program. Includes a list of downloadable links of the author’s publications.
- Home Page of Roberto Bagnara
- Argues if the ISO Prolog standard is being taken seriously. Considers the problem with syntax in SICStuc Prolog against the ISO Prolog.
- International Conference on Applications of Prolog
- Covers information on each of the International Conference of Applications of Prolog INAP from 1995 to 2005.
- The Object Oriented Programming Web
- Supplies categories for Programming technologies and Computer Science. Showcases tutorials on Prolog, and building expert systems.
- PCAI Artificial Intelligence
- Collection of the different kinds of AI Categories and AI Languages. Each are given overviews and other links for additional information.
- Personal Site of Dmitri Pissarenko
- Downloadable documents and source codes related to software engineering.
- The Pillow Pages
- Public domain library for Logic Programming and Constraint Programming systems. Offers downloadable LP/CLP systems and manuals.
- Project Open
- Discusses the comparison with several types of Prologs in terms of its availability, efficiency, speed, operating systems and personal comments from registered users.
- Prolog
- Introduces the Prolog program and its functions and types. Appendix includes Meta logical Constructs, Input and Output, and Comparison Operators.
- Prolog AI Weblog
- Provides projects, forums and updated news related to Prolog AI. List of resources such as AI Wiki, Debugger, Prolog dictionary, and others associated with the program.
- Prolog Parsers
- Presents the evaluation process of parsing techniques in Prolog.
- Prolog Tutorial
- Outline of the tutorial with sample programs and descriptions. Includes Logic topics and introduction to Natural Language Processing.
- Simply Logical
- Outline and discussion on the Intelligent Reasoning by Example. Provides published reviews regarding computing reviews and Natural Language Engineering.
- Techref – Prolog
- Displays various definitions and differentiation of the terms between logic languages and non-logical languages.
- Warren’s Abstract Machine: A Tutorial Reconstruction
- Provides an overview of the book presented. Showcases free downloadable links with permission from the author.
|