Listing of the examples for this part of the course

Note that all these examples, as well as a many other class exercises are embedded within the slide sets and runnable directly from them.
[ICO]NameLast modifiedSizeDescription
[TXT]010_pets.pl2026-09-02 17:56 362  
[TXT]020_unification_queries.pl2026-09-02 17:56 412  
[TXT]030_search_control.pl2026-09-02 17:56 734  
[TXT]040_search_control_2.pl2026-09-02 17:56 874  
[TXT]050_modes_pets.pl2026-09-02 17:56 362  
[TXT]060_modes_arithmetic.pl2026-09-02 17:56 859  
[TXT]070_family_database.pl2026-09-02 17:56 495  
[TXT]080_circuit_database.pl2026-09-02 17:56 658  
[TXT]090_named_circuits.pl2026-09-02 17:56 829  
[TXT]100_relational_database.pl2026-09-02 17:56 2.1K 
[TXT]110_ancestor.pl2026-09-02 17:56 517  
[TXT]120_not_equal.pl2026-09-02 17:56 1.4K 
[TXT]130_types_date.pl2026-09-02 17:56 568  
[TXT]140_peano_arithmetic.pl2026-09-02 17:56 904  
[TXT]150_peano_mod.pl2026-09-02 17:56 1.0K 
[TXT]160_ackermann.pl2026-09-02 17:56 790  
[TXT]170_ackermann_functional_syntax.pl2026-09-02 17:56 1.3K 
[TXT]180_list_type.pl2026-09-02 17:56 289  
[TXT]190_list_basics.pl2026-09-02 17:56 1.3K 
[TXT]200_append.pl2026-09-02 17:56 334  
[TXT]210_reverse.pl2026-09-02 17:56 930  
[TXT]220_binary_trees.pl2026-09-02 17:56 2.2K 
[TXT]230_tree_traversal.pl2026-09-02 17:56 902  
[TXT]240_polymorphism.pl2026-09-02 17:56 1.9K 
[TXT]250_polynomials.pl2026-09-02 17:56 1.3K 
[TXT]260_derivative.pl2026-09-02 17:56 1.5K 
[TXT]270_graphs.pl2026-09-02 17:56 3.1K 
[TXT]280_automata.pl2026-09-02 17:56 894  
[TXT]290_pushdown_automata.pl2026-09-02 17:56 2.1K 
[TXT]300_hanoi.pl2026-09-02 17:56 1.4K