Command predicates

• vlp2pl/1 is the ``variable''-counterpart of lp2pl/1

  Takes a Filename <filename> and compiles file <filename>.vlp into file <filename>.pl.

  This creates intermediate files:

  • <filename>.glp a (naively) grounded version of <filename>.vlp

    This is currently the crucial step because we use a brute-forth grounding mechanism that leads an unnecessary blow up. ¹

  • <filename>.alp a complex-term-free version of <filename>.glp (see above).

• vlp2sm/1 is the ``variable''-counterpart of lp2sm/1
• vlp2dlv/1 is the ``variable''-counterpart of lp2dlv/1