Prolog：比较列表中的数字

Question

我有这个数字块：

num(1).
num(-2).
num(5).
num(50).
num(-3).
num(87).

我应该创建一个给定数字的函数，它应该检查该数字是否是上面给出的数字“列表”中最小的。

例如：

not_smallest(5).
true.

not_smallest(X).
X = 1 ;
X = -2 ;
X = 5 ;
X = 50 ;
X = 87.

我的想法是用上面的数字块制作一个列表，并将给定的数字与列表的所有元素进行比较。 但是每当我尝试加载 .pl 文档时，我都会收到此错误：

Syntax error: Operator expected

到目前为止我所做的是：

%increments the index of a List

incr(X, X1) :-
    X1 is X + 1.

%L-list containing "list" of numbers, N - elements of that "list",
I-index , C-number X is going to be compared to, X- number to compare.

 nao_menor(X) :-
    findall(N, num(N), L),
    num(X),
    I is 0,
    nth0(I, L, C),
    X =< C,
    incr(I,I).

Answer 1

我们开始吧：

not_smallest(N) :-
   num(N),
   \+ \+ (num(M), M < N).

OP 给出的示例查询：

?- not_smallest(5).
true.

?- not_smallest(X).
  X =  1
; X = -2
; X =  5
; X = 50
; X = 87.