screenshot is of (LLM slop on the now-domain-squatted former website) https://www.ruleml.org/

via https://en.wikipedia.org/wiki/RuleML