MRS

Modifiable Representation System

An integration of logic programming into LISP. The programmer can write metarules to control the order of searches.

"A Modifiable Representation System", M. Genesereth et al, HPP 80-22, Computer Science Dept, Stanford University, 1980.