By Joachim Beer
This monograph provides a unique execution version for the parallel execution of ordinary sequential Prolog. during this execution version Prolog technique calls will be successfully pipelined, and the writer indicates how even totally deterministic Prolog courses might be successfully mapped onto the proposed structure. The layout is predicated on a hugely optimized summary Prolog particular guideline set. a different characteristic of this paintings is a worldly type scheme for Prolog variables which considerably reduces the overhead for unification with occur-check. To help the version an structure such as a round pipeline of self reliant processors has been designed. This pipeline has been designed to paintings as a co-processor to a UNIX dependent computer. not like different makes an attempt to execute sequential Prolog in parallel, the proposed version doesn't limit using any of the traditional Prolog language positive factors. The ebook supplies a whole account of the execution version, the method structure, and the summary Prolog guide set.
Read Online or Download Concepts, Design, and Performance Analysis of a Parallel Prolog Machine PDF
Similar design & architecture books
Operational Amplifiers – conception and layout, moment variation provides a scientific circuit layout of operational amplifiers. Containing cutting-edge fabric in addition to the necessities, the ebook is written to attract either the circuit fashion designer and the process fashion designer. it truly is proven that the topology of all operational amplifiers could be divided into 9 major total configurations.
The second edition of this finished guide of laptop and knowledge security provides the main entire view of desktop safety and privateness to be had. It deals in-depth assurance of safety concept, know-how, and perform as they relate to tested applied sciences in addition to fresh advances.
This publication brings jointly a variety of the simplest papers from the eighteenth variation of the discussion board on specification and layout Languages convention (FDL), which came about on September 14-16, 2015, in Barcelona, Spain. FDL is a well-established foreign discussion board dedicated to dissemination of analysis effects, sensible studies and new principles within the software of specification, layout and verification languages to the layout, modeling and verification of built-in circuits, complicated hardware/software embedded platforms, and mixed-technology platforms.
Extra resources for Concepts, Design, and Performance Analysis of a Parallel Prolog Machine
The actual places where the occur-check has to be included are straightforward. Consider the following cases: i) p( z, s(Z) ),... p(x,x). ii) p( z, z ),... p( x, s(X) ). Since variable Z occurs more then once in the given goals it will carry the tag 'UNBOUND'. In example i) variable X will inherit the tag 'UNBOUND' of variable Z. When 'UNBOUND' variable X is subsequently unified with the structure 1sit should be stressed again that this action does not. represent an overhead compared with the old model.
These issues shall now be dealt with. g. allocating activation records, creating choice points, creating global structures, and trailing/untrailing variable bindings); • a processor might want to bind an already existing but still unbound variable; • a processor might want to access existing and fully instantiated data objects. The last case is uncritical because of the single assignment semantic of Prolog and does not require any special synchronization operations. Once a variable has been bound or a structure has been created, it cannot be changed any more.
For example, in order to efficiently communicate with the host computer tile co-processor should have the same memory word width as the host machine. This in turn predicates that the data type tags must be incorporated in the standard word width (see Chapter 5). However, a co-processor solution has convincing advantages: a co-processor is less complex, and thereby less expensive, than a stand alone machine, and the co-processor can be integrated within a standard operating environment, such as UNIX, of the host machine.