Phil Laird

• Efficient dynamic optimization of logic programs