Prolog Extension of

ccGolog 1 Extension of
1