Added post on prolog and the priceonomics puzzle