Děkuji za pěkný článek. Mám dotaz týkající se sovětských programovacích jazyků. V několika textech o Prologu jsem se dočetl, že byl používán v počítači raketoplánu buran. Podle http://programmers.stackexchange.com/questions/145669/what-software-programming-languages-were-used-by-the-soviet-unions-space-progra ta informace pochází z odtajněného dokumentu CIA. Existuje nějaký zdroj v Ruštině, který tu informaci potvrzuje?