New Generation Computing: Recent Research
Ci Yungui, Chenxi Zhang, Chengzheng Sun · Medical Entomology and Zoology · 1990
Introduction. Logic Programming. Knowledge-Based Systems. Dataflow Computation. Problem Solving and Search. Supercomputing. Sequential Prolog Systems. On Some Issues in Implementation of Prolog. Extending the WAM with Execution Mechanisms for Non-Logical Components of Prolog. Implementation and Management of Prolog Code Databases. Implementation and Management of Prolog Source Databases. Implementation of Prolog Builtins in the WAM-PLUS. Designing the Architecture of a Prolog Machine Based on the WAM-PLUS. An Integrated Implementation of Database Operations. Clause Representations. An Efficient Type System for Prolog. listof: A Pragmatic Consideration on setof. Partial Solution, An Incomplete Inference Way to Approximate to the Solution of Negated Goal. Parallel Processing of Logic Programs. The OR-Forest Description. The PSOF Process Model. Parallel Execution of Negative Goals. Automatic Partition of Subgoals. Compile-Time Detection of AND-Parallelisms. An Environment Sharing Scheme. An Algorithm for Environment Reduction. An OR-Forest-Based Parallel Abstract Machine. Knowledge-Based Systems. Foundations for Knowledge Systems. On Knowledge Base System Architecture. The Knowledge Base System KBS-1. Design and Implementation of a Relational Knowledge Base Prototype Machine. Performance Evaluation of the Relational Knowledge Base Prototype Machine. A Tool for Building Second Generation Expert System. Improving Expert System Behavior. Knowledge Acquisition Mechanism. Attribute Theory in Learning System. Dataflow Computation and Architecture. A Performance Evaluation Model for Static Dataflow Computers. An Ordered Model Combining Dataflow with Control Flow. Architecture of a Synchronous Dataflow System. A Multi-Microcomputer System for Simulating SDS-1. Macro-Dataflow Computational Model and Its Simulation. Heuristic Search and Statistical Inference. Statistical Inference Method in Heuristic Search Techniques. The Computational Complexity. The Extraction of Global Information. The Comparison Between the Statistical Heuristic Search and A * . Hierarchy and Heuristic Search. Issues of Supercomputing. Parallel Execution of Non-DO Loops. Optimization for the Parallel Execution of Non-DO Loops under the LIM. Speedup Studies of the LIM for Non-DO Loops in Comparison with the SIM. Processor Self-Scheduling for Parallel Loops in Preemptive Environments. Approaches to Decentralized Control of Job Scheduling for Homogeneous and Heterogeneous Parallel Computer Systems. References. Index.