P#是一款以Common Language Infrastructure撰写的Prolog语言解释器。

特色:

  • 扩展Prolog语言,使其支持并发机制。
  • Prolog可以生成任何的.NET对象。
  • 能与微软.NET FrameworkMono兼容。

参见