-1
Я хочу проверить, является ли переменная, скажем X, предикатом формы add (). Как проверить, верно ли это? X == add () не работает, и X не добавляет (_). Как я могу достичь такого сравнения?Сравнение переменной и предиката в Prolog
Это было бы легче, если бы вы предоставили некоторый контекст. –
Вы немного угадываете, не просматривая документацию, для чего нужны '==/2' и' is/2'. Есть ли какое-либо ограничение на то, что аргументы 'add' у меня есть? Это неясно в вашем вопросе. Если строго один аргумент, вы можете использовать' X = add (_) '. Если это произвольно, вы можете использовать оператор '= ..', X = .. [add | _] '. Если вам нужен хотя бы один аргумент, тогда 'X = .. [add, _ | _]'. – lurker
В моем контексте в качестве параметра добавляется один список. Вот почему я попробовал 'X == add (_)'. Однако это не работает. Любые альтернативы? –