CaseLP : a Complex Application Speci cation Environmentbased on Logic