Нужно записать сказку "Репка" на языке предикатов

[Сципион]

Как это сделать?

Посадил дед репку.
Выросла репка большая-пребольшая.
Пошел дед репку рвать: тянет-потянет, вытянуть не может!
Позвал дед бабку:
бабка за дедку,
дедка за репку - тянут-потянут, вытянуть не могут!

Позвала бабка внучку:
внучка за бабку,
бабка за дедку,
дедка за репку - тянут-потянут, вытянуть не могут!

Позвала внучка Жучку:
Жучка за внучку,
внучка за бабку,
бабка за дедку,
дедка за репку - тянут-потянут, вытянуть не могут!

Позвала Жучка кошку:
кошка за Жучку,
Жучка за внучку,
внучка за бабку,
бабка за дедку,
дедка за репку - тянут-потянут, вытянуть не могут!

Позвала кошка мышку:
мышка за кошку,
кошка за Жучку,
Жучка за внучку,
внучка за бабку,
бабка за дедку,
дедка за репку - тянут-потянут, - вытянули репку!

[Тирца]

так можно добавлять текст, или надо просто заменить имеющиеся слова на модаальные, но при этом схожие по размеру? В чем вообще сложность?

[Тирца]

или имеются в виду математические предикаты?

[Сципион]

или имеются в виду математические предикаты?

Да:) Я забыл сказать:)

Сложность в том, что это нужно сделать как можно быстрее. Человек сидит на семинаре:))

[Susan Sto Helit]

ВЫТЯНУЛИ(a,b,c,d,f,g)

где a,b,c,d,f,g - любые дед, бабка, внучка, собака, кошка и мышка, а М - множестко сказочных персонажей

Но не красиво получается с таким большим количеством переменных...

[Тирца]

Да:) Я забыл сказать:)

Сложность в том, что это нужно сделать как можно быстрее. Человек сидит на семинаре:))
ой, тогда все сложно:)

[Susan Sto Helit]

если чё, то я только что впервые в википедии прочитала что такое предикаты :001: :004: