Важно: Отсечение

@havier · Регистрация: 11.06.2013

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

Напишите программу, которая отобразит все возможные пары между игроками клуба в следующей форме:
tom versus bill
marjory versus annette
Используйте отсечение для гарантии того, например, что tom versus bill и bill versus tom не будут отражены вместе.
Я написал, но препод сказал, что не хватает этого самого отсечения

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
PREDICATES
 
    nondeterm spisok_igrokov 
    nondeterm number(symbol,integer)
 
CLAUSES 
  
    spisok_igrokov:-number(I,X), number(K,Y), X>Y, write("  ", I, "        versus       ",K),nl,fail.
    
    number("Svetlana", 1).
    number("Anna", 2).
    number("Fyodor", 3).
    number("Gleb", 4).
    number("Alex", 5).
    number("Peter", 6).
    number("Maria", 7).
    number("Elena", 8).  
GOAL
    write ("     Table of Tournament     "),nl,nl,
    write ("  Player A                  Player B  "),nl,nl,
    spisok_igrokov.

@Грымзик · 17.12.2013, 00:16

Да тут препод не прав, как раз правильно сравнивать номера, что бы избежать дублирования пар. Я что-то не могу сообразить, как адекватно реализовать эту задачу с отсечением. Только навороченный вариант получился

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
28
29
30
31
32
33
34
35
36
37
38
39
40
PREDICATES
 
    nondeterm number(symbol,integer)
    nondeterm next_pair(integer, integer, integer, integer)
    nondeterm between(integer,integer).
    nondeterm next_number(integer,integer).
    nondeterm min_number(integer).
    nondeterm gen(integer,integer,integer,integer).
    
 
CLAUSES 
   
    number("Svetlana", 1).
    number("Anna", 2).
    number("Fyodor", 3).
    number("Gleb", 4).
    number("Alex", 5).
    number("Peter", 6).
    number("Maria", 7).
    number("Elena", 8).  
    
    %esli nomera ne vse chisla ot 1 do N, a mogut bit i intervali
    between(N,M):-number(_,B), B>N, B<M.
    next_number(N,M):-number(_,M),M>N,not(between(N,M)).
    min_number(N):-number(_,N),not(between(0,N)).
    
    
    next_pair(A, B, NewA, Min):-next_number(B,A),!,
        next_number(A, NewA),min_number(Min).
    next_pair(A, B, A, B1):- next_number(B,B1).
    
    gen(0, 0, A, B):-!,min_number(Min), gen(Min,0,A,B).
    gen(A, B, A1, B1):- next_pair(A,B,A1,B1).
    gen(A, B, A2, B2):- next_pair(A,B,A1,B1),gen(A1,B1,A2,B2).
            
GOAL
    write ("     Table of Tournament     "),nl,nl,
    write ("  Player A                  Player B  "),nl,nl,
    gen(0,0, A,B), number(NameA,A), number(NameB,B),
    write("  ", NameA, "        versus       ",NameB),nl,fail ; true.

@havier · 17.12.2013, 11:38 **[ТС]**

Вот и я не пойму где и что, если брать этот вариант, то это перебор, множество предикатов, правил; в общем препод у меня ещё тот, понять бы что она хочет))

Добавлено через 1 час 40 минут
А если такой вариант, просто не уверен в его правильности или же целесообразности:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
REDICATES
 
    nondeterm spisok_igrokov 
    nondeterm number(symbol)%,integer)
 
CLAUSES 
    spisok_igrokov:-number(I), number(K), I<K, write("  ", I, "        versus       ",K),nl,fail,!.
    
    number("Svetlana").
    number("Anna").
    number("Fyodor").
    number("Gleb").
    number("Alex").
    number("Peter").
    number("Maria").
    number("Elena").
GOAL
    write ("     Table of Tournament     "),nl,nl,
    write ("  Player A                  Player B  "),nl,nl,
    spisok_igrokov.

Добавлено через 3 минуты
А если такой вариант, просто не уверен в его правильности и целесообразности:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
REDICATES
 
    nondeterm spisok_igrokov 
    nondeterm number(symbol)
 
CLAUSES 
  
    spisok_igrokov:-number(I), number(K), I<K, write("  ", I, "        versus       ",K),nl,fail,!.
    
    number("Svetlana").
    number("Anna").
    number("Fyodor").
    number("Gleb").
    number("Alex").
    number("Peter").
    number("Maria").
    number("Elena").  
GOAL
    write ("     Table of Tournament     "),nl,nl,
    write ("  Player A                  Player B  "),nl,nl,
    spisok_igrokov.

Добавлено через 1 минуту
Ааа, извиняюсь за повторение, инет тупит...

@Грымзик · 17.12.2013, 21:59

Смысле нет, все, что после fail, никогда не будет выполняться.

Новые блоги и статьи Все статьи Все блоги /
BOINC: 22 года — и всё ещё работает Programma_Boinc 12.03.2026 BOINC: 22 года — и всё ещё работает Дэвид Андерсон написал ретроспективу. Кратко: в 2001 году он ушёл из United Devices, где был CTO, и за несколько месяцев написал ядро BOINC — клиент, сервер,. . .	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .
Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	17.12.2013, 21:59
	Смысле нет, все, что после fail, никогда не будет выполняться. 1