consult(init).
goedel.
;ml Search.
Run(x).

halt.