Quali linguaggi di programmazione software sono stati utilizzati dal programma spaziale dell'Unione Sovietica?

Question

Mi sono interessato al Programma spaziale sovietico ed era interessato a scoprire che il software sul BURAN SPACELATER Circa 1988 è stato scritto in Prolog.

Qualcuno sa quali lingue potrebbero essere state utilizzate nelle missioni precedenti, in particolare il Missioni di Mars Prop-M Rover Dei primi anni '70 che erano in qualche modo autonomi e potevano navigare negli ostacoli?

Modificare

La mia fonte per il Bulan Prolog è Questo documento declassificato dal sito della CIA Dal maggio 1990. Non sono riuscito a trovare una versione OCR, quindi ecco la citazione pertinente da p. 0449:

Secondo la letteratura open source, i sovietici hanno usato il linguaggio di programmazione sviluppato dalla francese noto come Prolog per sviluppare software di sistema di bordo per il veicolo Buran ...