[Wolfram Mathematica] Логическое программирование

[dark_elf]

Добрый день

Есть следующий вопрос:

Википедия говорит что в языке Wolfram есть логическая парадигма программирования (как в Prolog).

Никто не поделится примером (сам не нашёл)?

[dark_elf]

Сам себе отвечу что что-то такое нашёл здесь:

http://library.wolfram.com/infocenter/MathSource/809/