Using Tabled Logic Programming to Solve the Petrobras Planning Problem

Roman Barták, Neng-Fa Zhou

Tabling has been used for some time to improve efficiency of Prolog programs by memorizing answered queries. The same idea can be naturally used to memorize visited states during s…