Dynamic Programming Solution for Facebook Hacker Cup Problem AAAAAA in B-Prolog

Very cool. Wonder how it would compare in speed with https://mercurylang.org?

It does support tabled evaluation as well it:

http://www.mercurylang.org/information/doc-latest/mercury_re...