[infradig]

It's not meant to be taken literally, it refers to any language of logic programming”. Apologies to Monty Python.