Long time Prolog coder… https://logicmoo.org