gnu.prolog.vm.buildins