> Зато у системщиков получилось - современное железо удобнее всего программить из си. Потому что mem-mapped регистры.

А ветер дует, потому что деревья качаются!

> А вы сцыте в штаны от указателей

EXAMPLE 2
   C:                           ==>   Modula-2:
   typedef T1 *T;               TYPE T = POINTER TO T1;
EXAMPLE 4
The define directive for ptr_t translates to a Modula-2 address type:
   C:                           ==>   Modula-2:
   #define ptr_t void *               TYPE ptr_t = SYSTEM.ADDRESS;

Ох уж эти опеннетные Знатоки!
> Очень интересно получится ли такой же пшик как с прологом и чем там еще.
>> "поменять архитектуру" в угоду языку (Пролог и японские 5го поколения, Модула-2, Оберон)
>> Prolog. Warren's Abstract Machine,
>> SLD-resolution, (Selective Linear Definite clause resolution)
>> SLD resolution implicitly defines a search tree of alternative computations,

"поменять архитектуру"
рукалицо.бмп
Мне вот интересно, откуда вы такие "красивые и экспертные" беретесь?