Stream: Elpi users & devs

Topic: Using Query on a Db

view this post on Zulip Michael Soegtrop (Nov 11 2022 at 14:11):

I wonder if there is a shorter way of running a Query against an Elpi database than:

Elpi Command Foo.
Elpi Accumulate Db test.db.
Elpi Query lp:{{
  my-pred A B.

view this post on Zulip Enrico Tassi (Nov 11 2022 at 15:25):

no. but usually you have a Foo already, so Elpi Query Foo lp:{{ ... }}. should do

Last updated: Feb 05 2023 at 14:02 UTC