Презентация Structure of the program in Prolog. Execution management онлайн
На нашем сайте вы можете скачать и просмотреть онлайн доклад-презентацию на тему Structure of the program in Prolog. Execution management абсолютно бесплатно. Урок-презентация на эту тему содержит всего 23 слайда. Все материалы созданы в программе PowerPoint и имеют формат ppt или же pptx. Материалы и темы для презентаций взяты из открытых источников и загружены их авторами, за качество и достоверность информации в них администрация сайта не отвечает, все права принадлежат их создателям. Если вы нашли то, что искали, отблагодарите авторов - поделитесь ссылкой в социальных сетях, а наш сайт добавьте в закладки.
Оцените презентацию от 1 до 5 баллов!
- Тип файла:ppt / pptx (powerpoint)
- Всего слайдов:23 слайда
- Для класса:1,2,3,4,5,6,7,8,9,10,11
- Размер файла:578.00 kB
- Просмотров:88
- Скачиваний:0
- Автор:неизвестен
Слайды и текст к этой презентации:
№1 слайд
Содержание слайда: Structure of the program in Prolog. Execution management
Lecture 4
№2 слайд
Содержание слайда: Peculiarities of Visual Prolog
Visual Prolog is a compiled language
Other versions have elements of interpretation of a code during the execution
Strict data typing
Rules are not data: you can’t add or remove them during the execution
You can’t define new operations
№3 слайд
Содержание слайда: Program sections
compiler directives
CONSTANTS – section of constants description
DOMAINS – section of domains description
DATABASE – section of description of internal database predicates
PREDICATES – section of predicates description
CLAUSES – section of clauses description
GOAL – section of internal goal description
№4 слайд
Содержание слайда: Peculiarities of Visual Prolog
All sections can be in any order
Predicates and domain must be defined before their usage
Predicates declared in a section DATABASE can be added and removed from internal database while the execution
№5 слайд
Содержание слайда: Program containing only the goal
GOAL
write("hello"), readchar(_).
№6 слайд
Содержание слайда: Compiler directives
trace – to trace the program
nowarnings – to suppress the message that a variable occurs only once
include – insertion of some file content
check_determ – compulsory check of predicates determination
№7 слайд
Содержание слайда: Peculiarities of Visual Prolog
You can start tracing only for the definite predicate
If there is a tracing the optimization of recursion is not working
To establish non-determination of predicates by default: Options – Project – Compiler options – Warnings – Default predicate type – Nondeterm
№8 слайд
Содержание слайда: Constants
CONSTANTS
pi=3.14
path="c:\\prolog\\bgi"
№9 слайд
Содержание слайда: Domains
integer – an integer number (-32768...32767)
real – a float number (±e-307...±e308)
char – a symbol in apostrophes
string – a sequence of symbols in double quotation marks
symbol – a symbolic constant (atom)
file – a file
№10 слайд
Содержание слайда: Description of your own domain
<name_domain> = <description_domain>
or
file = <symbolic file name1>; ...;
<symbolic file nameN>
or
<name_list_domain> = <name_domain_of_list_elements>*
Examples:
DOMAINS
i=integer
list=i*
№11 слайд
Содержание слайда: Description of a structured domain
<name_structure> = <name_functor> (<name_domain_first_component>, ..., <name_domain_last_component>) [;<name_functor>(...)]*
Examples:
flatpoint = p(integer, integer)
triangle = tr(point, point, point)
fullpoint = p(integer, integer); p(integer, integer, integer)
№12 слайд
Содержание слайда: Description of predicates
<name_predicate> (<name_first_argument>, ..., <name_last_argument>).
Examples:
PREDICATES
mother(string,string).
member(integer,integer*).
member(real,real*).
member(char,char*).
member(string,string*).
№13 слайд
Содержание слайда: Standard predicates
readln(_)
readint(_)
readreal(_)
readchar(_)
readterm(name_domain, term_domain)
write([<variable / constant / value>,…])
writef – format output
№14 слайд
Содержание слайда: Standard predicates
div()
mod()
trunc()
round()
random(_)
random(<число>,_)
All embedded predicates are determinated
№15 слайд
Содержание слайда: Program “Relatives”
DOMAINS
s=string
PREDICATES
nondeterm mother(s,s)
nondeterm grandmother(s,s)
CLAUSES
mother("Наташа","Даша").
mother("Даша","Маша").
grandmother(X,Y):-
mother(X,Z),
mother(Z,Y).
№16 слайд
Содержание слайда: Execution management
Method of a depth search (backtracking)
Method of a rollback after a failure
Cut and rollback
Method of a user-defined search
№17 слайд
Содержание слайда: Backtracking
DOMAINS
s=string
PREDICATES
mother(s,s)
grandmother(s,s)
CLAUSES
mother(“Dasha",“Masha").
mother(“Natasha",”Dasha").
mother(“Natasha",”Glasha").
mother(“Dasha",”Sasha").
grandmother(X,Y):–
mother(X,Z),
mother(Z,Y).
№18 слайд
Содержание слайда: Method of a rollback after a failure
DOMAINS
s=string
PREDICATES
mother(s,s)
grandmother(s,s)
CLAUSES
mother(“Dasha",“Masha").
mother(“Natasha",”Dasha").
mother(“Natasha",”Glasha").
mother(“Dasha",”Sasha").
grandmother(X,Y):–
mother(X,Z),
mother(Z,Y).
№19 слайд
Содержание слайда: Method of a rollback after a failure
DOMAINS
s=string
PREDICATES
mother(s,s)
grandmother(s,s)
CLAUSES
mother(“Dasha",“Masha").
mother(“Natasha",”Dasha").
mother(“Natasha",”Glasha").
mother(“Dasha",”Sasha").
grandmother(X,Y):–
mother(X,Z),
mother(Z,Y).
№20 слайд
Содержание слайда: Method of a rollback after a failure
DOMAINS
s=string
PREDICATES
mother(s,s)
grandmother(s,s)
show_names
CLAUSES
mother(“Dasha",“Masha").
mother(“Natasha",”Dasha").
mother(“Natasha",”Glasha").
mother(“Dasha",”Sasha").
grandmother(X,Y):–
mother(X,Z),
mother(Z,Y).
№21 слайд
Содержание слайда: Method of a rollback after a failure
DOMAINS
s=string
PREDICATES
mother(s,s)
grandmother(s,s)
show_names2(s)
CLAUSES
mother(“Dasha",“Masha").
mother(“Natasha",”Dasha").
mother(“Natasha",”Glasha").
mother(“Dasha",”Sasha").
grandmother(X,Y):–
mother(X,Z),
mother(Z,Y).
№22 слайд
Содержание слайда: Cut and rollback
№23 слайд
Содержание слайда: Method of a user-defined search
Скачать все slide презентации Structure of the program in Prolog. Execution management одним архивом:
