Реферат: Информационно-справочная система, обеспечивающая работу с базой данных Bit

domains

Str=string

Int=integer

ФИО=фио(Str,Str,Str)

ОЦЕН=оцен(Int,Int,Int)

database - студент

студент(Int,ФИО,Int,Int),

database - абитурьент

абитурьент(Int,ФИО,Str,Int,ОЦЕН)

predicates

begin

main_menu

autoload

accept(Int)

acp(Int,Int)

working(Int)

correct(Int)

view(Int)

skip(Str,Str,Str)

skip1(Str,Int,Int)

ask

mesage

error

io_error

ok

save_bd(Int)

load_bd(Int)

repeat

goal