Prolog Compiler for .Net

Question

Can anyone recommend a Prolog compiler for .Net.

The ones that I have been able to find searching the net, do not appear to have been updated for several years.

Thanks

Shiraz

Answer 1

If you dont find you maybe need this tool Microsoft Oslo (Codename). This is a software for can create DSL's and work perfectly for develop a diagram syntax for compilers.

Check this link http://www.codeproject.com/KB/cs/Oslo_MGrammar.aspx?display=PrintAll

Answer 2

Check out XProlog. It is extremely lightweight and it offers a compiler and a runtime DLL (30K in size). Full source code is available on GitHub that is exhaustively unit-tested. Although it is currently missing some basic Prolog features like lists, it does allow for building functional programs and even supports definite clause grammars. The XProlog compiler is written in XProlog and it compiles itself.

Disclaimer: I am the author of XProlog. It took me 4 months to write it and it was written for a task I then had at hand and now it is just sitting there on GitHub waiting for other great tasks. Hope you find it useful:

• XProlog

Answer 3

I have used C#Prolog by John Pool

The source code is available and in C#. There are also several PDF articles in the download. Nice if you want to dig into the internals.

Answer 4

On this article they recommend P# and XSB: http://www.codeproject.com/KB/system/PrologNET.aspx

Answer 5

Ahhm, I googled for "Prolog.NET" and found this (1st result btw)

Prolog.NET is a full featured Prolog programming environment for the .NET Framework. It includes an enhanced compiler with language extensions and a code generator targeting Microsoft's Intermediate Language (MSIL) and integration with Visual Studio .NET Integrated development environment.