Ответы к упражнениям
Упражнение 6.1
a) all (x: check x)
[определить все (х: проверка х)]
fault X ? ans no-play
[неисправность X ? ответ не-играет]
cassette-in ? у
[вставлена ли кассета? да]
cassette-rewound ? у
[перемотана ли кассета? да]
on-play ? у
[нажата ли клавиша "Пуск"? да]
tape-moving ? по
[движется ли лента? нет]
(try motor fault)
[проверьте исправность электродвигателя]
all (x: check x)
[определить все (х: проверка х)]
fault X? ans motor
[неисправность X ? ответ электродвигатель]
(12 v on motor ? у)
[(напряжение на электродвигателе равно 12 В)? да]
motor -running ? у
[электродвигатель вращается ? да]
drivebelt ? у
[приводной ремень в порядке? да]
idler ? у
[натяжной ролик в порядке? да]
pinchwheel ? no
[маховик в порядке? нет]
replace pinchwheel
[замените маховик]
б) all (x: check x)
[определить все (х: проверка х)]
fault X ? ? ans motor
[неисправность X ? ответ электродвигатель]
(12 v on motor ? у
[(напряжение на электродвигателе равно 12 В)? да] и т.д.
Упражнения 6.2, 6.3
Ответы к этим упражнениям зависят от выбранной читателем предметной области, но следует отметить, что те методы, которые использовались в программах 6.1, 6.2 и 6.3, должны и здесь привести к успеху.
Упражнение 6.4
Используйте программу 6.5 для выбора в первом случае (а) метода сквозных металлизированных отверстий, а во втором случае (б) традиционного метода. После этого запрашивайте нужную информацию
Упражнение 6.5
а) all (x :y x stage у)
б) all (х: 2 awaits x)
в) all (х у: process z and standard X and x ON z and у ON X and (x y) match (z X)
г) all (x: 3 next x) job 3 operation X inspection Y ? just drill op2
Упражнение 6.6
Все зависит от выбранного читателем последовательного процесса.
Упражнение 6.7
(9 2), (4 2), (11 12), (3 2)
А вот реальные результаты матчей: 1:0, 2:0, 1:1 и 0 : 2.
Упражнение 6.8
Неудачными являются пятое и шестое правила отношения plus. Может случиться так, что пользователи захотят ввести еще несколько элементов данных в список. Например, им может понадобиться s (количество) сыгранных матчей. Тогда список примет вид (w d I f a s). Чтобы указанные правила стали универсальными, необходимо использовать в них утверждения form вида
Утверждения такого вида позволяют работать с произвольным числом элементов в списке. Заметим, что при появлении новой информации, возможно придется добавить в программу еще несколько правил, предназначенных для начисления очков.
Упражнение 6.9
Один из возможных методов предусматривает изменение отношения result и введение дополнительного отношения.
X result Y if
game and
Z points x and
у score z and
SUM (Z у X) and
SUM (x z Y) and
((PP home X Y away))? and
X feast Y and
choose X feast Y if
SUM (X 9 Z) and
Z LESS Y and
((PP This looks like an away win))? and
/
X feast Y if
SUM (Y 9 Z) and
Z LESS X and
((PP This should be a home win))? and
/
X feast Y if
((PP A possible draw))? and
/
|
ПОИСК:
|
При использовании материалов сайта активная ссылка обязательна:
http://informaticslib.ru/ 'Библиотека по информатике'