GitHub repository: JARVIS-AI/simply-logical
Description: Interactive online version of the Simply Logical Prolog textbook