Haskell

Binární strom T prvků typu a určuje relaci  <T :
x <T y    jestliže y je prvkem podstromu Tx (stromu T), jehož je x kořenem.
Stromy T1 a T2 jsou ekvivalentní jestliže jsou relace  <T1 a  <T2  shodné.
Binární strom je levičácký pokud pro každý prvek platí, že jeho levý podstrom má alespoň tolik prvků jako jeho pravý podstrom.
Definujte typ binárního stromu typu a a sestavte funkci, která každému takovému stromu přiřadí jemu ekvivalentní levičácký strom.

Prolog

Zvolte reprezentaci orientovaného grafu a vytvořte predikát, který tento graf topologicky uspořádá resp. sdělí, že daný graf topologicky uspořádat nejde (v takovém případě by měl pokud možno vydat cyklus, který to dokazuje).