3 ms·The second part seems related to logic programming, branch interleaving, etc.by thewakalix 5y agoThe second part seems related to logic programming, branch interleaving, etc.