A computer system for inference execution and data retrieval [by] R. E. Levien and M. E. Maron.

Describes the Relational Data File, a computer-based data retrieval system now partly operational, capable of storing millions of facts and of retrieving data both directly and through logical inference. A large collection of information about cyber...