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