Systems Programming in Parallel Logic Languages

Shows how parallel logic languages can be used to implement concurrent systems by using Flat Parlog to implement a simple operating system. Preface Introduction Operating System Design Flat Parlog The Kernel Kernel Implementation Techniques Performance Studies The Nucleus Programming Environments Other Issues Conclusion A Tutorial Introduction to Flat Parlog Flat Parlog Operational Model Flat Parlog Module Format References Index