System specific translations:

• lp2dlv/1

  Takes a filename <filename> and compiles file <filename>.lp into file <filename>.dlv, which is directly usable by dlv.

• lp2sm/1

  Takes a filename <filename> and compiles file <filename>.lp into file <filename>.sm, which is directly usable by smodels.

• dlv/1

  Takes a filename <filename> and pipes the file <filename>.dlv into dlv.

  There is a binary version dlv/2 that allows for passing options to dlv.

  Try dlv(<filename>,nice).

• smodels/1

  Takes a filename <filename> and pipes the file <filename>.sm into smodels.