Boolean Matrix Logic Programming