Logic Programming
Lecture Notes
Preface
The present lecture notes (in Bulgarian, HTML format) are based on lecture
courses given during the second semesters of the academic years 1999-2000 and 2000-2001, however certain modifications and additions may arise as time goes by, and sometimes also certain misprints or other oversights have to be corrected. The notes consist of a system of linked texts contained in distinct HTML files (some of them are accompanied also by a few image files in GIF format). The Internet link
http://www.fmi.uni-sofia.bg/fmi/logic/skordev/ln/lp/
indicates a directory chosen to be the standard WWW location of the HTML
and GIF files in question. All changes in the notes are done by updating
the system of files in that directory. Most texts contain an information
about their last modification date (the information can be found near to
the end of the text and indicates the moment of appearing of the file(s)
with this version of the text in the standard WWW location of the notes).
You may freely make electronic or printed copies of these lecture notes
or of parts of them for your personal use. However, if you make such a
copy publicly accessible (by putting it on an Internet site or in some
other way), please indicate the author's name and the standard WWW location
of the copied material (of course, this request would be automatically
granted in the case of a complete copy including the present preface).
In case you browse these lecture notes for the first time, it could
be useful to begin with casting a glance at the included technical information concerning their HTML presentation. Otherwise you may directly go to the contents.
|
Last modified on July 30, 2001
| |
|