P♯

P #是一款以Common Language Infrastructure撰寫的Prolog語言直譯器 。 特色 ： 擴展Prolog語言 ， 使其支持併發機制 。 Prolog可以生成任何的.NET對象 。 能與微軟.NET Framework和Mono相容 。