Научно-исследовательская работа на тему "Параллелизация логического вывода"

В работе рассматриваются методы и способы распараллеливания логического вывода с возможным использованием графического процессора. За основу взят эксперимент по определению зависимости выполнения запроса от числа строк в таблице, проведенный на GPU-Datalog и YAP-Prolog.