Fix the Farmer Problem prolog code and replace in-code AST construction with a simple Compile call.

We have a Prolog compiler now, may as well use it!