#1 Andy Nechcem rypat, ale Prolog nie je zalozeny na lambda kalkule ale je zalozeny na predikatovej logike, cize nema nic spolocne s funkcionalnymi jazykmi a v tejto kategorii pomoc nenajdes.