Common use of Horn Clause in Contracts