de.mpg.escidoc.pubman.appbase.FacesBean
Deutsch
 
Hilfe Wegweiser Datenschutzhinweis Impressum Kontakt
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT

Freigegeben

Konferenzbeitrag

A class of Prolog programs inferable from positive data

MPG-Autoren
http://pubman.mpdl.mpg.de/cone/persons/resource/persons44846

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

Externe Ressourcen
Es sind keine Externen Ressourcen verfügbar
Volltexte (frei zugänglich)
Es sind keine frei zugänglichen Volltexte 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: http://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.