prolog_kernel
