English to Prolog

Along the same lines, have a go at translating the following statements into Prolog. This is harder; you will need some ingenuity in thinking up suitable predicates.

• Everything can be expressed in predicate calculus, even irony.

• Using the predicates unlike(Thing1,Thing2) and is_a_business(Thing), translate ``There's no business like show-business''.

• There is no proverb which is not true.

• The Dutch proverb ``Geen koren zonder kaf'' translates as ``No corn without chaff''. Assuming this means ``No piece of corn exists without a piece of chaff in the same place'', translate into Prolog, using predicates is_in(Thing,Place) and is_a(Thing,ThingsType).