F#: is it OK for developing theorem provers?

Question

Please advise. I am a lawyer, I work in the field of Law Informatics. I have been a programmer for a long time (Basic, RPG, Fortran, Pascal, Cobol, VB.NET, C#). I am currently i

Answer 1

F# does not support logic programming as Prolog does. you might want to check out the P# compiler.