Report Number: CS-TR-85-1080
Institution: Stanford University, Department of Computer Science
Title: The compleat guide to MRS
Author: Russell, Stuart
Date: June 1985
Abstract: MRS is a logic programming system with extensive meta-level facilities. As such it can be used to implement virtually all kinds of artificial intelligence applications in a wide variety of architectures. This guide is intended to be a comprehensive text and reference for MRS. It also attempts to explain the foundations of the logic programming approach from the ground up, and it is hoped that it will thus provide access, even for the uninitiated, to all the benefits of AI methods. The only prerequisites for understanding MRS are a passing acquaintance with LISP and an open mind.
http://i.stanford.edu/pub/cstr/reports/cs/tr/85/1080/CS-TR-85-1080.pdf