Mi sono interessato al programma spaziale sovietico e sono stato interessato a scoprire che il software sul veicolo spaziale Buran intorno al 1988 è stato scritto in Prolog.
Qualcuno sa quali lingue potrebbero essere state utilizzate nelle missioni precedenti, in particolare le missioni rover Mars PrOP-M dei primi anni '70 che erano in qualche modo autonome e potevano superare ostacoli?
modificare
La mia fonte per il Buran Prolog è questo documento declassificato dal sito della CIA del 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 usavano il linguaggio di programmazione sviluppato in francese noto come Prolog per sviluppare software di sistema di bordo per il veicolo Buran ...