[notes and ideas for rule advancement added
martin.hofmann@uni-bamberg.de**20081114120436] hunk ./src/Advancement.hs 8
---advanceRule :: Rule -> IM Rules
---advanceRule  = rulesFromList.(:[])
+advanceRule :: RuleFrag -> IM ()
+advanceRule rf = do
+    part <- partition rf `mplus` functionCall rf `mplus` subfunction rf
+    -- propagate advancemet of 'rf -> part' to all hypos in HSpace 
+    --
+    --
+    
+    return ()
hunk ./src/Advancement.hs 17
-partition :: Rule -> IM [(Rule,FunFragment)]
+-- creates new partitions (i.e. RuleFragements) from one RuleFragement
+-- the resulting rules may be closed by antiunification
+-- and it should be assured, that each RuleFrag has only one open position
+-- --> closing pairwise with functionCall and subfunction
+partition :: RuleFrag -> IM [(Rule,[RuleFrag])]
hunk ./src/Advancement.hs 24
-type FunFragment = (Name,Rules)
-
+-- introduces a function call
hunk ./src/Advancement.hs 26
-    Rule ->                 -- ^the rule to partition 
+    RuleFrag ->             -- ^the rule to partition 
hunk ./src/Advancement.hs 28
-    IM (Rule,[FunFragment]) -- ^the modified rule(now closed), and the 
+    IM (Rule,[RuleFrag]) -- ^the modified rule(now closed), and the 
hunk ./src/Advancement.hs 35
--- * create a ne rules from 'r' by replacing its rhs by a function call to 'frag'
+-- * create a new rule from 'r' by replacing its rhs by a function call to 'frag'
hunk ./src/Advancement.hs 40
-    Rule ->                 -- ^the rule to partition 
+    RuleFrag ->                 -- ^the rule to partition 
hunk ./src/Advancement.hs 42
-    IM (Rule,[FunFragment]) -- ^the modified rule (now closed), and the 
+    IM (Rule,[RuleFrag]) -- ^the modified rule (now closed), and the 