Скачать Задача на тему Логические задачи на языке программирования Prolog бесплатно и без регистрации

бесплатно 0

4.5 89

Задача Математическая логика Программирование, компьютеры и кибернетика Размещено: 09.01.2019

Ввести предложенный текст программы, реализовать ее и записать на диск. Умышленно ввести опечатки в текст программы и ознакомиться с сообщениями об этих опечатках, исправить их. Реализовать программу с вводом целей и проверить получаемые результаты...

Скачать работу Скачать уникальную работу

Чтобы скачать работу, Вы должны пройти проверку:

Аннотация к работе

Ввести предложенный текст программы, реализовать ее и записать на диск. predicates hello. goal hello. clauses hello:-makewindow(1,7,7,"Моя первая программа",4,56,14,22), nl, write("Введите ваше имя,

","затем нажмите Enter."), cursor(4,6), readln(Name),nl, write("Добро пожаловать

в PDC Prolog,

","",Name,"!"). Умышленно ввести опечатки в текст программы и ознакомиться с сообщениями об этих опечатках, исправить их. predicates hello. goal hello. clauses hello:-makewindow(1,7,7,"Моя первая программа",4,56,14,22) nl, write("Введите ваше имя,n","затем нажмите Enter."), cursor(4,6), readln(Name)nl, write("Добро пожаловать

в PDC Prolog,

",",Name,!"). Реализовать программу с вводом всех перечисленных внешних целей и проверить получаемые результаты: domains name=symbol year_in, year_out = integer predicates parents(name,name) woman(name) man(name) offspring(name,name) father(name,name) mother(name,name) parent_parents(name,name) brother(name,name) grandfather(name,name) grandmother(name,name) emperor(name,year_in,year_out) emperor_was(name,integer) clauses parents("Петр III","Павел I"). parents("Екатерина II","Павел I"). parents("Павел I","Александр I"). parents("Павел I","Николай I"). parents("Николай I","Александр II"). parents("Александр II","Александр III"). parents("Александр III","Николай II"). woman("Екатерина II"). man("Петр III"). man("Павел I"). man("Алексндр I"). man("Николай I"). man("Александр II"). man("Александр III"). man("Николай II"). offspring(Y,X):-parents(X,Y). father(X,Y):-parents(X,Y),man(X). mother(X,Y):-parents(X,Y),woman(X). parent_parents(X,Z):-parents(X,Y),parents(Y,Z). brother(X,Y):-parents(Z,X),parents(Z,Y),man(X),XY. grandfather(X,Y):-father(X,Z),father(Z,Y). grandmother(X,Y):-mother(X,Z),father(Z,Y). emperor("Петр III",1761,1762). emperor("Екатерина II",1762,1796). emperor("Павел I",1796,1801). emperor("Александр I",1801,1825). emperor("Николай I",1825,1855). emperor("Александр II",1855,1881). emperor("Александр III",1881,1894). emperor("Николай II",1894,1917). emperor_was(X,Y):-emperor(X,A,B),Y>=A,Y<=B. Реализовать приведенную программу: domains name=symbol predicates star(name) planet(name) revolve(name,name) satellite(name,name). goal satellite(X,"Марс"), write(X," спутник Марса."), nl. clauses star("Солнце"). planet("Земля"). planet("Марс"). revolve("Земля","Солнце"). revolve("Марс","Солнце"). revolve("Луна","Земля"). revolve("Фобос","Марс"). revolve("Деймос","Марс"). satellite(X,Y):-planet(Y),revolve(X,Y). Использовать внешние и внутренние цели. domains name=symbol predicates men(name) mama(name) sons(name,name) doughter(name,name) deda(name,name) brother(name,name). goal doughter(Z,Y), write(Z,Y), nl. clauses men(“Vaciliy”). men(“Michail”). men(“Maxim”). mama(“Olga”). sons(“Michail”,”Olga”). sons(“Maxim”,”Olga”). doughter(“Olga”,”Vasiliy”). deda(X,Y) :-men(X),men(Y),sons(X,Y),doughter(Z,Y). brother(X,Y) :-men(X),men(Y), sons(X,Z),sons(Y,Z),XY.

Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность
своей работы

Дисциплины научных работ

Посмотреть все работы

Логические задачи на языке программирования Prolog - Задача

Чтобы скачать работу, Вы должны пройти проверку:

Дисциплины научных работ