Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | moved argument expected_modes into options; improved mode check to only check mode of the named predicate | changeset | files |
Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | removed unnecessary argument rpred in code_pred function | changeset | files |
Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | added option show_mode_inference; added splitting of conjunctions in expand_tuples | changeset | files |