ESTA Prolog Development Center , , ESTA. , ESTA.
ESTA CINEMA.KB ( CINEMA_rus.KB) ' LAB_7.KB. ' , , , , .
ϳ LAB_7.KB , ESTA . :
, File -> Open.
, Consult -> Begin Consultation.
' , , .
, (. 7.2).
, .
7.2 ³
ESTA
, ESTA . , . , ESTA, Consult -> Show Knowledge Base. :
Title
Sections
section city_centre: ' '
if distance> = 10 advice ' .'
if (distance> = 3 and distance <10) advice '³ .'
if (distance <3 and time> = 30) advice ' .'
if (distance <3 and time <30) advice '³ .'
section start: ' '
if (cinema = 'odeon') do city_centre if (cinema = 'palace') do suburb
section suburb: ' '
if (distance> = 3 or time <30) advice ' .'
if (distance <3 and time> 30) advice ' .'
Parameters
parameter cinema: 'ʳ, '
type category
options
odeon,
palace.
question ' ?'
parameter distance: ' '
|
|
type number
question ' ?'
parameter time: ' '
type number
question ' ?'
, ESTA (section) (parameter). - ' ' start. ESTA .
, , , . .
ESTA , ' . Section -> Draw Section Tree. ' (. 7.3).
7.3 ³
- . ³ start (. 7.4).
7.4
, ' (. 7.5).
7.5 ³ , .
, ' , , , Section -> List All Section (. 7.6).
7.6 ³
䳿 , . Parameter. , , List All Parameters , . ֳ . , (. 7.7).
7.7 ³ ,