Merge pull request #209 from LPCIC/gares-patch-2

Update ELPI.md
LPCIC · Nov 27, 2023 · dc6dd54 · dc6dd54
2 parents 80a3945 + fe714f4
commit dc6dd54
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/ELPI.md b/ELPI.md
@@ -869,6 +869,14 @@ macro @name Args :- Body.
 It is expanded everywhere (even in type declarations)
 at compilation time. 
 
+#### Example: literlas
+
+```prolog
+macro @path :- ["home","gares","elpi"].
+
+main :- print @path.
+```
+
 #### Example: factor hypothetical clauses.
 ```prolog
 macro @of X N T :- (of X T, pp X N).