Picat language was also mentioned recently and it has logic programming facilities.