rkaplan@pacsbb.UUCP (Randy Kaplan) (11/28/88)
Does anyone know of any work being done in the area of Constraints in the same vane as the work of Sussman and Steele. Is there a Prolog ldialect which supports this sort of processing? Any information would be helpful. Randy M. Kaplan kaplan@vuvaxcom.bitnet