P Sharp
For the complexity class, see Sharp-P.
P# is a Prolog interpreter written for the Common Language Infrastructure.
Features:
- Languages extensions allow concurrency in Prolog.
- Prolog programs can create any .NET object.
- Compatible with Microsoft .NET Framework and Mono.