'

Язык Пролог в качестве языка запросов к параллельной распределённой СУБД

Понравилась презентация – покажи это...





Слайд 0

Язык Пролог в качестве языка запросов к параллельной распределённой СУБД


Слайд 1

f(n) = 1 • 2 • … • n 1) k = 1, i = 1 2) если i<n, то завершить 3) k = k • i 4) i = i + 1 5) перейти на пункт 2 int f(int n){ int i, k = 1; for(i = 1; i<n; i++) k = k * i; return j; }


Слайд 2

1973 программа = множество аксиом; вычисление = конструктивный вывод целевого утверждения из программы.


Слайд 3

predicates factorial(integer, integer) clauses factorial(0,1):-!. factorial(N,R):-P=N-1, factorial(P,Prev), R=Prev*N. goal factorial(3,X).


Слайд 4

predicates программист(string) знать_пролог(string) clauses программист("Сергей"). программист("Оля"). знать_пролог(X) :- программист(X). goal знать_пролог(A). A=Сергей A=Оля 2 Solutions $ - программист: $ знает пролог: $Сергей - программист. $Оля - программист. X знает пролог, если X - программист. Кто знает пролог ? Сергей Оля 2 Solutions Функциональная запись «Естественная» запись


Слайд 5

Языки запросов Программист_знает_язык программист $ знает язык $: программист $Сергей знает язык $Пролог. программист $Сергей знает язык $Бейсик. программист $Оля знает язык $Пролог. create table “Программист_знает_язык” (“Программист” string, “Язык” string). insert into “Программист_знает_язык” (“Сергей”, “Пролог”). insert into “Программист_знает_язык” (“Сергей”, “Бейсик”). insert into “Программист_знает_язык” (“Оля”, “Пролог”). Пролог: SQL:


Слайд 6

Параллельное вычисление $Оля – женщина. $Сергей – программист. $Оля – программист. X знает пролог, если X – программист, Х - женщина. Кто знает пролог ?


Слайд 7

Схема Пролог-системы


Слайд 8

Схема распределённой Пролог-системы


×

HTML:





Ссылка: