La syntaxe est propriétaire, mais c'est bien du Prolog.
Le langage accepte des structures de contrôle genre "if then else" ou "while do" qu'on ne trouve normalement pas en prolog, mais ces...