Перевод программа из LISP в PROLOG

@aggelqt · Регистрация: 18.12.2012

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

Здравствуйте, форумчане. Возникла задача написать программу на двух языках (LISP, PROLOG).
Задание: дан шаблон строки с использованием символов '?' и '*'. Где '?' - любой символ, '*' повтор символа, стоящего перед ней. Получилось написать программу на LISP, c PROLOG возникли трудности. Прошу помощи в этом нелегком деле.

Lisp
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
(setq l '(#\b #\b #\b #\c #\c #\c #\a #\c  ))
(setq s '(#\b #\* #\c #\* #\a #\?))
 
(defun megaSuper (s l)
(COND
        ((and (NULL l) (NULL s))T)
        ((NULL l) nil)
        ((NULL s) nil)
        (T
            (if
                (CHAR= (car s) #\? )
                (megaSuper (cdr s) (cdr l))
                (if
                    (CHAR= (car(cdr s)) #\* )
                    (megaSuper (cdr(cdr s)) (super (car s) l ))
                    (if
                        (CHAR= (car s) (car l) )
                        (megaSuper (cdr s) (cdr l))
                        nil
                    )
                )
            )
        )
    )
)
 
(DEFUN super (smbl lst)
    (COND
    ((NULL lst) ())
    (T
        (if
            (CHAR= smbl (car lst))
            (super smbl (cdr lst))
            lst
        )   
    )
    )
)

@rrrFer · 18.12.2012, 23:13

комбинации ** или ?* поди тоже должны работать - первая бессмысленная, но все равно затруднит, а вторая - повтор любого символа - Тоже затруднит...

Добавлено через 6 минут

Prolog
1
2
3
4
5
p(_, [], []).
p(C, ["*"|T1], [C|T2]):-
  p(C, T1, T2).
p(_, ["?"|T1], [C|T2]):-
  p(C, T1, T2).

не проверял, может не работать, но понять можно.
первый символ надо отдельно обработать(первый аргумент правила p), он не должен быть звездочкой

@aggelqt · 19.12.2012, 00:24 **[ТС]**

rrrFer, Спасибо за помощь. Попробую переписать.

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
domains
    list = char*
    
predicates
    search (list, list).
    skip (list,list).
 
clauses
search([],[]):-write("True"). /* Пустые строки равны */    
 
search([X|T],[X|T1]):-   
    search(T,T1).   /* Проверить оставшиеся */
    
search([_|T],[Zv|T1]):-  /* Найден знак вопроса */
    '?'=Zv,
    search(T,T1).   
    
search([_|T],[Zv|T1]):-
    '*'= Zv,     /* Найден символ звездочка */
    skip(T,T1).
    
search([X|T],[X2|T1]):-
    X<>X2,   /* Найден символ звездочка */
    write("False"),!.   
 
skip(_,[]). /* В маске элементов больше нет*/
skip ([X|T],[X|T1]):- search(T,T1). /* Найден символ, совпадающий с символом маски */
skip([_|T],T1):-skip(T,T1). /* Пропуск символов в соответствии   со звездочкой в маске    */
 
goal
    search(['b','b','a','k','b'],['b','*','k','?']).

Пока получился данный код. Но здесь учитывается звездочка, как произвольный набор символов. Не реализовано повторение

@rrrFer · 19.12.2012, 20:03

Попробую переписать.

отпишись о результатах

в моем коде замени двойные кавычки на одинарные для своего list = char*

Добавлено через 2 минуты

Prolog
1
2
pp(['*'|_], _):-!, fail.
pp([C|T], L):- p(C, T, L).

а это тебе тот самый предикат для проверки первого символа

@aggelqt · 19.12.2012, 21:35 **[ТС]**

rrrFer, Не пришлось исправлять, программа была принята в таком виде. Только вопрос возник. Почему программа корректно обрабатывает шаблон bababa на маске b*a. Думал skip ([X|T],[X|T1]):- search(T,T1). в этой части мы пошлем в основную функцию шаблон aba и маску a

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip	Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью
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-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .

@aggelqt 0 / 0 / 0 Регистрация: 18.12.2012 Сообщений: 4
	19.12.2012, 21:35 [ТС]
	rrrFer, Не пришлось исправлять, программа была принята в таком виде. Только вопрос возник. Почему программа корректно обрабатывает шаблон bababa на маске b*a. Думал skip ([X\|T],[X\|T1]):- search(T,T1). в этой части мы пошлем в основную функцию шаблон aba и маску a 0