SWI-Prolog Did You Know Did you know? s(CASP) implements top-down answer set programming (ASP) Search Documentation:
Predicate mtx_relative_position/4

Sorry, No manual entry for mtx_relative_position/4