New Generation Computing, Volume 10

Volume 10, Number 1, 1991

Ian T. Foster: Efficient Computation Control in Concurrent Logic Languages. 1-22 BibTeX
A. V. S. Sastry, Lalit M. Patnaik: OR-Parallel Evaluation of Logic Programs on a Multi-Ring Dataflow Machine. 23-54 BibTeX
Henry Tirri: Implementing Expert System Rule Conditions by Neural Networks. 55-71 BibTeX
Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases II. 73-100 BibTeX
Katsuro Inoue, Koji Torii: Implementing and Analysis of Compile-time Garbage Collection. 101-120 BibTeX

Pierre Deransart, Gérard Ferrand: An Operational Formal Definition of PROLOG: A Specification Method and Its Application. 121-172 BibTeX
Claudia Schmittgen, H. Blodorn, Werner E. Kluge: pi-RED*-A Graph Reducer for a Full-Fledged lambda-Calculus. 173-196 BibTeX
D. W. Shin, Jong H. Nang, Seungryul R. Maeng: A Typed Functional Extension of Logic Programming. 197-222 BibTeX
Masaru Ohki, Kiyokazu Sakane, Jun Sawamoto: Enhanced Qualitative Physical Reasoning System: Qupras. 223-254 BibTeX

Lee Naish: Declarative Diagnosis of Missing Answers. 255-286 BibTeX
Kemal Oflazer: Highly Parallel Execution of Product Systems: A Model, Algorithms and Architecture. 287-314 BibTeX
Mantis H. M. Cheng, R. Nigel Horspool, Michael R. Levy: Compositional Operational Semantics for Prolog Programs. 315-334 BibTeX

Paola Mello, Antonio Natali: Extending Prolog with Moduarity, Concurrency and Meta-Rules. 335-360 BibTeX
Timothy J. Hickey, Jacques Cohen, V. Deschamps: Meta-Level Interpretation of Constraint Languages A Case Study: Logical Primitives. 361-384 BibTeX
Jim A. Crammond: The Abstract Machine and Implementation of Parallel Parlog. 385- BibTeX