Title: Fast logic program execution