caledon (hackage): higher order dependently typed logic programing
Keywords: gpl|interpreter|language|program