има машинен език - нулички и единички групирани в байтове. Той е уникален за всеки един процесор.

има асемблерен език - мнемонични инструкции, които могат да са различни за различните процесори, ама могат да са и еднакви. Този език се преобразува от специална програма в машинния за даден процесор език.

има език от високо ниво - инструкциите от него се обработват от специална програма "компилатор" и се превръщат в машинен език.

Та ако искаме да постигнем консенсус, нека просто кажем Prolog е програмен език от високо ниво. Ако искаме да сме съвсем в час, казваме и от кое ниво е този език от високо ниво.

А на чист машинен език от 30 години никой вече не пише. Затова някои неща се подразбират. И никой не си напряга мозъка да ги уточнява.