Division of Informatics
Forrest Hill & 80 South Bridge
Research Paper #558 | |
|---|---|
| Title: | Using Specialisation to Reconstruct Two Mode Inference Systems |
| Authors: | Mellish,CS |
| Date: | Oct 1991 |
| Presented: | |
| Keywords: | |
| Abstract: | In this paper we present four different mode inference strategies for Prolog, two of which closely resemble previously reported systems. These different strategies are presented in terms of "abstractions" of four kinds of "standard" Prolog interpreters. Two different strategies are used to allow these abstract interpreters to terminate, these themselves being expressed partly in the form of particular "standard" interpreters. .... |
| Download: | NO ONLINE COPY |
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}