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