slesa 

A .NET-base implementation of Prolog based on the Warren Abstract Machine (WAM) architecture.

A .NET-based parser generator. It uses reflection to generate parsers and scanners using code-based scanner and grammar definitions.