Prolog implementation of BspAnd
Merge commit 'bff03ff3bf03fe'