added license and example logic program