Program menurut toy.sf.net

TOY adalah sistem logika fungsional batasan, yang dirancang untuk mendukung gaya pemrograman deklaratif utama dan kombinasinya