https://www.sourcebaran.com/learn/artificial_intelligence_with_python_logic_programming/