000 02941nam a22004815i 4500
001 978-3-540-46873-8
003 DE-He213
005 20160624102019.0
007 cr nn 008mamaa
008 121227s1989 gw | s |||| 0|eng d
020 _a9783540468738
_9978-3-540-46873-8
024 7 _a10.1007/3-540-52053-8
_2doi
050 4 _aTK7895.M5
072 7 _aUYF
_2bicssc
072 7 _aCOM011000
_2bisacsh
082 0 4 _a004.1
_223
100 1 _aBeer, Joachim.
_eauthor.
245 1 0 _aConcepts, Design, and Performance Analysis of a Parallel Prolog Machine
_h[electronic resource] /
_cby Joachim Beer.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1989.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1989.
300 _aVIII, 132 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v404
505 0 _aCompilation of sequential Prolog -- Pipelined execution of sequential Prolog -- The occur-check problem -- The abstract parallel Prolog machine -- Simulation -- Conclusion -- Benchmark programs -- Compilation examples.
520 _aThis monograph presents a novel execution model for the parallel execution of standard sequential Prolog. In this execution model Prolog procedure calls can be efficiently pipelined, and the author shows how even fully deterministic Prolog programs can be effectively mapped onto the proposed architecture. The design is based on a highly optimized abstract Prolog specific instruction set. A special feature of this work is a sophisticated classification scheme for Prolog variables which substantially reduces the overhead for unification with occur-check. To support the model an architecture consisting of a circular pipeline of independent processors has been designed. This pipeline has been designed to work as a co-processor to a UNIX based workstation. In contrast to other attempts to execute sequential Prolog in parallel, the proposed model does not restrict the use of any of the standard Prolog language features. The book gives a full account of the execution model, the system architecture, and the abstract Prolog instruction set.
650 0 _aComputer science.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aProcessor Architectures.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aArtificial Intelligence (incl. Robotics).
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540520535
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v404
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-52053-8
942 _2EBK5923
_cEBK
999 _c35217
_d35217