Experimenting with prolog-ish facts as part of an AST.