1.18.1

CHANGES:

Requires Menhir 20211230 and OCaml 4.08 or above.

Parser:

• Remove legacy parsing engine based on Camlp5

API:

• New RawQuery.compile_ast, lets one set up the initial state in which the
  query is run, even if the query is given as an ast.
• New solution.relocate_assignment_to_runtime to pass a query result
  to another query
• New BuiltInPredicate.FullHO for higher order external predicates
• New BuiltInPredicate.HOAdaptors for map and filter like HO predicates
• New Calc.register to register operators for calc (aka infix is)

Library:

• New std.fold-right

Runtime:

• New clause retrieval through discrimination tree. This new index is enabled
  whenever the :index directive selects only one argument with a depth > 1.

What's Changed

• Add foldr to the elpi builtins by @lukovdm in #203
• API: state updater by @gares in #206
• Indexing via discrimination tree by @FissoreD in #205
• Fix deref assign by @gares in #207
• Api for relocation by @gares in #208
• Update ELPI.md by @gares in #209
• HO api by @gares in #210
• extensible calc by @gares in #211
• Cleanup by @gares in #212

New Contributors

• @lukovdm made their first contribution in #203
• @FissoreD made their first contribution in #205

Full Changelog: v1.18.0...v1.18.1