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.
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: