Владимир Пекунов - Технологии автоматического дедуктивного распараллеливания в языке Planning C
- Название:Технологии автоматического дедуктивного распараллеливания в языке Planning C
- Автор:
- Жанр:
- Издательство:неизвестно
- Год:неизвестен
- ISBN:9785005635532
- Рейтинг:
- Избранное:Добавить в избранное
-
Отзывы:
-
Ваша оценка:
Владимир Пекунов - Технологии автоматического дедуктивного распараллеливания в языке Planning C краткое содержание
Технологии автоматического дедуктивного распараллеливания в языке Planning C - читать онлайн бесплатно ознакомительный отрывок
Интервал:
Закладка:
– prefix_off, выключающий префиксную строку,
– brackets_off, выключающий обрамляющие фигурные скобки.
Эти предикаты имеют глобальный для всего макромодуля эффект, соответственно они могут быть вызваны в любом из предикатов/целей модуля.
Таким образом, реализовано полноценное логическое порождающее программирование , которое может быть применено для решения сложных, интеллектуальных задач:
а) дедуктивного анализа фактов, представляющих, в частности, разобранную входную программу, с выработкой фактов, указывающих на необходимость применения распараллеливающих конструкций;
б) генерации кода на основании исходных и полученных фактов.
2.1.3. Некоторые простые примеры логического порождающего программирования на базе макромодулей
1. Пусть макромодуль генерирует серию заголовков цикла – в этом случае используется П-блок с опущенными префиксом и скобками. Далее приведен пример, содержащий соответствующий макромодуль big_loop, который вызывается для генерации тройного вложенного цикла (i = 0..2, j = 0..3, k = 0..4).
#include
using namespace std;
#def_module () big_loop (Vars, Lows, Highs) {
@goal:-brackets_off.
@loop ([], [], []):-!.
@loop ([V|VT], [L|LT], [H|HT]):-
write (’for (int»),write (V),write (»=»),write (L),write (»;»),
write (V),write (»<=»),write (H),write (»;»),
write (V),write (»++)»),
loop (VT, LT, HT).
@goal:-loop (Vars, Lows, Highs).
};
int main () {
big_loop ([’i’,’j’,’k’], [0,0,0], [2,3,4])
cout <<���«1»;
cout <
return 0;
}
2. Рассмотрим применение макромодуля tree_nodeдля формирования декларацию типа элемента n-арного дерева (n> = 2).
#def_module (struct) tree_node (ID, Type, Name, Arity) {
@goal:-brackets_off.
@goal:-write (ID). {
@goal:-write (Type),write (»»),write (Name),write (»;»).
Конец ознакомительного фрагмента.
Текст предоставлен ООО «ЛитРес».
Прочитайте эту книгу целиком, на ЛитРес.
Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.
Примечания
1
Информация получена с сайта http://www.crescentbaysoftware.com
2
См., например, https://www.cilkplus.org
Интервал:
Закладка:
