Revision as of 08:37, 14 December 2022 edit Jochen Burghardt (talk \| contribs) Extended confirmed users 24,306 edits →See also: mentioned above ← Previous edit		Revision as of 08:38, 14 December 2022 edit undo Jochen Burghardt (talk \| contribs) Extended confirmed users 24,306 edits →Implementation and systems: link ASP here Next edit →
Line 105: ==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 of 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. == See also ==

Abductive logic programming: Difference between revisions