User talk:Владимир Паронджанов

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia


June 2011[edit]

Welcome to Wikipedia. Everyone is welcome to make constructive contributions to Wikipedia, but at least one of your recent edits, such as the one you made to DRAKON, did not appear to be constructive and has been automatically reverted (undone) by ClueBot NG.

PROL2 and Prolog[edit]

Hello! I added a comment on the Prolog talk page (Talk:Prolog#Use_in_the_Buran_project) about whether Prolog was really used for the Buran. I wonder if you have any information or comments you would like to add? Vilhelm.s (talk) 16:29, 26 March 2015 (UTC)[reply]

Buran orbiter[edit]

Use in the Buran project[edit]

https://en.wikipedia.org/wiki/Talk:Prolog/Archive_1

The article currently cites a CIA report which claims that the Buran was programmed in Prolog, and various people on the Internet repeat this claim. The CIA report certainly states this, but is it true?

I did some research using Google Translate, and found two reliable sources which states that the Buran project involved two new programming languages, PROL2 for the flight systems and DIPOL for ground-based testing. I added this information to Buran_programme #Development. There was also a system SAPO PROLOGUE (spelled PROLOG on one webpage), but from the machine translated text it is a bit unclear how this relates to PROL2.

So, did these languages have anything to do with Prolog, or was the CIA analyst just confused by the name? On the face of it, it seems an unlikely choice for a real-time, memory-constrained flight controller. Furthermore, these languages were later developed into DRAKON, which seems very unlike Prolog. (On the other hand, looking at Erlang today you could not really guess that it was originally implemented in Prolog, so I guess there could be some kind of connection.)

Vladimir Parondzhanov (who was involved in the developement of of DRAKON, and has done a lot of work publicising it on the web) has said that it is sheer stupidity to think that PROL2 has anything to do with Prolog (Google Translate). Parondzhanov also has a Wikipedia account, @Владимир Паронджанов:, so maybe he can weigh in here himself.

On the other hand, there is an article (Google Translate) which states "Language PROL2 largely repeats the famous logic language Prolog, but was built on the basis of official Russian words". At the end of the article the author writes, "I was lucky enough to work for a year with one of the programmers landing system Buran, Alexander Y. Sundukova. Article inspired by his stories on lunch breaks."

I guess finding a reliable source for what PROL2 was like 30 years after the fact will be very difficult. On the other hand, the CIA report is not very conclusive either---it's just a single sentence, they clearly do not have any detailed information about the programmer (since they go on to speculate whether the choice of language means that the Buran used AI techniques), and they just cite "open sources" so anything they looked at should in principle be available to us also. If it seems dubious, then we are not required to cite it just because it exists. — Preceding unsigned comment added by Vilhelm.s (talkcontribs) 16:27, 26 March 2015 (UTC)[reply]

Prolog was never used in the Buran project[edit]

I'm very glad, that you are interested in this history.

The French language Prolog by Alain Colmerauer was not used in Soviet Buran space project. It is wrong information. It is not true.

There was Russian real time imperative language ПРОЛОГ for Russian on-board computer Biser-4. Russian ПРОЛОГ was developed by Victor A. Krjukov (Виктор Алексеевич Крюков) from Keldysh Institute of Applied Mathematics. The second (revised and updated) version of Russian ПРОЛОГ is called ПРОЛ2 (PROL2). To avoid misunderstanding, I use the term PROL2 in my books and never use the word ПРОЛОГ. Thank you for attention. --Владимир Паронджанов (talk) 18:47, 26 March 2015 (UTC)[reply]

Thanks for commenting! For now, I removed the claim from the article. Do you happen to know any published source (e.g. one of your own books) which states that ПРОЛОГ and/or ПРОЛ2 were imperative languages, not logic programming languages? I feel this claim is repeated often enough that someone will put it back into the article, it would be better if we could include a refutation.
I wonder if we will ever see any of this source code publised? The computer programs for the Apollo Project are available online now, but I guess those are more historically significant... Vilhelm.s (talk) 22:14, 26 March 2015 (UTC)[reply]
See report by Victor Krjukov in Russian here --Владимир Паронджанов (talk) 15:18, 27 March 2015 (UTC)[reply]
По поводу языков Прол2, Диполь и Лакс приведу цитату из "Паронджанов В. Д. Графический синтаксис языка ДРАКОН. — 1995. — Т. 3. — С. 45—62. — (Программирование)".

При создании бортовых и наземных программ орбитального корабля "Буран" использовались языки Прол2, Диполь, Пси Фортран, Лакс, Ассемблер и др. (первые три разработаны в ИПМ РАН). Обобщение опыта работы с этими языками привело к формированию концепции графического языка дракон... Дракон разрабатывается в НПО автоматики и приборостроения совместно с ИПМ РАН и предназначен для создания программ реального времени, а также для обучения программированию[1]

--Владимир Паронджанов (talk) 15:32, 27 March 2015 (UTC)Владимир Паронджанов (talk) 08:54, 26 July 2015 (UTC)[reply]

hello — Preceding unsigned comment added by 81.186.30.223 (talk) 11:41, 27 November 2015 (UTC)[reply]

Prolog construction software[edit]

I stumbled across http://www.meridiansystems.com/products/prolog/overview/. Maybe a disambiguation is necessary? — Preceding unsigned comment added by BartYgor (talkcontribs) 11:04, 26 October 2016 (UTC)[reply]

  1. ^ Parondzhanov V. D. Visual Syntax of the DRAGON Language // Programming and Computer Software, 01 / 1995; Volume 21 (Issue 3): p. 142 - 153. (Here is an incorrect translation. This should be read as "DRAKON language.").