LOG(F) : an optimal combination of logic programming, rewriting, and lazy evaluation /

Bibliographic Details

Main Author:	Narain, Sanjai, 1957-
Corporate Author:	Rand Corporation
Format:	Book
Language:	English
Published:	Santa Monica, CA : Rand Corporation, [1988]
Subjects:	Logic programming. Rewriting systems (Computer science)