B prolog