Logic Programming

Prolog in Python https://www.openbookproject.net/py4fun/prolog/prolog1.html https://openbookproject.net/py4fun/prolog/prolog2.html

Andrew Cropper http://andrewcropper.com

• Logic and Learning (LOL) group https://andrewcropper.com/lol/index.html
• Popper https://github.com/logic-and-learning-lab/Popper

Open Logic Project https://openlogicproject.org