Собрать факты в список

@JackRE · Регистрация: 01.02.2010

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

Есть набор фактов в базе данных вида bone(integer,integer). Нужно собрать их в список вида [bone(0,0),bone(1,0),bone(2,3),....]. Можно ли это сделать с помощью стандартных предикатов?

@Грымзик · 23.03.2012, 18:43

findall

@JackRE · 23.03.2012, 18:44 **[ТС]**

findall же может собрать только по одной переменной, а мне нужен список фактов целиком

@Грымзик · 23.03.2012, 18:51

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
domains
  bone=bone(integer,integer).
  bones=bone*
 
database
bone(integer,integer).
 
predicates
nondeterm b(bone)
 
clauses
bone(1,1).
bone(0,1).
bone(1,0).
 
b(bone(X,Y)):-bone(X,Y).
 
goal
findall(A,b(A),List).

@JackRE · 23.03.2012, 18:54 **[ТС]**

Грымзик, благодарю!

Новые блоги и статьи Все статьи Все блоги /
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(), которая. . .

@JackRE 10 / 8 / 0 Регистрация: 01.02.2010 Сообщений: 117

	Собрать факты в список 23.03.2012, 16:24. Показов 3042. Ответов 4 Метки нет (Все метки) Есть набор фактов в базе данных вида bone(integer,integer). Нужно собрать их в список вида [bone(0,0),bone(1,0),bone(2,3),....]. Можно ли это сделать с помощью стандартных предикатов? 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	23.03.2012, 18:43
	findall 0

@JackRE 10 / 8 / 0 Регистрация: 01.02.2010 Сообщений: 117
	23.03.2012, 18:44 [ТС]
	findall же может собрать только по одной переменной, а мне нужен список фактов целиком 0

@JackRE 10 / 8 / 0 Регистрация: 01.02.2010 Сообщений: 117
	23.03.2012, 18:54 [ТС]
	Грымзик, благодарю! 0