Modifiable Representation System.
An integration of logic programming into Lisp.
["A Modifiable Representation System", M. Genesereth et al, HPP 80-22, CS Dept Stanford U 1980].
(08 Nov 1994)