3 ms·

FWIW, I found it interesting to learn that the Soviet Space shuttle (Buran) was programmed in Prolog. http://programmers.stackexchange.com/questions/145669/wha

FWIW, I found it interesting to learn that the Soviet Space shuttle (Buran) was programmed in Prolog. http://programmers.stackexchange.com/questions/145669/what-software-programming-languages-were-used-by-the-soviet-unions-space-progra http://programmers.stackexchange.com/questions/145669/what-s... http://en.wikipedia.org/wiki/Buran_(spacecraft)#Overview http://en.wikipedia.org/wiki/Buran_(spacecraft)#Overview

vilhelm_s 12y ago
I think this might be a misunderstanding, the claim just shows up in a single CIA report about contemporary Soviet computer technology. Elsewhere[0] we read, > Two new specific software languages known as "PROL-2" (used by the on-board computers) and "DIPOL" (used by ground computers using vehicle testing) [...] were developed for Buran So I guess the what the CIA report refers to as Prolog is PROL-2. But is this really a Prolog variant? That seems like an unlikely choice of language for a real-time system. Later, both of these languages developed into DRAKON [1], and looking at the Wikipedia page that language doesn't appear very Prolog-like, at least not superficially. On the other hand, here[2] is a reddit comment that claims that is was indeed a Prolog variant, but it doesn't cite the source. [0] https://books.google.com/books?id=qSwNBwAAQBAJ&pg=PT6&lpg=PT6&dq=buran+programming+language&source=bl&ots=xXo7Znhbav&sig=6j6pAmpTCMByE0pbEDDBd0mBgO8&hl=en&sa=X&ei=KjcPVbvcGIa0sASv-YDICA&ved=0CEUQ6AEwBzgK#v=onepage&q=buran%20programming%20language&f=false https://books.google.com/books?id=qSwNBwAAQBAJ&pg=PT6&lpg=PT... [1] https://en.wikipedia.org/wiki/DRAKON https://en.wikipedia.org/wiki/DRAKON [2] http://www.reddit.com/r/programming/comments/ujx7m/what_software_programming_languages_were_used_by/c4w5q9b http://www.reddit.com/r/programming/comments/ujx7m/what_soft...
- wanderingstan 12y ago
  After my post I read up more and, like you, am now skeptical. I wonder if it's a case of someone mistaking PROL to be an abbreviation of prolog? My old German university's web server was written in prolog, so it's not completeley inconceivable for a spacecraft, but I'd like to see more evidence.
  - vilhelm_s 12y ago
    Yes, that is my guess too. On the other hand, I would be _extremely_ interested to see a real-time Prolog dialect used to control real-life space shuttles, that's totally my aesthetic. :) But I can't understand Russian, which makes it difficult to research.

vilhelm_s 12y ago

I think this might be a misunderstanding, the claim just shows up in a single CIA report about contemporary Soviet computer technology. Elsewhere[0] we read, > Two new specific software languages known as "PROL-2" (used by the on-board computers) and "DIPOL" (used by ground computers using vehicle testing) [...] were developed for Buran So I guess the what the CIA report refers to as Prolog is PROL-2. But is this really a Prolog variant? That seems like an unlikely choice of language for a real-time system. Later, both of these languages developed into DRAKON [1], and looking at the Wikipedia page that language doesn't appear very Prolog-like, at least not superficially. On the other hand, here[2] is a reddit comment that claims that is was indeed a Prolog variant, but it doesn't cite the source. [0] https://books.google.com/books?id=qSwNBwAAQBAJ&pg=PT6&lpg=PT6&dq=buran+programming+language&source=bl&ots=xXo7Znhbav&sig=6j6pAmpTCMByE0pbEDDBd0mBgO8&hl=en&sa=X&ei=KjcPVbvcGIa0sASv-YDICA&ved=0CEUQ6AEwBzgK#v=onepage&q=buran%20programming%20language&f=false https://books.google.com/books?id=qSwNBwAAQBAJ&pg=PT6&lpg=PT... [1] https://en.wikipedia.org/wiki/DRAKON https://en.wikipedia.org/wiki/DRAKON [2] http://www.reddit.com/r/programming/comments/ujx7m/what_software_programming_languages_were_used_by/c4w5q9b http://www.reddit.com/r/programming/comments/ujx7m/what_soft...

wanderingstan 12y ago
After my post I read up more and, like you, am now skeptical. I wonder if it's a case of someone mistaking PROL to be an abbreviation of prolog? My old German university's web server was written in prolog, so it's not completeley inconceivable for a spacecraft, but I'd like to see more evidence.
- vilhelm_s 12y ago
  Yes, that is my guess too. On the other hand, I would be _extremely_ interested to see a real-time Prolog dialect used to control real-life space shuttles, that's totally my aesthetic. :) But I can't understand Russian, which makes it difficult to research.