Prolog Extension of

Extension to prolog for Knowledge representation