Passer au contenu principal
Recherche de cours
Fermer
Recherche de cours
Activer/désactiver la saisie de recherche
Français (fr)
ქართული (ka)
English (en)
Français (fr)
Русский (ru)
Connexion
Advanced Topics in C ...
Recherche de cours
Fermer
Recherche de cours
Activer/désactiver la saisie de recherche
Cours
Advanced Topics in Computer Science
25 March - 12 April, Logic programming (Mireille Ducassé)
Students programs: lists.pl
Students programs: lists.pl
Conditions d'achèvement
Ouvert le :
Tuesday 5 March 2024, 15:58
À remettre :
Wednesday 15 May 2024, 03:58
Activité précédente
Drawing: Search tree for ?- ancestor_of (lali, davit).
Activité suivante
Defense plannings and organisation (Zoom link, time slots, ...)
Aller à…
Aller à…
ახალი ამბების ფორუმი / News Forum
Course goals and outcomes
Chapter 5: More Prolog Features
Chapter 7 - Synthesis
Introduction to ECLiPSe-Prolog and Tracing support
Uploading Exercises Reports: Recommendations
Students programs : ancestor.pl
Drawing: Search tree for ?- ancestor_of (lali, davit).
Defense plannings and organisation (Zoom link, time slots, ...)
Project description
Mid-term individual defense documents
Documents for the final individual defense of Logic programming project
Lectures slides
Introduction to Java Threads (useful for the practical sessions)
Practical Sessions
Lecture slides
Practical sessions