"Mike" < XXXX@XXXXX.COM > ha scritto nel messaggio
Given your background I think that you could give a try to P#
This is a port from PrologCafe with some extension, and given that major
vendors are investing in .NET,
could be a practical one for test, although not currently mantained.
It spots some extension to ISO prolog, like multithreading and linear logic.
I found linear logic isn't easy to understand, but I think it's
representative of the extensions
the language has gained through the years. Anyway, LINQ will be probably the
mandatory choice in .NET...