Logic Programmig

Course name

Logic Programmig

Code

CS2211O1

Class	Computer Science, 2007 - 2010					Package	2
Level	Undergraduate	Year	2	Semester	2	Status	Optional

Hours per week				Total hours per semester	Total hours of individual work	Credits	Evaluation type	Teaching language
C	S	L	Pr
2	0	2	0	56	94	5	E	ro

Taught by	Academic and scientific title, name
	Professor, PhD, Cristian Masalagiu

Required courses

Objectives	Getting minimal skills for programming in “PROLOG-based” computer languages. Learning an existent “on-line PROLOG-based”, commercial language (such as SWI-PROLOG).
General thematics	First-order predicate logic. Resolution in LP1. Horn formulae and logic programs. Refinements (restrictions and strategies) of resolution. Semantics o f Logic programming. Complete cannonical computation trees. Nondeterminism and the treatment of negatin. The construction of a PROLOG-like interpreter.
Seminary / Laboratory thematics	The themes will be fixed by the teacher at the beginning of the semester, according to the specified context. They will include the knoledge verification for the previous courses, short examples to be programmed and executed and larger projects.
Teaching methods	All the classical didactic methods will be used: systematic exposure of knoledge, conversation, learning „by descovery”, etc. The Courses will be taught using a retro- or video-porojector. A commercial language (e. g., SWI-PROLOG) will be taught at the la

Bibliography

C.D. Masalagiu – Fundamentele logice ale Informaticii, Editura Universităţii „Al. I. Cuza”, Iaşi, 2004, ISBN 973-703-015-X (in Romanian).
C. Cazacu, V. Slabu – Logică Matematică, Editura „Ştefan Lupaşcu”, Iaşi, 1999, ISBN 973-99044-0-8 (in Romanian).
V. Cotelea – Programarea în logică, Editura „Nestor”, Chişinău, Republica Moldova, ISBN 9975-9606-0-X (in Romanian).
J. W. Lloyd – Foundations of Logic Programming, Spriger Verlag, Germany, 1984, ISBN 3-540-13299-6.
INTERNET sites (they will become precise during the semester).

Evaluation	conditions	All the 14-th lab’s have to be confirmed by the presence of the student.
	criterias	The on-line tests during the normal practical activity (laboratory) may generate 90 points (maximum, see below). To “graduate” the course, a minimum of 50 points is need.
	modes	Concerning the lab. During the semester activity, there will be 6 themes (each quoted at 10 points, maximum) and a more complex project (quoted at 30 points, maximum).
	formula	The final grade is computed by first summing up all the obtained poins and then by dividing the result by ten. The grades will be then rounded such as to get a Gauss curve for the given year of study (see the regulations). The grades grater than 10 will be rounded to ten.

Faculty of
Computer Science