Warning
This page is located in archive.

Table of Contents

Cvičení předmětu FLP

( domů | přednášky | cvičení | úlohy )

Funkcionální programování

Logické programování

No. Date Topic
8. 3.4 Prolog as a database: Facts, queries, simple recursion and Prolog search strategy.
9. 10.4 Unification, Lists, Proof trees for recursive predicates.
10. 17.4 Cut, Tail-recursion, Efficient programming with cut.
11. 24.3 Search algorithms.
12. 1.5 Search algorithms II.
13. 8.5 Constraint logic programming.
14. 15.5 Dynamic predicates, credits.
courses/a4b33flp/2012/tutorials.txt · Last modified: 2016/03/01 01:37 by vyskoji1