5 ms·Flowlog: An ISO-style Prolog system with faster search on multicore CPUs3 points by triska 9mo ago