Подскажите, пожалуйста, как будет выглядеть следующая конструкция на Racket с использованием racklog:
любит(саша, аниме).
любит(саша, racket).
любит(маша, X) :- любит(саша, X).

С предикатами я вроде разобрался, получилось:

 

(require racklog)

(define likes

  (%rel ()

        [('sasha 'anime)]

        [('sasha 'racket)]))

 

А вот правило никак не получается оформить в коде, поэтому просьба помочь. Заранее спасибо за помощь.

misha, огромное Вам спасибо. Я смотрел описание модуля по первым главам, оказалось, что надо было заглянуть и в "Glossary of Racklog Primitives". Наверное, без Вашей помощи так бы и не догадался.
А можно ещё задать Вам пару вопросов:

 

(define (find name)

  (%find-all (what)

             (likes name what)))

 

(define (fun arg)

  (if (null? arg)

      '()

      (if (not (car arg))

          '()

          (cons (cdaar arg) (fun (cdr arg))))))

 

В результате:

 

> (find 'masha)

'(((what . anime)) ((what . racket)))

> (fun (find 'masha))

'(anime racket)

> (find 'pasha)

'(#f)

> (fun (find 'pasha))

'()

 

Собственно вопрос: достаточно ли "грамотно" написана функция fun, преобразующая полученную конструкцию в "обыкновенный" список?
И совсем глупый вопрос: как Вы меняете раскладку в Racket 5.1? Потому что, перейдя с версии 5.0.3, я обнаружил, что такая возможность куда-то улетучилась. :-(

Ещё раз спасибо за ответ и потраченное на меня время. Как Вы элегантно включили в такой маленький код столько новых и интересных особенностей (или возможностей, не знаю, как лучше выразиться) - не передать словами! Может, для Вас всё элементарно, но у меня появился повод в них разобраться. :-)
> Еще необходимо учитывать структуру списка возвращаемого %find-all. Как Вы думаете зачем дополнительные скобки '((what . anime))?
В приципе, догадываюсь. Могут быть дополнительные пары "переменная-значение", если моя терминология уместна. Например:

 

> (%find-all (who what)

             (любит who what))

'(((who . саша) (what . аниме)) ((who . саша) (what . racket)) ((who . маша) (what . аниме)) ((who . маша) (what . racket)))

 

Но я не планирую учитывать такие сложности в текущий момент.
> Зачем создаю собственное исключение, надеюсь, Вам понятно?
Честно говоря, нет, даже сама природа исключений мне не ясна. Но это уже мои проблемы и думаю, что если внимательно(!) прочитаю соответствующий раздел в документации, то разберусь с данным вопросом.
Ещё раз хочу поблагодарить за оказанную помощь.

%not возвращает либо %true, либо %false. Поэтому простейший выход без перебора всех фактов:

(define (good who)

  (likes who 'racket))

> ни %and, ни %or не вычисляются и вообще не возвращают ничего, а как-то хитро обрабатываются, поэтому и удаётся вытащить значение переменной в результирующий список.
Ну, так это же макросы

> Сделал, как Вы предложили, хоть и жаль, что если фактов много, то придётся очень многие из них таким образом перечислять.
Извиняюсь за тупость На самом деле все очень просто

#lang racket

 

(require racklog)

 

(define любит

  (%rel ()

        [('Петя 'racket)]

        [('Паша 'anime)]

        [('Даша 'php)]

        [('Паша 'php)]

        [('Саша 'racket)]))

 

(define (плохой кто)

  (%or (любит кто 'anime) (любит кто 'php)))

 

(define (хороший кто)

  (%and (любит кто (_))

        (%not (плохой кто))))

 

> (%find-all (кто) (хороший кто))

'(((кто . Петя)) ((кто . Саша)))

> Даже стыдно, что я могу лишь такими заурядными словами выразить благодарность за чуть ли не за меня разобранный Racklog.
А Вы можете расписать по шагам как обрабатывается конъюнкция в предикате "хороший"?

> Поскольку %not отличается от макроса %and по своей природе, поэтому приходится хитрить с дополнительным предположением, чтобы запомнить имя.
Смотрите, вот эквивалентный код на Прологе:

любит(петя, racket).

любит(паша, anime).

любит(даша, php).

любит(паша, php).

любит(саша, racket).

 

плохой(Кто) :-

	любит(Кто, anime);

	любит(Кто, php).

 

хороший1(Кто) :-

	not(плохой(Кто)).

 

хороший2(Кто) :-

	not(плохой(Кто)),

	любит(Кто, _).

 

хороший3(Кто) :-

	любит(Кто, _),

	not(плохой(Кто)).

 

Найдите ошибочные предикаты и объясните в чем ошибка. Но перед этим разберитесь с бэктрекингом.
Справка: "," эквивалентна %and, а ";" - %or.

> misha, если Вы не против, то можно и на ты.
Ok

> Надеюсь, что я всё же не сильно ошибаюсь.
Трейсинг предикатов:

[debug] 16 ?- хороший1(Кто).

 T Call: (6) хороший1(_G496)

 T Fail: (6) хороший1(_G496)

false.

 

[debug] 18 ?- хороший2(Кто).

 T Call: (6) хороший2(_G496)

 T Fail: (6) хороший2(_G496)

false.

 

[debug] 19 ?- хороший3(Кто).

 T Call: (6) хороший3(_G496)

 T Exit: (6) хороший3(петя)

Кто = петя ;

 T Exit: (6) хороший3(саша)

Кто = саша.

Racklog создан на основе Пролога, так что не стоит удивляться таким результатам

P.S. Тогда я хотел сократить рассуждения, а в итоге белиберда получилась

хороший1(Кто) :-

	not(плохой(Кто)).

Ищем "плохиша" и если он найден, тогда предикат not возвращает fail.

хороший2(Кто) :-

	not(плохой(Кто)),

	любит(Кто, _).

По аналогии с первым.

Как ты уже знаешь, предикат может состоять из нескольких правил, выполняющихся по очереди. Кстати, %or - это всего лишь удобная форма записи составного предиката. Если одно из тел предиката вернет fail(неудачу), то в дело вступает следующее тело составного предиката. Отсечение используется чтобы ограничить поиск текущим телом.
Например,

 

not(X) :-

          X, !, fail;

          true.

Если бы мы не использовали отсечение предикат возвращал бы всегда true.

> На мой взгляд, сброс переменных и пустой стек из первоначального варианта сообщения лучше объясняли ошибку первых двух предикатов.
Тогда я слил все в одну кучу Просто в случае неудачи происходит сброс переменных, а про стек и бэктрекинг я отпишусь чуть позже.

Рассмотрим трэйсинг предиката хороший2, задав системе вопрос

?- хороший2(X).

[trace] 10 ?- хороший2(X).

   Call: (6) хороший2(_G464) ? creep

^  Call: (7) not(плохой(_G464)) ? creep

   Call: (8) плохой(_G464) ? creep

   Call: (9) любит(_G464, anime) ? creep

   Exit: (9) любит(паша, anime) ? creep

   Exit: (8) плохой(паша) ? creep

^  Fail: (7) not(user:плохой(_G464)) ? creep

   Fail: (6) хороший2(_G464) ? creep

false.

Число в круглых скобках означает глубину абстрактного системного стека возвратов. Обозначим его R, а специальный (используемый в поиске) стек возвратов S.

   Call: (6) хороший2(_G464)

Вызов функции(предиката) с неконкретизированной переменной _G464.

^  Call: (7) not(плохой(_G464))

   Call: (8) плохой(_G464)

   Call: (9) любит(_G464, anime)

Последовательно задаем вопросы.

   Exit: (9) любит(паша, anime)

   Exit: (8) плохой(паша)

Система возвращает первый найденный факт удовлетворяющий условию любит(_G464, anime), поэтому _G464 конкретизирована (_G464 = паша).

^  Fail: (7) not(user:плохой(_G464))

Т.к. предыдущий результат true, поэтому not возвращает fail. Следовательно, система считает, что "паша" ей не подходит, потому значение _G464 сбрасывается, точнее _G464 расконкретизируется.

   Fail: (6) хороший2(_G464)

Т.к. предыдущий результат fail и стек S пуст, и следующее правило отсутствует(предикат хороший2 не является составным), поэтому система считает, что поиск завершен неудачно.

Как будет себя "вести" предикат хороший2, если в базе отсутствуют "плохиши"?

misha, ты просто КОЛОССАЛЬНУЮ работу проделал, таким образом проиллюстрировав внутренние механизмы Пролога! И чтобы не повторяться, скажу: ОНТОНИ АРИГАТО.
> Как будет себя "вести" предикат хороший2, если в базе отсутствуют "плохиши"?
Я думаю, он выдаст список из всех имеющихся в базе фактов людей. Наверное, это единственный случай, когда он вернёт то, что от него ожидают.
Чтобы не быть голосословным, попытаюсь показать, как я себе представляю его "поведение" (благо имеются примеры, на которые можно ориентироваться):

 

[trace] 10 ?- хороший2(X).

   Call: (6) хороший2(_G464) ? creep

^  Call: (7) not(плохой(_G464)) ? creep

   Call: (8) плохой(_G464) ? creep

   Call: (9) любит(_G464, anime) ? creep

   Fail: (9) любит(_G464, anime) ? creep

   Call: (9) любит(_G464, php) ? creep

   Fail: (9) любит(_G464, php) ? creep

   Fail: (8) плохой(_G464) ? creep

^  Exit: (7) not(user:плохой(_G464)) ? creep

   Call: (7) любит(_G464, _G533) ? creep

   Exit: (7) любит(петя, racket) ? creep

   Exit: (6) хороший2(петя) ? creep

X = петя ;

   Redo: (7) любит(_G464, _G533) ? creep

   Exit: (7) любит(паша, neanime) ? creep

   Exit: (6) хороший2(паша) ? creep

X = паша ;

   ...

 

Поиск возобновляется с вычисления subgoal любит(Кто, _), поскольку из стека достаётся соответствующий указатель. В случае с предикатом хороший3 поиск повторялся с самого начала составного предиката, т.е. с разрешения любит(Кто, _), так как (not ...) ничего со стеком не сделал.
Я всё к тому, что кажется, благодаря вышеизложенным комментариям трейсинга, мне стала ясна суть backtracking'а.

Например, есть предикат (%and g1 g2). Первый subgoal разрешился - в стек помещается указатель, переходим ко второму. Он тоже разрешается - в стек опять помещается указатель. Сперва работаем с указателем для второго subgoal, поскольку ничего другого из стека взять нельзя, а уже когда до конца прошлись по базе фактов с его помощью, только тогда достаём и инкрементируем то, что было помещено раньше.

> Как можно сделать поиск более эффективным?
Используя только уже разобранные примитивы? Не используя всякие %set-of и не создавая новых предикатов, например, любим(язык, кем)?

То есть сделать что-то по аналогии с GROUP BY, а потом использовать предикат хороший3? Так ведь получится, что предикат будет применяться к совершенно другой структуре, нежели та, на которую он был рассчитан, значит, надо воспользоваться новым. Кажется, я излагаю такие же рассуждения, как и в ответе на вопрос, какой предикат ошибочен.

Я ожидал, что будет какой-нибудь фокус с преобразованием базы фактов, так сказать, "на лету", а тут даже задача упростилась.
Вот что придумал в итоге:

 

(define (плохой кто)

  (%let (что) 

        (%and (любит кто что) 

              (%or (%member 'php что) (%member 'anime что)))))

(define (хороший кто)

  (%and (любит кто (_)) (%not (плохой кто))))

 

Предикат хороший даже остался без изменений. Единственное - смущает повторение предиката любит, только никаких идей нет, как избежать этого. Хотя бы правильное направление решения выбрал?

> Единственное - смущает повторение предиката любит, только никаких идей нет, как избежать этого.
> Можешь написать функцию конвертирующую старую базу данных в новую.
Я имел в виду, что в предикате хороший сперва вычисляется (любит кто (_)), а потом (любит кто что) уже в составе предиката %not.

> Короче, если (%member 'php что) = %true, то поиск возобновится с (%member 'anime что), а не сначала.
Именно поэтому и дублируется Паша.