P#是一款以Common Language Infrastructure撰写的Prolog语言直译器。特色：