Stream: Elpi users & devs

Topic: ✔ Using Query on a Db

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.
}}.

Enrico Tassi (Nov 11 2022 at 15:25):

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

Michael Soegtrop (Nov 11 2022 at 16:29):

Ah OK, I missed the optional program parameter for Query!

Notification Bot (Nov 11 2022 at 16:29):

Michael Soegtrop has marked this topic as resolved.

Last updated: Oct 13 2024 at 01:02 UTC