Listing of the examples for this part of the course

Note that all these examples, as well as many other class exercises are embedded within the slide sets and runnable directly from them.

[ICO]NameLast modifiedSizeDescription
[TXT]010_pets.pl2026-10-29 07:52 358  
[TXT]020_unification_queries.pl2026-10-29 07:52 592  
[TXT]030_search_control.pl2026-10-29 07:52 1.2K 
[TXT]040_search_control_2.pl2026-10-29 07:52 1.4K 
[TXT]050_modes_pets.pl2026-10-29 07:52 217  
[TXT]060_modes_arithmetic.pl2026-10-29 07:52 409  
[TXT]070_family_database.pl2026-10-29 07:52 622  
[TXT]080_circuit_database.pl2026-10-29 07:52 697  
[TXT]090_named_circuits.pl2026-10-29 07:52 781  
[TXT]100_relational_database.pl2026-10-29 07:52 2.1K 
[TXT]110_ancestor.pl2026-10-29 07:52 600  
[TXT]120_not_equal.pl2026-10-29 07:52 1.8K 
[TXT]130_types_date.pl2026-10-29 07:52 568  
[TXT]140_peano_arithmetic.pl2026-10-29 07:52 925  
[TXT]150_peano_mod.pl2026-10-29 07:52 1.0K 
[TXT]160_ackermann.pl2026-10-29 07:52 1.2K 
[TXT]170_ackermann_functional_syntax.pl2026-10-29 07:52 1.4K 
[TXT]180_list_type.pl2026-10-29 07:52 286  
[TXT]190_list_basics.pl2026-10-29 07:52 1.3K 
[TXT]200_append.pl2026-10-29 07:52 334  
[TXT]210_reverse.pl2026-10-29 07:52 930  
[TXT]220_binary_trees.pl2026-10-29 07:52 2.2K 
[TXT]230_tree_traversal.pl2026-10-29 07:52 902  
[TXT]240_polymorphism.pl2026-10-29 07:52 1.9K 
[TXT]250_polynomials.pl2026-10-29 07:52 1.3K 
[TXT]260_derivative.pl2026-10-29 07:52 1.6K 
[TXT]270_graphs.pl2026-10-29 07:52 3.1K 
[TXT]280_automata.pl2026-10-29 07:52 893  
[TXT]290_pushdown_automata.pl2026-10-29 07:52 2.1K 
[TXT]300_hanoi.pl2026-10-29 07:52 1.4K