logic-based-artificial-intelligence
Massively Parallel and Asynchronous Architecture for Logic-based AI