Caledon - Logic Programming Language