Merge branch 'master' of https://github.com/G3Kappa/Ergo

.github/workflows/dotnet.yml

@@ -19,7 +19,7 @@ jobs:
     - name: Setup .NET
       uses: actions/setup-dotnet@v3
       with:
-        dotnet-version: 6.0.x
+        dotnet-version: 8.0.x
     - name: Restore dependencies
       run: dotnet restore
     - name: Build

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)