Подсчет количества определенных символов в строке. В чем ошибка?

@E123 · Регистрация: 21.06.2013

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

Есть задание: Подсчитать число определенных символов в строке. Определил предикат char_count и вспомогательный предикат frontchar на языке swi-prolog.

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
frontchar('', '', ''):-!.
frontchar(S, H, T):-
    sub_string(S, 0, 1, _, H),
    string_length(S, L),
    L1 = L-1,
    sub_string(S, 1, L1, _, T).
 
char_count("",_,0).
char_count(S,C,N):-
    frontchar(S,C,S1),!,
    char_count(S1,C,N1),
    N is N1+1.
char_count(S,C,N):-
    frontchar(S,_,S1),
    char_count(S1,C,N).

Задаю вопрос системе и получаю ошибку:
1 ?-
| char_count(sdasd,d,X).
ERROR: sub_string/5: Type error: `integer' expected, found `5-1'
2 ?- char_count("sdasd",d,X).
ERROR: sub_string/5: Type error: `string' expected, found `[115,100,97,115,100]'
Exception: (6) char_count([115, 100, 97, 115, 100], d, _G1526) ?
Кто знает, в чем ошибка?

@rrrFer · 09.07.2013, 19:44

тут всюду ошибка. Строки в СВИ обрабатываются иначе, ам вобще ненужен frontchar, вместо это используется разделение списка (строка - список) на голову и хвост.

'' - это строка СВИ, которую не так просто разбить, зачем с ней мучиться?
"" - тоже самое что []
L1 = L-1, - при этом в L1 будет записано выражение, а не значение (текст ошибки об этом и гласит).

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .	SDL3 для Android: Загрузка PNG с альфа-каналом с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .

@rrrFer Заблокирован
	09.07.2013, 19:44
	тут всюду ошибка. Строки в СВИ обрабатываются иначе, ам вобще ненужен frontchar, вместо это используется разделение списка (строка - список) на голову и хвост. '' - это строка СВИ, которую не так просто разбить, зачем с ней мучиться? "" - тоже самое что [] L1 = L-1, - при этом в L1 будет записано выражение, а не значение (текст ошибки об этом и гласит). 0