https://123dok.com/ms/docs/logic-programming-in-neural-networks.11304551