First prolog bindings