# HG changeset patch
# User bulwahn
# Date 1283244507 -7200
# Node ID 80169aaf6ee69ccaa12913e5e474255a76d8d8db
# Parent  80ce658600b0fee4ce589165c1fad1d3e34e5e95
improving naming of predicates in code_prolog; changing order of flattened premises once again