Программа перечисляет виды налогов, взимаемых с предприятий с учетом их профиля. Предназначена для демонстрации методов отсечения и отсечения и отката.
predicates
nal(symbol,symbol) /* налоги(Предприятие,Вид_налогов) */
zar(symbol) /* зарегистрировано(Предприятие) */
min(symbol) /* минимальный */
max(symbol) /* максимальный */
dop(symbol) /* дополнительный */
prof(symbol,symbol) /* профиль(Предприятие,Вид_деят.) */
clauses
nal(Pred,Vid_nal):- zar(Pred),
prof(Pred,"образование"),!,
min(Vid_nal).
nal(Pred,Vid_nal):- zar(Pred),max(Vid_nal).
max(X):- min(X);dop(X).
min("местные").
min("на прибыль").
dop("на доб. стоимость").
zar("РРТИ").
zar("контора "РиК").
prof("РРТИ","образование").
prof("контора"РиК","коммерция").
|
Главная
Каталог файлов
