This is what Im looking for in this thread - accessible critiques of prolog. Could your first issue be solved by a i8ln framework? Im not sure I accept your second issue - why would someone who doesnt know anything about medicine build a prolog program about medicine? But further to this, is there value in articulating the results of a machine learning algorithm as a prolog program?