Update README.md

De-emphasize Prolog as Infers implements a complete resolution algorithm for Horn clauses unlike Prolog.