https://www.severint.net/2021/02/03/was-ist-%ce%bbprolog/
Was ist ΛProlog?