A Prolog assisted search for new simple Lie algebras (arxiv.org)

I know the authors---it was a pleasent surprise to see them on HN this morning! The first two in particular have been working on computer-aided investigations in pure mathematics for a few years now.

op(150, fx, #) would make the SWI code more readable.