You may learn more about Curry here: http://www-ps.informatik.uni-kiel.de/currywiki/documentation...