3 ms·Logic programming comes the closest. (Not that the goal is fully achieved yet.)by felixyz 6y agoLogic programming comes the closest. (Not that the goal is fully achieved yet.)