Software

This is the ASAP Project software download site.

Index of Available Packages:

• The Development System
  CiaoPP On-Line Demonstrator
• The mECCE On-line Partial Deduction System
• The BU System for Program Analysis
• The LOGEN Off-line Partial Deduction System