Dolphin (Dynamic Optimization of Logic Program through Heuristics INduction) is a machine learning system for optimizing logic programs. Dolphin uses a combination of analytical and inductive machine learning techniques to learn control rules which should produce program speedup. See the papers directory for technical papers which contain a more detailed description of the Dolphin system. |