Error title
Some error text about your books and stuff.
Close

A High Performance Architecture for Prolog

by T.P. Dobry

  • ISBN: 9780792390602
  • ISBN10: 0792390601

A High Performance Architecture for Prolog

by T.P. Dobry

  • List Price: $209.00
  • Binding: Hardcover
  • Publisher: Kluwer Academic Print on Demand
  • Publish date: 01/01/1990
  • ISBN: 9780792390602
  • ISBN10: 0792390601
used Add to Cart $16.82
You save: 92%
Marketplace Item
new Add to Cart $141.67
You save: 32%
FREE economy shipping!
Description: 1 Introduction.- Logic Programming.- A Prolog Model.- Some Example Applications in Prolog..- Progress in Prolog Implementations..- Computer Architecture.- Other Symbolic Computing Processors.- The Japanese PSI..- The LISP Machines..- The SPUR Project..- Motivation.- Contributions.- Organization.- 2 An Abstract Prolog Machine.- Data Types.- Memory Areas.- Some Definitions.- Instruction Set.- Procedure Code..- Indexing Code..- Clause Code..- Data Manipulation Code..- An Example of Compiled Code..- Fundamental Operations.- Failure..- Variable Binding and Dereferencing..- Trailing..- General Unification..- Summary.- 3 A Modified WAM.- Address Space of the PLM.- Representing Data..- Representing Code..- Completing the Instruction Set.- Support for cdr-coding..- The cut Operation..- An Unnecessary Instruction..- Enhancements to the WAM.- The Environment Size..- Indexing Instructions..- An Unnecessary Register..- Tail Recursion Revisited..- Implementing Built-in Functions.- Compiler Implemented Built-ins..- Internal Built-ins..- External Built-ins..- Some Particularly Difficult Built-ins..- Side-effect Variables..- General assert and retract -- Overview..- Code Space Modification..- Summary.- 4 The Architecture Becomes a Machine.- The Prefetch Unit.- Defining a Basic Data Path.- Defining a Microengine.- Tuning the Data Path and the Microcode.- The Path to Memory.- Write Buffering..- Choice Point Cache..- Environment and Trail Buffering..- Summary.- 5 The Experiment.- Methodology.- The Simulators.- ISA Simulation -- Level 1..- RTL Simulation -- Level 2..- The Benchmark Set.- Results.- Determinate concat -- A Case Study..- The Effects of cdr-coding..- The Effects of Environment Trimming..- The Effects of Sidetracking..- The Effects of Host and Memory Speed..- The Effects of Buffers and Caches..- A Critique of the PLM Microcode..- Further Improvements to the PLM.- Summary.- 6 Conclusions.- Directions for Future Research.- Conclusions.
Expand description
Seller Condition Comments Price  
Seller: TechnicalBookStoreOnline
Location: Malabar, FL
Condition: Very Good
Shipping Icon
Ex corporate library; pocket; spine label; stamps; o/w clean.
Price:
$16.82
Comments:
Ex corporate library; pocket; spine label; stamps; o/w clean.
Seller: HaroldsBooks
Location: Corydon, IA
Condition: Acceptable
Shipping Icon
0792390601 Ex-Library Ex-library with the usual features. The interior is clean and tight. Binding is good. Cover shows light wear. 218 pages.
Price:
$18.00
Comments:
0792390601 Ex-Library Ex-library with the usual features. The interior is clean and tight. Binding is good. Cover shows light wear. 218 pages.
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: Good
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$18.89
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: The Book Bin
Location: Salem, OR
Condition: Very Good
0792390601 202 pp. Some rubbing. Tight binding, clean copy. Size: 8vo-over 7 3/4 in-9 3/4 in Tall. Year: 1990.
Price:
$28.12
Comments:
0792390601 202 pp. Some rubbing. Tight binding, clean copy. Size: 8vo-over 7 3/4 in-9 3/4 in Tall. Year: 1990.
Seller: Bibliohound
Location: Carlsbad, CA
Condition: Good
FINE. X-LIB BUT PRISTINE! Very Clean, Tight, Unmarked Hardcover w/NO page
[...]
Price:
$61.87
Comments:
FINE. X-LIB BUT PRISTINE! Very Clean, Tight, Unmarked Hardcover w/NO page
[...]
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).