Path: utzoo!mnetor!uunet!lll-winken!lll-lcc!pyramid!nsc!taux01!shahaf
From: shahaf@taux01.UUCP (Shahaf Moshe)
Newsgroups: comp.lang.prolog
Subject: Re: mine embarrassingly simple problem
Message-ID: <503@taux01.UUCP>
Date: 14 Mar 88 12:38:15 GMT
References: <500@taux01.UUCP> <764@cresswell.quintus.UUCP>
Reply-To: shahaf%taux01@nsc.COM
Organization: National Semiconductor (Israel) Ltd. Home of the 32532
Lines: 8
Summary:

Followup-To:


In article <764@cresswell.quintus.UUCP> ok@quintus.UUCP (Richard A. O'Keefe) writes:
>
>(4) Could you tell this newsgroup more about your program?  It would be
>    very interesting to hear of something that ancestral cuts were
>    needed for.  (They _aren't_ needed for interpreting Prolog!)
The program does Network synthesis from boolean equations for VLSI design.
The ancestral cut  was used to stop the search of local transformations
when the rate of new maping is too low.
shahaf%taux01@nsc.COM