A dependency-free Python lexer and recursive-descent parser for a focused, explicitly documented Prolog-like language. It validates source files, reports precise line and column diagnostics, recovers ...