PProlog: A Prolog for Plan 9