Soviet Buran spacecraft used Prolog | Hacker News Reader