開發者 cs-prolog.sf.net

C#Prolog -- 用 C# 編寫的 Prolog 解釋器。可以輕鬆地集成到 C# 程式中。特點：可靠且相當快速的解釋器、命令行介面、內置 DCG、XML 謂詞、SQL 謂詞、可擴展。