abstract Prolog instruction set.
Series: Technical note 309; SRI Project 4776
Publisher: SRI International
Published: 1983
Place of publication: Menlo Park, CA
Language: eng