SWI-Prolog: возвращает все значения, кроме одного

Question

Для следующей программы SWI-Prolog я хочу создать предикат, который возвращает все значения, кроме одного.
Например, вернуть всех мужчин, кроме ahmed.
Как я могу это сделать?

male(ahmed). 
male(mohamed). 
male(ali). 
male(samir). 
male(khalid). 

Answer 1

Не забудьте понять.

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

Я полагаю, что вы можете просто написать

noAhmed(M) :- 
    male(M), 
    M \= ahmed. 

Или вы хотите, предикат, который возвращает список со всеми (не Ahmed) мужскими именами?

В этом случае, вы можете написать

noAhmedList(L) :- 
    findall(M, (male(M), M \= ahmed), L).