What's new?

June 2000

TS started this history.

• added support for disjunctive logic programming; disjunctions can be stated in the head of rules by v/2, ;/2, and |/2.

  This works only in conjunction with dlv.

• added support for smodels Version 2 and lparse
• dropped support for smodels Version 1 and parse
• added flag for switching on/off verbose mode; the flag is switched by verbose_mode/0 and no_verbose_mode/0

July 2000

• removed ECLiPSe-specific features in pretty printer (pp.pl)
• added support for SICStus Prolog, along with Prolog system specific code
• added command predicates lp4sm/1, lp4sm/2, along with lp4dlv/1, lp4dlv/2, combining eg. lp2sm/1 with sm/1

December 2000

• added module for translating the approach of [10]