P Sharp

P# is a Prolog interpreter written for the Common Language Infrastructure.

Features:

...
Wikipedia