What people are saying - Write a review
We haven't found any reviews in the usual places.
Informal introduction to Prolog
Dataflow problems and a Prolog solution
EPILOG language and model
6 other sections not shown
Other editions - View all
algorithm allocation annotations architecture assumptions average path length back-unification baseline network bidirectional ring binding conflicts called CAND cell Chapter clause clause-body literals clause-head compound-terms Computer Architecture Concurrent Pascal Concurrent Prolog containing context control tokens data base data-base data-driven data-flow computation data-flow graphs data-flow machine data-flow model described dframe discussion distributed EBNF EPILOG model evaluated in parallel evaluation strategy example firing FORTRAN function functor global goal frame Horn clauses implementation input arcs instance instruction isbnd iteration LBRACKET Logic Program logical loop memory MERGE messages mod NPE mode declarations multiprocessor Neumann node operations output arcs packet parallel execution PARLOG Pascal performed possible predicate predicate-name problem procedure processor elements programming languages proposed qsort query packet recursion returned sequence sequential shared variables simulation single stack strategy structure structure-sharing template term time-unit tion transmission tuples unbnd unbound variables unification algorithm unify