Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Programación Lógica / Logic Programming
Please note that these pages are all under permanent
construction/change. Comments, questions, raves, rants, etc., as well
as administrative questions regarding e.g. grading, changes in the
schedule, etc., regarding this course should be directed by email to
<proglog@dia.fi.upm.es>.
(04-05)
The Programación Lógica Mail
Archive (both in English and Spanish).
Contains all email messages to date, including instructions,
homework assignments, grades, etc.
All students must subscribe to this list. The list is
managed automatically by the
Majordomo program:
To subscribe, send a message to proglogstudents-request@clip.dia.fi.upm.es
containing in the body the word subscribe alone
in one line. Make sure your mailer does not add html
commands to the body.
To unsubscribe, same as above, but put in the body
unsubscribe alone in one line.
Note: The pdf pointers point to the full size PDF
versions, suitable for viewing on-line with, for example,
acroread, xpdf, ghostscript/ghostview, etc.
The ps pointers point to the full size PostScript versions,
suitable for viewing on-line with, for example,
ghostscript/ghostview. The pdf2perpage and
ps2perpage pointers point to reduced PDF/PostScript versions
(two or more slides per page), which are suitable for printing. The
html pointers point to the html versions.
Note to web surfers: You are welcome to use all or part of this
course material, but if you do so we ask you to please quote the
origin. We would also very much appreciate if you let us know that
you are using it and send us any errors you may find by email to <proglog@dia.fi.upm.es>. Thanks
in advance.
General Note: We used to start with basic theory (resolution,
etc..), then Logic Programming, then Prolog. Lately, we have decided
to start directly with a quick introduction to Logic Programming and
Prolog programming, relating things at the end with logic theory. This
is the version in these pages -- which is not very different from the
previous one, except for the order. If you prefer to start with
theory, just use the lp_theory slides first and remove some slides
(first order languages and unification, mainly) from
logic_programming.tex.
(One of the reasons for doing things the way we do them is that our
students take two semesters of logic prior to this course and are
therefore quite familiar with, e.g., resolution, models. etc., but not
with logic programming.)
Some Free Prolog Systems (incomplete!):
Ciao
Prolog
Fast, modular, with many interesting extensions (in fact, it is a
multi-paradigm system that also supports, e.g., functional
programming and constraint programming). Works on
Unix/Linux, Windows, Mac OS X, and others.
Good programming environment. Much more powerful but larger
download than SWI.
Features are added often to Ciao so we recommend
always getting the latest version.
SWI
Prolog
An all around good Prolog system for leaning. Works on Unix/Linux
and Windows. Main disadvantages: relatively slow / fewer features.