logic programming code snippets in csharp

create a classical logic system using monad in csharp