arXiv 2004-01-13 EN Unifying Computing and Cognition: The SP Theory and its Applications Wolff, J Gerard