Update README.md

README.md

@@ -7,10 +7,9 @@ Unification allows for very complex pattern-matching, and users can even impleme
 
 Ergo already supports several advanced features, including:
 
+- Compilation (Ergo targets a VM -- the ErgoVM)
 - Libraries (C# entry points for various Ergo extensions; linked to Ergo modules)
 - Tail Call Optimization (for the execution of tail recursive predicates)
-- Inlining (a pre-processing step that expands occurrences of a predicate's head into a disjunction of its clauses)
-  - While not as important for compiled prolog, this step achieves measurable performance gains in the interpreted realm
 - Predicate Expansions (macros/term rewriting)
 - Tabling (memoization)
 - Abstract Terms & Abstract Term Parsers (for custom types implemented on top of canonical terms)