Univ. Lille1 - Licence info 3ème année 2012-2013
This introduction to logic programming in Datalog was held at Lille 1 University for 150 3rd year students in Computer Science (5 groups). It constituted half of a teaching unit, of which the second is introduction to functionnal Programing in OCaml.
Each of 5 weeks had
In the lab, we worked with DES (datalog educational system) under Ubuntu. In previous years, the logic programming part of the course used SWI-Prolog.
Weeks and sessions:
Instructors: C. Kuttler (responsible), C. Bouillaguet, AC. Caron, A. Ndione, and E.Wegrzynowski
Ce document a été traduit de LATEX par HEVEA