A class of Prolog programs inferable from positive data

Krishna Rao, M. R. K.

doi:10.1007/3-540-61863-5_52

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Konferenzbeitrag

A class of Prolog programs inferable from positive data

MPG-Autoren

/persons/resource/persons44846

Krishna Rao, M. R. K.
Programming Logics, MPI for Informatics, Max Planck Society;

Externe Ressourcen

https://rdcu.be/dt9CH
(Verlagsversion)

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

Es sind keine frei zugänglichen Volltexte in PuRe verfügbar

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

Krishna Rao, M. R. K. (1996). A class of Prolog programs inferable from positive data. In S. Arikawa, & A. Sharma (Eds.), Algorithmic Learning Theory (pp. 272-284). Berlin, Germany: Springer.

Zitierlink: https://hdl.handle.net/11858/00-001M-0000-0014-ABBF-0

Zusammenfassung

In this paper, we identify a class of Prolog programs
inferable from positive data. Our approach is based
on moding information and linear predicate inequalities
between input terms and output terms. Our results generalize
the results of Arimura and Shinohara (1994).
Standard programs for {\tt reverse, quick-sort, merge-sort}
are a few examples of programs that can be handled by our results but
not by the earlier results of Arimura and Shinohara (1994). The generality
of
our results follows from the fact that we treat logical variables
as transmitters for broadcasting communication, whereas
Arimura and Shinohara (1994) treat them as point-to-point
communication channels.