Jonathan Cook

Compiler which facilitates interoperation between a concurrent superset of the Prolog programming language and C#. This enables Prolog to be used as a native implementation language for the .NET platform. P# compiles a linear logic extension of Prolog to C# source code.