Skip to main content
Course search
Close
Course search
Toggle search input
English (en)
ქართული (ka)
English (en)
Français (fr)
Русский (ru)
Log in
Advanced Topics in C ...
Course search
Close
Course search
Toggle search input
Courses
Advanced Topics in Computer Science
25 March - 12 April, Logic programming (Mireille Ducassé)
Students programs : ancestor.pl
Students programs : ancestor.pl
Completion requirements
Opened:
Tuesday, 5 March 2024, 3:58 PM
Due:
Wednesday, 15 May 2024, 3:58 AM
•
Make sure to add how you tested them
/*
<program
description
>
*/
<Prolog code>
/*
?- <tested goals and results>
*/
Previous activity
Uploading Exercises Reports: Recommendations
Next activity
Drawing: Search tree for ?- ancestor_of (lali, davit).
Jump to...
Jump to...
ახალი ამბების ფორუმი / 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
Drawing: Search tree for ?- ancestor_of (lali, davit).
Students programs: lists.pl
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