I'm building an academic work that consists in a turn-based strategy game. I'm using XNA 3 for the graphics but didn't decide what to use for AI.
I was considering to use P#, a Prolog interpreter for .NET but i found it a bit poor. Do you anything better for game AI than Prolog (maybe Haskell?) or a better interpreter then P#?
Are you using Prolog because it's declarative? When I was working in AI, I split my work between Prolog and Scheme.
If you're interested in a functional language (ala Scheme) rather than OO, I suspect you'll get quite a few recommendations for F#.
To answer the question from the comments, it appears that Bigloo is a popular Scheme implementation atop .NET.
That said, I would recommend to Eduardo that he think seriously about his goals in picking a framework and a language. Specifically, which is most important? If you're most enamored with the framework, you should probably look for the best language that meets your needs and is well-supported on the framework. Sometimes, that means learning a new language (hooray!).
If you're more realistic than I, you might realize that learning a language takes time away from working on your project. In that case, you may need to accept a more limited support of the .NET framework in order to get the language that you're looking for.
Found two frameworks using some google-fu
Adaptive Intelligence Open Source .NET Framework & NEO A.I. framework
Here is a list of a bunch of .net powered languages hopefully you can use this. Dot net powered languages