|
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 |
|
|
Online Guide to Prolog Programming |
On-line Guide to Prolog Programming designed and maintained
by Roman Barták. A contribution to evolving area
of logic programming languages and PROLOG in particular. An intend to an introduction to logic programming and PROLOG for beginners but I
also expect to cover some advanced topics. It's not meant as an
unclassified collection of links to other pages although I also include
some interesting links here.
|
 |
 |
|
|
LearnProlog Now |
Learn Prolog Now! is an introductory course to programming in Prolog.
The online version has been available since 2001
We wanted to do two things with this course. First, we wanted to provide
a text that was relatively self contained, a text that would permit
someone with little or no knowledge of computing to pick up the basics
of Prolog with the minimum of fuss. We also wanted the text to be clear
enough to make it useful for self study. We believe that if you read the
text, and do the associated exercises, you will gain a useful partial
entry to the world of Prolog.
But only a partial entry, and this brings us to our second point. We
want to emphasize the practical aspects of Prolog. Prolog is something
you do. You can't learn a programming language simply by reading about
it, and if you really want to get the most out of this course, we
strongly advise you to get hold of a Prolog interpreter (you'll find
pointers to some nice ones on this website) and work through all the
Practical Sessions that we provide. And of course, don't stop with what
we provide.
|
|
|
|
|
Prolog and Logic Programming |
This course is supported by World-Wide Web documents. These notes
originated from the School of Computer Science in the University of
Birmingham, United Kingdom. More precisely, they were written by Peter
Hancox mainly in the early hours of the morning at home in the edge of
Worcestershire in the English midlands.
These notes are publically accessible and we know they are used by
students learning at other universities. If you are a tutor and want to
use these notes for group teaching, please ask for a copy rather than
using our World-Wide Web server.
|
|
|
|
|
The Prolog Dictionary |
This version of the Prolog dictionary assumes the syntax of SWI Prolog.
Some examples assume a Unix command interpreter, as in Linux and MacOS
X/Terminal.
You should use The Prolog Dictionary to clarify or revise concepts that
you have already met. The Prolog Dictionary is not a suitable way to
begin to learn about Prolog. That said, this dictionary is designed to
be used by beginner and intermediate Prolog programmers. Further
information on Prolog can be found in the SWI Prolog documentation
linked above.
|
|
|
|
|
Prolog in Examples |
The goal of this tutorial
is to convince you, that Prolog can be an efficient tool to do
programming if you know the right techniques.
These notes are publically accessible and we know they are used by
students learning at other universities. If you are a tutor and want to
use these notes for group teaching, please ask for a copy rather than
using our World-Wide Web server.
|
|
|
|
|
Visual Prolog tutorials |
A set of Visual Prolog video tutorials will help you to study Visual
Prolog.
|
|
|
|
|
YAP Prolog |
"This document provides User information on version of YAP (yet
another prolog). The YAP Prolog System is a high-performance Prolog
compiler developed at LIACC, Universidade do Porto. YAP provides several
important features..."
|
|
|
|
|
Prolog. A introduction to Prolog |
22 pages. PDF format.
|
|
 |
|
|
|
|
|
|
|
|
|
 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)