Интерпретировать код от Prolog под SWI-Prolog

@gothboymet · Регистрация: 21.04.2020

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

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
country = symbol
 
predicates
euro_pair(country,country) /* пары стран */
border(country,country) /* пара стран с общей границей */
find_non_border_pair /* пара стран без общей границы */
 
clauses
/* факты - пары для четырёх стран */
euro_pair("France","Germany").
euro_pair("France","Spain").
euro_pair("France","Italy").
euro_pair("Germany","Spain").
euro_pair("Germany","Italy").
euro_pair("Spain","Italy").
 
/* пары стран с общей границы */
border("France","Germany").
border("France","Spain").
border("France","Italy").
 
/* правило - пара стран не имеет общей границы, если существует вообще такая пара и этой пары не в списке пар с общей границей */
find_non_border_pair :- euro_pair(X,Y), not(border(X,Y)), write("No border ",X," with ",Y),nl.
 
goal
find_non_border_pair.

@arlat · 21.04.2020, 16:23

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
:- set_prolog_flag(double_quotes, string).
 
/* факты - пары для четырёх стран */
euro_pair("France","Germany").
euro_pair("France","Spain").
euro_pair("France","Italy").
euro_pair("Germany","Spain").
euro_pair("Germany","Italy").
euro_pair("Spain","Italy").
 
/* пары стран с общей границы */
border("France","Germany").
border("France","Spain").
border("France","Italy").
 
/* правило - пара стран не имеет общей границы, если существует вообще такая пара и этой пары не в списке пар с общей границей */
find_non_border_pair :- euro_pair(X,Y), not(border(X,Y)), writef("No border %w with %w\n", [X,Y]), fail ; true.
 
:- find_non_border_pair.

border

Новые блоги и статьи Все статьи Все блоги /
Автозаполнение реквизита при выборе элемента справочника Maks 27.03.2026 Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. При выборе "Спецтехники" (Тип Справочник. Спецтехника), заполняется. . .	Сумматор с применением элементов трёх состояний. Hrethgir 26.03.2026 Тут. https:/ / fips. ru/ EGD/ ab3c85c8-836d-4866-871b-c2f0c5d77fbc Первый документ красиво выглядит, но без схемы. Это конечно не даёт никаких плюсов автору, но тем не менее. . . всё может быть. . .	Автозаполнение реквизитов при создании документа Maks 26.03.2026 Программный код из решения ниже размещается в модуле объекта документа, в процедуре "ПриСозданииНаСервере". Алгоритм проверки заполнения реализован для исключения перезаписи значения реквизита,. . .	Команды формы и диалоговое окно Maks 26.03.2026 1. Команда формы "ЗаполнитьЗапчасти". Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. В качестве источника данных. . .
Кому нужен AOT? DevAlt 26.03.2026 Решил сделать простой ланчер Написал заготовку: dotnet new console --aot -o UrlHandler var items = args. Split(":"); var tag = items; var id = items; var executable = args;. . .	Отправка уведомления на почту при изменении наименования справочника Maks 24.03.2026 Программная отправка письма электронной почты на примере изменения наименования типового справочника "Склады" в конфигурации БП3. Перед реализацией необходимо выполнить настройку системной учетной. . .	модель ЗдравоСохранения 5. Меньше увольнений- больше дохода! anaschu 24.03.2026 Теперь система здравосохранения уменьшает количество увольнений. 9TO2GP2bpX4 a42b81fb172ffc12ca589c7898261ccb/ https:/ / rutube. ru/ video/ a42b81fb172ffc12ca589c7898261ccb/ Слева синяя линия -. . .	Midnight Chicago Blues kumehtar 24.03.2026 Такой Midnight Chicago Blues, знаешь?. . Когда вечерние улицы становятся ночными, а ты не можешь уснуть. Ты идёшь в любимый старый бар, и бармен наливает тебе виски. Ты смотришь на пролетающие. . .

Интерпретировать код от Prolog под SWI-Prolog

Решение