Построить базу знаний!

@fs_x · Регистрация: 11.10.2012

Студворк — интернет-сервис помощи студентам

Помогите решить...у меня что то не получается!..

@fs_x · 13.10.2012, 17:45 **[ТС]**

Сообщение от fs_x

Вложение 189899

Помогите решить...у меня что то не получается!..

Что тут не правильное:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
Domains
    s=string
Predicates
    koshka(s,s,s).
    sobaka(s,s,s).
    color(s).
    ryad(s,s,s,s,s,s,s,s,s).
Clauses
 
animal(muska,cat,brown).
animal(strelka,cat,black).
animal(murka,cat,red).
animal(reks,dog,pyatnistiy).
animal(drujok,dog,red).
animal(muxtar,dog,white).
 
anatolii(X,Y):-animal(X,Y,black);animal(X,Y,brown).
 
nikolai(X,Y):-animal(X,dog,Y),not(Y=white),not(anatolii(X,Y)).
 
rodosl(X):-anatolii(X,_);nikolai(X,_).
 
ivan(X):-X=murka,not(nikolai(muska,_)),not(rodosl(muxtar)).
 
no_home(X):-animal(X,_,_),not(anatolii(X,_)),not(nikolai(X,_)),not(ivan(X)).

@Грымзик · 15.10.2012, 22:37

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
Domains
    s=string
Predicates
    nondeterm animal(s,s,s).
    nondeterm hozyain(s,s).
    nondeterm no_home(s).
    nondeterm net_rodosl(s).
Clauses
animal("muska","cat","brown").
animal("strelka","cat","black").
animal("murka","cat","red").
animal("reks","dog","pyatnistiy").
animal("drujok","dog","red").
animal("muxtar","dog","white").
 
net_rodosl(X):-not(hozyain("anatolii",X)),not(hozyain("nikolai",X)).
 
hozyain("anatolii",X):-animal(X,_,"black");animal(X,_,"brown").
 
hozyain("nikolai",X):-animal(X,"dog",Y),Y<>"white",not(hozyain("anatolii",X)).
 
hozyain("ivan","murka"):-not(hozyain("nikolai","muska")),net_rodosl("muxtar").
 
no_home(X):-animal(X,_,_),not(hozyain(_,X)).
 
goal
no_home(X).

Новые блоги и статьи Все статьи Все блоги /
Очистка реквизитов документа при копировании Maks 09.04.2026 Алгоритм из решения ниже применим как для типовых, так и для нетиповых документов на самых различных конфигурациях. Задача: при копировании документа очищать определенные реквизиты и табличную. . .	модель ЗдравоСохранения 8. Подготовка к разному выполнению заданий anaschu 08.04.2026 https:/ / github. com/ shumilovas/ med2. git main ветка * содержимое блока дэлэй из старой модели теперь внутри зайца новой модели 8ATzM_2aurI	Блокировка документа от изменений, если он открыт у другого пользователя Maks 08.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа, разработанного в конфигурации КА2. Задача: запретить редактирование документа, если он открыт у другого пользователя. / / . . .	Система безопасности+живучести для сервера-слоя интернета (сети). Двойная привязка. Hrethgir 08.04.2026 Далее были размышления о системе безопасности. Сообщения с наклонным текстом - мои. А как нам будет можно проверить, что ссылка наша, а не подделана хулиганами, которая выбросит на другую ветку и. . .
Модель ЗдрввоСохранения 7: больше работников, больше ресурсов. anaschu 08.04.2026 работников и заданий может быть сколько угодно, но настроено всё так, что используется пока что только 20% kYBz3eJf3jQ	Дальние перспективы сервера - слоя сети с космологическим дизайном интефейса карты и логики. Hrethgir 07.04.2026 Дальнейшее ближайшее планирование вывело к размышлениям над дальними перспективами. И вот тут может быть даже будут нужны оценки специалистов, так как в дальних перспективах всё может очень сильно. . .	Горе от ума kumehtar 07.04.2026 Эта мне ментальная установка, что вот прямо сейчас, мол, мне для полного счастья не хватает (нужное вписать), и когда я этого достигну - тогда и полный кайф. Одна из самых сильных ловушек на пути. . . .	Использование значений реквизитов справочника в документе, с определенными условиями и правами Maks 07.04.2026 1. Контроль срока действия договора Алгоритм из решения ниже реализован на примере нетипового документа "ЗаявкаНаРаботу", разработанного в конфигурации КА2. Задача: уведомлять пользователя, если. . .

@fs_x 1 / 1 / 0 Регистрация: 11.10.2012 Сообщений: 24

	Построить базу знаний! 11.10.2012, 18:57. Показов 2823. Ответов 2 Метки нет (Все метки) Помогите решить...у меня что то не получается!.. 0