PB016 - demonstrační příklady - Prolog+Python

Na této stránce jsou k dispozici funkční přepisy příkladů z přednášky v jazycích Prolog a Python. Samostatné seznamy příkladů pro tyto jazyky s podrobnějšími instrukcemi ke spuštění jsou k dispozici na stránce příkladů v Prologu a příkladů v Pythonu.

Jména zdrojových souborů jsou ve tvaru PŘEDNÁŠKA.PRIKLAD_SLIDE.{pl,py}.

Příklady v Prologu je možné snadno zkoušet pomocí on-line Prolog interpreteru SWISH.

Většina příkladů v Pythonu vyžaduje, aby byl ve stejné složce stažený i modul linked_lists.py.

• 1. přednáška
  • jednoduchá DB rodinných vztahů
    

    1.1_13.pl

    1.1_13.py

  • vypsání seznamu
    

    1.2_16.pl

    1.2_16.py

  • Fibonacciho čísla
    

    1.3.1_18.pl

    1.3.1_18.py

  • Fibonacciho čísla, efektivnější varianta
    

    1.3.2_19.pl

    1.3.2_19.py

• 2. přednáška
  • member I, výskyt prvku v seznamu
    

    2.1.1_3.pl specifické pro Prolog

  • member II
    

    2.1.2_3.pl specifické pro Prolog

  • member III
    

    2.1.3_3.pl

    2.1.3_3.py

  • del a del1 - výmaz prvku ze seznamu; insert a insert1 - vkládání prvku do seznamu
    

    2.2_4.pl

    2.2_4.py

  • perm1, 2 a 3 - permutace seznamu
    

    2.3_5.pl

    2.3_5.py

  • append, spojení seznamů
    

    2.4.1_6.pl

    2.4.1_6.py

  • append - rozdílové seznamy
    

    2.4.2_8.pl specifické pro Prolog

  • QuickSort - třídění seznamů
    

    2.5.1_10.pl

    2.5.1_10.py

  • QuickSort s rozdílovými seznamy
    

    2.5.2_11.pl specifické pro Prolog

  • addleaf, show - přidávání do binárního stromu, výpis binárního stromu
    

    2.6_13.pl

    2.6_13.py

  • delleaf - odebírání z binárního stromu
    

    2.7_15.pl

    2.7_15.py

  • vícesměrný algoritmus pro vkládání a odebírání
    

    2.8_17.pl

    2.8_17.py

  • cesta v grafu
    

    2.9.1_21.pl

    2.9.1_21.py

  • cesta v grafu II
    

    2.9.2_22.pl

    2.9.2_22.py

  • kostra grafu
    

    2.10_23.pl vypisuje několikrát stejná řešení

    2.10_23.py

• 3. přednáška
  • problém osmi dam I
    

    3.1_3.pl

    3.1_3.py

  • problém osmi dam II - omezení stavového prostoru
    

    3.2_4.pl

    3.2_4.py

  • problém osmi dam III - seznamy volných pozic
    

    3.3_5.pl

    3.3_5.py

  • prohledávání do hloubky (DFS)
    

    3.4_13.pl

    3.4_13.py

  • prohledávání do hloubky, alternativní implementace pomocí zásobníku
    

    3.4_13-lifo.py specifické pro Python

  • prohledávání do hloubky s limitem
    

    3.5_15.pl

    3.5_15.py

  • prohledávání do hloubky s limitem, alternativní implementace pomocí zásobníku
    

    3.5_15-lifo.py specifické pro Python

  • prohledávání do šířky (BFS)
    

    3.6_17.pl

    3.6_17.py

  • prohledávání do šířky, alternativní implementace pomocí fronty
    

    3.6_17-fifo.py specifické pro Python

• 4. přednáška
  • algoritmus A*
    

    4.1_9.pl

    4.1_9.py pro spuštění je třeba stáhnout i modul romanian_cities.py

  • algoritmus A*, alternativní implementace pomocí prioritní fronty
    

    4.1_9-priority-queue.py specifické pro Python pro spuštění je třeba stáhnout i modul romanian_cities.py

  • 8-posunovačka, heuristiky h1 a h2
    

    4.1_9-posunovacka.pl

    4.1_9-posunovacka.py pro spuštění je třeba stáhnout i modul best_search.py

  • rozvrh práce procesorů
    

    4.2_17.pl jen algoritmus bez vzorového vstupu

    4.2_17.py pro spuštění je třeba stáhnout i modul best_search.py

• 5. přednáška
  • hanoiské věže
    

    5.1_5.pl

    5.1_5.py

  • obecné prohledávání AND/OR grafů
    

    5.2_11.pl

    5.2_11.py

  • heuristické AND/OR prohledávání
    

    5.3_15.pl

    5.3_15.py

  • heuristické AND/OR prohledávání, alternativní implementace pomocí prioritní fronty
    

    5.3_15-priority-queue.py specifické pro Python

  • příklad cesta mezi městy
    

    5.3_15-cesta_mezi_mesty.pl

    5.3_15-cesta_mezi_mesty.py pro spuštění je třeba stáhnout i modul and_or_best_search.py

• 6. přednáška
  • Constraing Logic Programming
    

    6.1_9.pl specifické pro Prolog

  • algebrogram
    

    6.2_11.pl

    6.2_11.py je zapotřebí nainstalovat balíček python-constraint

  • problém N dam
    

    6.3_14.pl

    6.3_14.py je zapotřebí nainstalovat balíček python-constraint

• 7. přednáška
  • algoritmus minimax
    

    7.1_11.pl jen algoritmus bez vzorového vstupu

    7.1_11.py

  • alfa-beta prořezávání
    

    7.2_15.pl jen algoritmus bez vzorového vstupu

    7.2_15.py

• 8. přednáška
  • akce logického agenta
    

    8.1_3.pl specifické pro Prolog jen algoritmus bez vzorového vstupu

  • inference kontrolou modelů
    

    8.2_20.pl jen algoritmus bez vzorového vstupu

    8.2_20.py

  • algoritmus dopředného řetězení
    

    8.3_27.pl

    8.3_27.py

• 9. přednáška – žádné příklady
• 10. přednáška – žádné příklady
• 11. přednáška
  • algoritmus IDT
    

    11.1_16.pl příklady vstupu: nářadí, počasí a restaurace

    11.1_16.py pro spuštění je třeba stáhnout i modul idt.py

• 12. přednáška – DC gramatiky (specifické pro Prolog)
  • DC gramatiky
    

    12.1_11.pl jen algoritmus bez vzorového vstupu

  • gramatiky - analýza pomocí append
    

    12.2_12.pl jen algoritmus bez vzorového vstupu

  • gramatiky - rozdílové seznamy
    

    12.3_13.pl

  • DC gramatika s konstrukcí stromu analýzy
    

    12.4_18.pl

  • DC gramatika s testy na shodu
    

    12.5_22.pl

  • vyhodnocení aritmetického výrazu
    

    12.6_23.pl

  • generativní síla DCG
    

    12.7_24.pl