bwck.basis

# {B, W, C, K} basis
# $Id: bwck.basis,v 1.2 2010/05/22 00:27:28 bediger Exp $
rule: B 1 2 3 -> 1 (2 3)
rule: C 1 2 3 -> 1 3 2
rule: W 1 2 -> 1 2 2
rule: K 1 2 -> 1

# Grzegorzyk "G" algorithm,
abstraction: [_] *- -> K 1
abstraction: [_] _ -> W K
abstraction: [_] *- _ -> 1
abstraction: [_] *- *+ -> B 1 ([_]2)
abstraction: [_] *+ *- -> C ([_]1) 2
abstraction: [_] * * -> W (B (C ([_]1)) ([_]2))

def S ([p,q,r] p r (q r))
S a b c