Turbo prolog. Вывести смежные элементы списка

Формулировка задачи:

Вывести Х и У - смежные элементы элемента b в списке m,b,o,p,v

                    Листинг программы
                
 
                        
                          
                    
Domains
    List = symbol*
    Element = char
Predicates
    conc(List,List,List)
    res (Element,Element)
Clauses
    write(X,Y):-res(X,Y).
    res(X,Y):-conc(_,[X,b,Y],[m,b,o,p,v]).

Мой hello word. Подскажите что сделал не так.

Решение задачи: «Turbo prolog. Вывести смежные элементы списка»

Листинг программы

Domains
    list = symbol*
    element = char
Predicates
    conc(list,list,list)
    res (element,element)
Clauses
    write(X,Y):-res(X,Y).
    res(X,Y):-conc(_,[X,b,Y],[m,b,o,p,v]).

Объяснение кода листинга программы

Домены:
- **list = symbol*** - список, состоящий из любых символов
- element = char - элемент списка, являющийся символом
Предикаты:
- conc(list,list,list) - рекурсивный предикат, объединяющий список элементов в одну строку
- res(element,element) - предикат, проверяющий, является ли элемент символом
Клаузы:
- write(X,Y):-res(X,Y). - выводит на экран элементы списка X и Y
- res(X,Y):-conc(_,[X,b,Y],[m,b,o,p,v]). - проверяет, является ли элемент символом, и рекурсивно вызывает предикат conc для объединения элементов списка В данном коде реализован алгоритм вывода смежных элементов списка. Для этого используется рекурсивный предикат conc, который объединяет элементы списка в одну строку. Затем с помощью предиката res проверяется, является ли элемент символом. Если это так, то с помощью предиката write элементы списка выводятся на экран.