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_operators.pl2026-09-02 17:56 892  
[TXT]020_execution_family.pl2026-09-02 17:56 390  
[TXT]030_arithmetic_queries.pl2026-09-02 17:56 328  
[TXT]040_factorial.pl2026-09-02 17:56 1.0K 
[TXT]050_type_checking.pl2026-09-02 17:56 703  
[TXT]060_structure_inspection.pl2026-09-02 17:56 512  
[TXT]070_arrays.pl2026-09-02 17:56 1.1K 
[TXT]080_arrays_2.pl2026-09-02 17:56 1.1K 
[TXT]090_subterm.pl2026-09-02 17:56 878  
[TXT]100_univ_queries.pl2026-09-02 17:56 231  
[TXT]110_deriv_univ.pl2026-09-02 17:56 305  
[TXT]120_strings_and_atoms.pl2026-09-02 17:56 601  
[TXT]130_length_metalogical.pl2026-09-02 17:56 1.0K 
[TXT]140_length_delayed.pl2026-09-02 17:56 931  
[TXT]150_subterm_nonground.pl2026-09-02 17:56 1.8K 
[TXT]160_insert_comparison.pl2026-09-02 17:56 828  
[TXT]170_input_output.pl2026-09-02 17:56 945  
[TXT]180_cut_basics.pl2026-09-02 17:56 1.0K 
[TXT]190_white_green_cuts.pl2026-09-02 17:56 1.2K 
[TXT]200_red_cuts_max.pl2026-09-02 17:56 1.1K 
[TXT]210_red_cuts_days.pl2026-09-02 17:56 2.4K 
[TXT]220_metacalls.pl2026-09-02 17:56 703  
[TXT]230_higher_order.pl2026-09-02 17:56 833  
[TXT]240_higher_order_ciao.pl2026-09-02 17:56 449  
[TXT]250_aggregation.pl2026-09-02 17:56 1.2K 
[TXT]260_negation_as_failure.pl2026-09-02 17:56 2.0K 
[TXT]270_cut_fail.pl2026-09-02 17:56 940  
[TXT]280_dynamic_assert.pl2026-09-02 17:56 1.2K 
[TXT]290_lemmas_fib.pl2026-09-02 17:56 1.4K 
[TXT]300_meta_interpreter.pl2026-09-02 17:56 1.2K 
[TXT]310_difference_lists.pl2026-09-02 17:56 1.0K 
[TXT]320_qsort.pl2026-09-02 17:56 865  
[TXT]330_qsort_difference_lists.pl2026-09-02 17:56 1.4K 
[TXT]340_parsing_append.pl2026-09-02 17:56 1.0K 
[TXT]350_parsing_difference_lists.pl2026-09-02 17:56 1.1K 
[TXT]360_parsing_strings.pl2026-09-02 17:56 1.0K 
[TXT]370_parsing_dcg.pl2026-09-02 17:56 911  
[TXT]380_parsing_actions.pl2026-09-02 17:56 1.3K