ALP-MGTP: Abductive Logic Programming System

[Features of the Software]

This software is an implementation of an abductive logic programming (ALP) system. The ALP system is a reasoning system for logic programs containing negation as failure (NAF), classical negation, disjunction, and abducible literals. It is based on bottom-up, incremental, backtrack-free computation of the minimal models for disjunctive programs using a model generation theorem prover (MGTP). This system realizes a sound and complete proof procedure for a large class of logic programs, and can deal with abduction and nonmonotonic inference at the same time. This system implements Inoue and Sakama's fixpoint semantics of ALP.

[Required Environment]

Prolog on UNIX Workstation. The software is tested for running in SICStus Prolog v.2.1#9 on SunOS 4.1.3.

[File Configuration]

The expanded directory has the following directories and files:

README (in Japanese)

README.English

advertise.txt (in Japanese)

copyright.txt (in Japanese)

function.txt (in Japanese)

image.txt (in Japanese)

publication.txt (in Japanese)

manual (Directory for Documents)

source (Directory for Software and Examples)

[Others]

This software will be updated periodically.

Currently, no English manual for ALP-MGTP is available. If you are interested in using ALP-MGTP, please contact the copyright owner:

Katsumi Inoue

Email: inoue@tutics.tut.ac.jp

Phone: +81 532 44 6763

Fax: +81 532 44 6757

[FTP]

• README
• Program and Documents in Japanese [166K]