Path: utzoo!utgpu!water!watmath!clyde!att!rutgers!ucsd!nosc!helios.ee.lbl.gov!lll-tis!ames!amdcad!sun!pitstop!sundc!seismo!uunet!mcvax!tuvie!tuhold!thom
From: thom@tuhold (Thom Fruehwirth)
Newsgroups: comp.lang.prolog
Subject: Double Cut - One is enough
Message-ID: <1162@tuhold>
Date: 18 Aug 88 10:23:17 GMT
Organization: Institut f. Angewandte Informatik, TU Vienna
Lines: 7

The more you program in Prolog, the less cuts you will need.
Also, at most one cut per clause is enough, as there is a
simple equivalence preserving program transformation:

P:- G1,!,G2,!,Gs.  <=>  P:- G1,!,G2Gs.  G2Gs:- G2,!,Gs.

thom fruehwirth