Скачать презентацию
Идет загрузка презентации. Пожалуйста, подождите
1
Язык Пролог в качестве языка запросов к параллельной распределённой СУБД
2
f(n) = 1 2 … n 1) k = 1, i = 1 2) если i
3
1973 программа = множество аксиом; программа = множество аксиом; вычисление = конструктивный вывод целевого утверждения из программы. вычисление = конструктивный вывод целевого утверждения из программы.
4
predicates predicates factorial(integer, integer) factorial(integer, integer) clauses clauses factorial(0,1):-!. factorial(0,1):-!. factorial(N,R):-P=N-1, factorial(P,Prev), R=Prev*N. factorial(N,R):-P=N-1, factorial(P,Prev), R=Prev*N. goal goal factorial(3,X). factorial(3,X).
5
predicates predicates программист(string) программист(string) знать_пролог(string) знать_пролог(string) clauses clauses программист("Сергей"). программист("Сергей"). программист("Оля"). программист("Оля"). знать_пролог(X) :- программист(X). знать_пролог(X) :- программист(X). goal goal знать_пролог(A). знать_пролог(A). A=Сергей A=Сергей A=Оля A=Оля 2 Solutions 2 Solutions $ - программист: $ - программист: $ знает пролог: $ знает пролог: $Сергей - программист. $Сергей - программист. $Оля - программист. $Оля - программист. X знает пролог, если X - программист. X знает пролог, если X - программист. Кто знает пролог ? Кто знает пролог ? Сергей Сергей Оля Оля 2 Solutions 2 Solutions Функциональная запись «Естественная» запись
6
Языки запросов ПрограммистЯзык СергейПролог СергейБейсик ОляПролог Программист_знает_язык программист $ знает язык $: программист $Сергей знает язык $Пролог. программист $Сергей знает язык $Бейсик. программист $Оля знает язык $Пролог. create table Программист_знает_язык (Программист string, Язык string). insert into Программист_знает_язык (Сергей, Пролог). insert into Программист_знает_язык (Сергей, Бейсик). insert into Программист_знает_язык (Оля, Пролог). Пролог: SQL:
7
Параллельное вычисление $Оля – женщина. $Оля – женщина. $Сергей – программист. $Сергей – программист. $Оля – программист. $Оля – программист. X знает пролог, если X – программист, Х - женщина. X знает пролог, если X – программист, Х - женщина. Кто знает пролог ? Кто знает пролог ? Кто знает пролог ? Кто – программист? Кто – женщина?
8
Схема Пролог-системы Интерпретатор машина Пролога база доменов индексный файл база предикатов
9
Схема распределённой Пролог-системы машина Пролога I база доменов Машина Пролога II интерпретатор база предикатов индексный файл Машина Пролога III интерпретатор индексный файл База предикатов индексный файл интерпретатор база предикатов
Еще похожие презентации в нашем архиве:
![CREATE TABLE Ident_table ( ID int IDENTITY(1, 1), some_values varchar(50)); IDENTITY [ ( seed, increment ) ]](/thumbs/6/683158/big_thumb.jpg "CREATE TABLE Ident_table ( ID int IDENTITY(1, 1), some_values varchar(50)); IDENTITY [ ( seed, increment ) ]")
![Основные понятия Пролога Лекция 3. Предикаты ::= | ( [, ]*)](/thumbs/6/663253/big_thumb.jpg "Основные понятия Пролога Лекция 3. Предикаты ::= | ( [, ]*)")
