abduction is a re-implementation of the well-known ASystem with extra features as a single module for SICStus Prolog (version 4.1.1, tested on both Windows and Linux) and YAP Prolog (from version 6).

• Online Documentation: HTML PDF

• Source File: abduction.pl (Version, 2nd November 2011)

• Examples:
  • CLP Examples:

    • Usage of Finite Domain Constraints：clp-ex1.pl

    • Usage of Real Domain Constraints：clp-ex2.pl

    • Mixed Usages of Finite Domain and Real Domain Constraints:

      • Simple Example: clp-ex3.pl

      • Bigger Example: Shopping Trips

  • Car Diagnosis: car.pl

  • Shopping Trips Planning: shopping.pl

  • Shopping Trips Planning (with abducible argument types): shopping-typed.pl

  • Medical Diagnosis: medical-diagnosis.pl

  • Circuits Diagnosis: circuits-diagnosis.pl, circuits-diagnosis-2.pl

  • DNA: lacnew2009.pl

Please report bugs to jm103 AT doc.ic.ac.uk (Jiefei Ma)