What people are saying - Write a review
We haven't found any reviews in the usual places.
Conference Committee xi
KL1 Execution Model for PIM Cluster with Shared Memory 338
9 other sections not shown
Other editions - View all
Abstract algorithm analysis AND-OR tree AND-parallel arguments atom backtrack literal backward execution channel choice point circuit Concurrent Prolog Constraint Logic Programming constraints construction coroutining corresponding created data structures database defined definite formula derivation described efficient elements evaluation example extended fails Figure finite function functor global graph Herbrand model Herbrand universe implementation instance variables instantiated linear logic programming languages mechanism metacall metaprogram method migration mode multiset node non-deterministic object level object-oriented programming occur check OR-parallel output parallel logic PARLOG PARLOG subcomputation predicate problem Proc procedure processor programming languages Prolog computation Prolog program proof PYTHON query read-only recursive relation reset SealedMsg semantics sequential set of type Shapiro simple squeeze solution solved stack stream subset superworlds syntactic typing techniques threat card threat suit tree tuple type definition type expression type rules type variable unification unify value cell Warren Abstract Machine