Programming in Logic

Code:

CC3012

Acronym:

CC3012

Level:

300

Keywords
Classification	Keyword
OFICIAL	Computer Science

Instance: 2014/2015 - 2S

Active?	Yes
Responsible unit:	Department of Computer Science
Course/CS Responsible:	Bachelor in Computer Science

Cycles of Study/Courses

Acronym	No. of Students	Study Plan	Curricular Years	Credits UCN	Credits ECTS	Contact hours	Total Time
L:CC	14	Plano de estudos a partir de 2014	2	-	6	56	162
MI:ERS	14	Plano Oficial desde ano letivo 2014	2	-	6	56	162

Teaching language

Suitable for English-speaking students

Objectives

To present the key concepts of the logic programming paradigm, as a declarative approach to programming, and to establish the relationship with other fields such as Compilers, Artifitial INtelligence and Data Basess.

Learning outcomes and competences

The student should be able to apply logicprogramming and Prolog in non-trivial applications.

 

Working method

Presencial

Pre-requirements (prior knowledge) and co-requirements (common knowledge)

Previous experience in compilel and Computational Logic is recommended.

Program

Prolog and its relation to first-order logic.
  Unification,
  query evaluation
  search.
Meta-level: cuts, negation, and meta-predicates.

Database management.

Implementation of meta-interpreters and expert systems.

Tabulation and improved search in Prolog.

Applications in Parsing and Compilation

Datalog

Mandatory literature

Bratko Ivan 1946-; Prolog programming for artificial intelligence. ISBN: 978-0-201-14224-2 pbk

Complementary Bibliography

Sterling Leon; The art of Prolog. ISBN: 978-0-262-19338-2

Teaching methods and learning activities

The evaluation includes a final exam, and a Prolog programming project  Also includes mini-projects to motvate studemts to adapt to a different language,.

Software

yao prolog
swi-prolog

Evaluation Type

Distributed evaluation with final exam

Assessment Components

designation	Weight (%)
Exame	50,00
Participação presencial	50,00
Total:	100,00

Calculation formula of final grade

Given
  Project=1-6
  Mini-Projects=1-4
  Exame=1-10

NOTA=Projecto+Mini-Projectos+Exame