Список разбиений Prolog по предикату - как проверить результат предиката?

Question

Я пытаюсь реализовать предикат, который разбивает список целых чисел в двух заданных других предикатах в качестве аргумента. Определение дается следующим образом:

split(P, L, L1, L2), 

где:

P - predicate to split upon 
L - list to split 
L1 - result list of integers that return true on predicate check 
L2 - result list of integers that return false on predicate check 

Я пытаюсь изменить этот код, который разделяет список с закодированными проверить, является ли целое число в вопросе больше/меньше или равно X (это работает):

split(X, [], [], []). 
split(X, [H|T], [H|L1], L2) :- H=<X, split(X, T, L1, L2). 
split(X, [H|T], L1, [H|L2]) :- H>X, split(X, T, L1, L2). 

для целей тестирования, я скопировал предикат из RosettaCode, чтобы проверить, если число четное следующим образом:

even(N) :- 
(between(0, inf, N); integer(N)), 
0 is N mod 2. 

А вот моя модификация кода выше, но она возвращает «Синтаксическая ошибка: Оператор ожидается» на двух последних строках:

split2(P, [], [], []). 
split2(P, [H|T], [H|L1], L2) :- P(H), split2(P, T, L1, L2). 
split2(P, [H|T], L1, [H|L2]) :- \+ P(H), split2(P, T, L1, L2). 

Я думаю, что моя ошибка в проверке, возвращает ли предикат истинным или false, но не может найти подходящего способа сделать это.

EDIT: Забыл добавить свой вызов для этого:

?- split2(even,[2,7,4,8,-1,5],L1,L2) 

Answer 1

Вы не можете называть предикат, как это, вам нужно использовать call:

?- A = between(0,3,1), A. % OK, because A can be evaluated as it is 
A = between(0, 3, 1). 

?- A = between, A(0,3,1). % won't work 
ERROR: Syntax error: Operator expected 
ERROR: A = between, 
ERROR: ** here ** 
ERROR: A(0,3,1) . 
?- A = between, call(A, 0, 3, 1). % OK, using call 
A = between. 

?- A = between(0, 3), call(A, 1). % Partial application 
A = between(0, 3). 

Имейте в виду, что есть уже предикаты библиотеки, которые выполняют именно то, что вам нужно, см. library(apply), особенно. include/3. Вы также должны посмотреть at the implementation, так как он немного отличается от того, что вы делаете, и не оставляет позади точек выбора.

PS: Перестановка аргументов, чтобы входной список был спереди, является первым шагом на пути к тому, чтобы сделать это детерминированным. Вы также должны избавиться от точки выбора, вызванной двумя статьями, с call(P,H) и с \+ call(P,H). Вы можете сделать это с помощью ->, как в библиотеке SWI-Prolog.

Или, может быть, вас не беспокоят точки выбора или вы хотите сделать более общий предикат. Я уверен, что здесь есть решения в Stackoverflow на теге Prolog.