Double Cut - One is enough - Article 3581 - go-pugleaf

Article View: comp.lang.prolog

Article #3581

Double Cut - One is enough

#3581

From: Thom Fruehwirth
Date: Thu, 18 Aug 1988 10:23

7 lines
641 bytes

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

Technical Details

Message-ID: <1162@tuhold>

Path:

arc1-ca.pugleaf.net!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

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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