Principy logického a funkcionálního programování, vyloženy prostřednictvím programovacích jazyků Prolog a Haskell.