Borrow syntax from "Weighted Datalog and Levels of Trust" by Bistarelli, Martinelli and Santini.