Abductive Logic Programming - Implementation and Systems

Implementation and Systems

Most of the implementations of ALP extend the SLD resolution based computational model of logic programming. ALP can also be implemented by means on its link with Answer Set Programming (ASP), where the ASP systems can be employed. Examples of systems of the former approach are ACLP, A-system, CIFF, SCIFF, ABDUAL and ProLogICA.

Read more about this topic:  Abductive Logic Programming

Famous quotes containing the word systems:

    In all systems of theology the devil figures as a male person.... Yes, it is women who keep the church going.
    Don Marquis (1878–1937)