More About Prolog.NET
Prolog is a logic programming language associated with applications of artificial intelligence and computational linguistics. Prolog.NET provides an implementation of Prolog programming language on the .NET Framework. It includes an enhanced compiler with language extensions and a code generator targeting Microsoft’s Intermediate Language (MSIL).
Why Prolog.NET ?
The purpose of this project is to provide seamless integration between .NET and Prolog by compiling Prolog code into reusable .NET objects that leverage the rich feature set provided by the .NET framework. This makes it easy to develop applications that combine the powerful features of both imperative and logic programming paradigms, as well as use logic programming as a meta-language to reason about object-oriented programs.
Prolog.NET was developed by Ali M. Hodroj as a senior capstone project at the Oregon Institute of Technology.
How to get it
Prolog.NET is available for download on both Microsoft .NET and Mono platforms. Archives are availalbe in the Downloads page
GitHub Respository availabe here