OPiMedia/english-linear-system-solver-in-prolog archive