WIP doesn't pass the compiler (not due to the merge)
Later on, I want to embedd Prolog, but for now it is more important to get ahead with the builder...