Uncertainty reasoning in Prolog with layered meta-interpreters | IEEE Conference Publication | IEEE Xplore