Kalábovic wikina https://kalabovi.org/ Wed, 08 Apr 2026 14:52:59 +0000 FeedCreator 1.8 https://kalabovi.org/_media/wiki:dokuwiki.svg https://kalabovi.org/ https://kalabovi.org/pitel:flp:99pl?rev=1672407781&do=diff P-99: Ninety-Nine Prolog Problems <https://sites.google.com/site/prologsite/prolog-problems> p1_01.pl % 1.01 (*): Find the last element of a list % my_last(X,L) :- X is the last element of the list L % (element,list) (?,?) % Note: last(?Elem, ?List) is predefined my_last(X,[X]). my_last(X,[_|L]) :- my_last(X,L). anonymous@undisclosed.example.com (Anonymous) Fri, 30 Dec 2022 13:43:01 +0000 https://kalabovi.org/pitel:flp:reseni?rev=1672407781&do=diff Řešení Řádný termín * Vytvor datovy typ na reprezenaciu lambda kalkulu a napis funkciu pre beta redukciu * Napis funkciu, ktora zo zoznamu urobi zoznam zoznamov (z [1,2,3] spravi [[1],[2],[3]]) a dokaz funkcnost pomocou map. Indukcny predpoklad sme mali vymysliet na mieste. anonymous@undisclosed.example.com (Anonymous) Fri, 30 Dec 2022 13:43:01 +0000 https://kalabovi.org/pitel:flp:start?rev=1694508348&do=diff Funkcionální a logické programování [Haskell? Yeah, I use it to program our starship.] Lambda kalkul Lambda calculus, Church encoding * α-konverze -- λx.xy →α λz.zy, substituce * β-konverze -- (λxz.xz)(xy) →β λz.xyz, aplikace funkce * η-konverze -- λx.(uv)x →η uv T λxy.x λxy.xy λxy.x anonymous@undisclosed.example.com (Anonymous) Tue, 12 Sep 2023 08:45:48 +0000