Picat was born out for BProlog, and it used to be like a pre-processor for BProlog, but I don't think this is true anymore.