Visualizing the Execution of Prolog Programs
Visualizing the Execution of Prolog Programs
Marc Eisenstadt, Mike Brayshaw - The Open University
CHI '88 Technical Video Program
Abstract
This videotape illustrates a graphical Prolog execution model which serves as the basis for Open University teaching material as well as an advanced graphical user interface for expert Prolog programmers. Our aim has been to reconcile a global view of Prolog program execution with the 'truth' about finegrained execution details. The cornerstone of our graphical representation is the 'AORTA' diagram, an And/OR Tree, augmented to include invocation history 'status boxes' at each node. This augmentation makes it possible to present a graphical view of Prolog execution which is very compact, yet which contains complete details of unification and control history, including multiple (backtracking) invocations and extra-logical control features such as the 'cut'. The video contains excerpts from Open University course materials based on AORTA diagram notation. In particular, it illustrates the inner workings of the 'Prolog interpreter list-processing. Only the finegrained (close-up) view is illustrated in the video.
WEB:: http://www.cs.umd.edu/hcil/chivideoslist/index.shtml
Published as Issue 58-59 of ACM SIGGRAPH Video Review.
Video Chair: James Hollan (MCC)
Location: Washington, DC, USA
Что делает видео по-настоящему запоминающимся? Наверное, та самая атмосфера, которая заставляет забыть о времени. Когда вы заходите на RUVIDEO, чтобы посмотреть онлайн «Visualizing the Execution of Prolog Programs», вы рассчитываете на нечто большее, чем просто загрузку плеера. И мы это понимаем. Контент такого уровня заслуживает того, чтобы его смотрели в HD 1080, без дрожания картинки и бесконечного буферизации.
Честно говоря, Rutube сегодня — это кладезь уникальных находок, которые часто теряются в общем шуме. Мы же вытаскиваем на поверхность самое интересное. Будь то динамичный экшн, глубокий разбор темы от любимого автора или просто уютное видео для настроения — всё это доступно здесь бесплатно и без лишних формальностей. Никаких «заполните анкету, чтобы продолжить». Только вы, ваш экран и качественный поток.
Если вас зацепило это видео, не забудьте взглянуть на похожие материалы в блоке справа. Мы откалибровали наши алгоритмы так, чтобы они подбирали контент не просто «по тегам», а по настроению и смыслу. Ведь в конечном итоге, онлайн-кинотеатр — это не склад файлов, а место, где каждый вечер можно найти свою историю. Приятного вам отдыха на RUVIDEO!
Видео взято из открытых источников Rutube. Если вы правообладатель, обратитесь к первоисточнику.