I am interested in the answer to a different but slightly related question. I would be interested in what you find out.

(I never used Prolog in any serious way, I was interested in a different class of Expert System issues which aren't represented by hard edged boolean logic and Predicate Calculus (or whatever it's called). So the following is not from a Prolog programmer and may be off beam.)

I expect you'll need to research this yourself. If you're really lucky somebody has done part of that already.

I think you'd need to build your own SLD resolution engine if you wanted an F# program to work the same as an existing Prolog program does.

I although I did try prolog once, at university, over 10 years ago now, I can't actually claim to know it or even remember very much about it, so perhaps I shouldn't really comment, but here goes anyway:

I think learning F# will definitly benerfit anyone who is not already familar with the ML style of programming. I think F# is suffiently differnt to prolog that you'll definitely learn something. Perphas a good way to start is try and port a simple proglog and just see how it goes.

Cheers,
Rob