|
|
|
Prolog
manuals. Programming
languages. |
|
Definition of Prolog |
|
Short for Programming Logic, Prolog is a high-level
programming language based on formal logic. Unlike traditional
programming languages that are based on performing sequences of
commands, Prolog is based on defining and then solving logical formulas.
Prolog is sometimes called a declarative language or a rule-based
language because its programs consist of a list of facts and rules.
Prolog is used widely for artificial intelligence applications,
particularly expert systems.
|
|
|
|
Manual |
Description |
Online
|
Format / File |
Ads / Size |
|
|
SWI-Prolog All
versions |
"SWI-Prolog started life in 1986, it stresses connectivity to the
C-language, few system limits, comprehensive memory management, modules,
multi-threading, coroutining, constraints and a fast and interactive
development environment. Portable libraries for graphics, databases,
networking, web-services, XML, RDF and many more complete the system.
SWI-Prolog is compliant to part one of ISO standard Prolog. In addition
it provides functionality compatible to Quintus, SICStus, LPA, Ciao and
many more. "
|
 |
 |
|
|
Wikipedia
Prolog |
Prolog has its roots in first-order logic, a formal logic, and unlike
many other programming languages, Prolog is intended as primarily a
declarative programming language: the program logic is expressed in
terms of relations, represented as facts and rules. A computation is
initiated by running a query over these relations.
|
|
|
|
Prolog for Software Engineering |
The Prolog programming language offers several opportunities to tackle
the fundamental problems of software engineering. By properly exploiting
certain characteristics of Prolog, we can improve the clarity,
robustness, and reliability of programs as well as improving
communication between programmers.
But clear, reliable, and maintainable programs do not write themselves,
even in Prolog. Therefore, this tutorial will focus on systematic
development of small Prolog programs, the role of specifications, how to
build interfaces to other languages and systems, standardized
programming techniques and styles, approaches to performance measurement
to increase efficiency, how to effectively rewrite for efficiency, and
how to produce documentation in a literate programming style. Finally,
there will be a description of a performance monitor and a tool for
handling formal languages in Prolog.
|
|
|
|
Prolog. A tutorial introduction /
Local Download |
40 pages. PDF
|
|
 |
|
Prolog Tutorial |
Prolog, which stands for PROgramming in LOGic, is the most widely
available language in the logic programming paradigm. Logic and
therefore Prolog is based the mathematical notions of relations and
logical inference. Prolog is a declarative language meaning that rather
than describing how to compute a solution, a program consists of a data
base of facts and logical relationships (rules) which describe the
relationships which hold for the given application. Rather then running
a program to obtain a solution, the user asks a question. When asked a
question, the run time system searches through the data base of facts
and rules to determine (by logical deduction) the answer.
|
|
|
|
Sicstus Prolog User's manual |
"This manual describes a Prolog system developed at the Swedish
Institute of Computer Science. Parts of the system were developed by the
project "Industrialization of SICStus Prolog". The system consists of a
WAM emulator written in C, a library and runtime system written
in C and Prolog and an interpreter and a compiler written in Prolog. The
Prolog engine is a Warren Abstract Machine (WAM) emulator [Warren 83].
Two modes of compilation are available: in-core i.e. incremental, and
file-to-file."
|
|
|
|
Sicstus Prolog User's manual |
Similar to the above.
|
|
|
|
Introduction to Prolog |
Introduction to Prolog.
Simple Facts (Exercise 1, Exercise 2) Facts with Arguments
Variables and Unification (Exercise 3) Rules (Exercise
4, Exercise 5)
Search (Exercise 6, Exercise 7) Recursion (Exercise 8) Lists
(Exercise 9)
|
|
|
|
|
|
|
|
|
|
|
 Home |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Manuals.astalaweb.net © 2005
Gabriel Chova Blasco -
All rights reserved
|
 |
|
|
xxxKb = Size of downloadable file in Kb ||
- Microsoft Word (.doc) |
- Rich Format Text (.rtf) 
- Unformatted text (.txt) | 
- Power Point (..ppt, pps) |
- Help (.chm) |
- Installer (.exe)