Comment by pgt

I guess all roads do lead to Prolog.

Why risk the naming confusion? Doing a search for "prologue language" yields millions of Prolog results on both DDG and Google.