Вопрос о сопоставлении Пролога

Question

Я новичок в прологе и пытаюсь подобрать что-то вроде этого:

правило (бла переменная, ...).

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

Answer 1

Если вы используете SWI, вы можете использовать atom_concat / 3:

rule(X, ....):-
  atom_concat(blah, Y, X),
   ...

например: предположим, что X = бла atom_concat (бла, Y, X) будет создавать экземпляр Y с чем-то другим. Обратите внимание, что atom_concat работает только с атомами.