开发者 cs-prolog.sf.net

C#Prolog -- 用 C# 编写的 Prolog 解释器。可以轻松地集成到 C# 程序中。特点：可靠且相当快速的解释器、命令行接口、内置 DCG、XML 谓词、SQL 谓词、可扩展。