Comment by sitkack

Then why not write the contracts in prolog?