J.Vlahavas and C.Halatsis, A new abstract Prolog instruction set, 7th Intern. Workshop on Expert Systems and their Applications, Avignon(1987) 1025-1050. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
PARTHEO: A High Performance Parallel Theorem Prover - Schumann, Letz (1990) (26 citations) (Correct)
....The SETHEO Abstract Machine (SAM) The sequential inference machine SAM, which is both used in SETHEO and as the kernel of the APM, is implemented as an abstract, register oriented machine. The machine and its instructions are based on Warren s abstract machine (WAM) War83] and its RISC version [VH87] The concepts introduced there had to be extended and enhanced for ending up in a complete and sound proof procedure based on the model elimination calculus, and for facilitating the use of advanced control structures and heuristics. The layout of the abstract machine is shown in Figure 5. 12 ....
J. Vlahavas and C. Halatsis. A New Abstract Prolog Instruction Set. In 7th International Workshop of Expert Systems and Applications, pages 1025--1050, Avignon, 1987.
Efficient Theorem Provers based on an Abstract Machine - Schumann (1991) (2 citations) (Correct)
....variables, language inclusions, meta control, and explicit parallel constructs. The layout of this chapter is as follows: at first, the S AM will be defined, its memory, data structures and its registers. Many changes w.r.t. the WAM have been carried out, partly also influenced by a RISC version [VH87] to suit our needs for high efficiency and the ability to deal with full first order logic. The parameter transfer used in the S AM, the unfication algorithm, and the completeness modes will be described next. After that we will lay the focus on the implementation of the concepts of global ....
....within the S A M. A description of the complete instruction set of the S AM follows, together with the syntax of the S A M assembler language. Some examples of the code generation illustrate the usage of the instructions. A detailed comparison of the S AM with the WAM and a RISC version of it [VH87] concludes this chapter. 5.1 Detailed Description of the S A M 5.1.1 The S A M The SETHEO Abstract Machine, S AM, is, like the WAM, a register based, multi memory machine as shown in Figure 5.1 The Memory of the S AM consists of several parts, each connected via a bus to the Control Unit and ....
[Article contains additional citation context not shown here]
J. Vlahavas and C. Halatsis. A New Abstract Prolog Instruction Set. In 7th International Workshop of Expert Systems and Applications, pages 1025--1050, Avignon, 1987.
A Graphical User Interface for SETHEO - Schumann, Moser (1993) (Correct)
....and isolated connection reduction. For a detailed description consult [LSBB92] The inference machine S AM (SETHEO Abstract Machine) is implemented as an abstract, register oriented machine. The machine and its instructions are based on Warren s abstract machine (WAM) War83] and its RISC version [VH87] The concepts introduced there had to be extended and enhanced for ending up in a complete and sound proof procedure based on the model elimination calculus, and for facilitating the use of advanced control structures and heuristics. The layout of the abstract machine is shown in Figure 2. ....
J. Vlahavas and C. Halatsis. A New Abstract Prolog Instruction Set. In 7th International Workshop of Expert Systems and Applications, pages 1025--1050, Avignon, 1987.
A Parallel Prolog Resolution Based on Multiple Unifications - By Vlahavas Kefalas (1992) Self-citation (Vlahavas) (Correct)
....model. APIM is configured by a number of SPUMs, acting as fundamental structuring units (PUs) 5.1. Implementation of the SPU Resolution: The SPU Machine The SPU machine (or shortly SPUM) was designed as a back end processor with its own private memory. It executes compiled Prolog programs [17] and consists of multiple functional units that operate in parallel (Figure 4) The most important of them are the control unit, multiple unify and prefetching units, and eight memory modules. The control unit (C unit) executes the machine instructions and controls the operation of the other ....
J.Vlahavas and C.Halatsis, A new abstract Prolog instruction set, 7th Intern. Workshop on Expert Systems and their Applications, Avignon(1987) 1025-1050.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC