Hi Ramana, Well, they are both ways of matching the final consequent of a1 ==> a2 ==> a3 ==> ... ==> c with the goal.
Until I saw your question I hadn't been aware of the existence of MP_CANON. Possibly the biggest difference is that irule will produce multiple new subgoals (eg, in the above case, one for each ai - except as noted below). There's a bit of reimplementation of irule recently and continuing, involving the behaviour when there are variables some of the ai but not in c, (like MATCH_MP_TAC, it introduces existentials, which also may require collecting together some of the ai) which may affect ordering and exact form of the new subgoals. Cheers, Jeremy On 16/11/15 22:28, Ramana Kumar wrote: > What is the difference between irule and (match_mp_tac o MP_CANON)? > > I'm more interested in differences in the intended design than in minor > details in the implementation. Which is preferred style? Which should > get more developer time? > > Maybe they're actually rather different, but as far as I saw, from a > brief look, they are intended to do the same thing. > > > ------------------------------------------------------------------------------ > Presto, an open source distributed SQL query engine for big data, initially > developed by Facebook, enables you to easily query your data on Hadoop in a > more interactive manner. Teradata is also now providing full enterprise > support for Presto. Download a free open source copy now. > http://pubads.g.doubleclick.net/gampad/clk?id=250295911&iu=/4140 > > > > _______________________________________________ > hol-info mailing list > hol-info@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/hol-info > ------------------------------------------------------------------------------ Presto, an open source distributed SQL query engine for big data, initially developed by Facebook, enables you to easily query your data on Hadoop in a more interactive manner. Teradata is also now providing full enterprise support for Presto. Download a free open source copy now. http://pubads.g.doubleclick.net/gampad/clk?id=250295911&iu=/4140 _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
