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