Prolog - Ran in a issue

Question

minu('-'). 
minu('+'). 
minu('/'). 

f(A):- 
    atom_chars(A,X), 
    write(X), 
    fun(X). 

fun([]). 

fun([A]):- 
    not(minu(A)). 

fun([Hd|Tail]):- 
    not(minu(Hd)), 
    fun(Tail). 

Я пытаюсь сделать функцию «f», которая берет строку и возвращает True, если «-», «+» или «/» в ней нет.

Но как только я использую рекурсивный вызов. Он просто возвращает false.

EDIT ::

РЕШЕНИЕ НАЙДЕНО ::

Спасибо, Lurker ... И спасибо, Даниэль Лайонс ... Я извиняюсь это был длинный день обучения Пролог ... I должен поспать.

f(A):- 
atom_chars(A,X), 
write(X), 
fun(X). 

fun([]). 

fun([A]):- 
not(minu(A)). 

fun([Hd|Tail]):- 
not(minu(Hd)), 
fun(Tail). 

Answer 1

Я хотел бы попробовать это:

minu('-'). 
minu('+'). 
minu('/'). 

f(A) :- 
    atom_chars(A, Chars), 
    \+ (minu(Op), memberchk(Op, Chars)). 

Кстати, важно отметить, что Пролог не будет «возвращать» ничего; это будет либо сказать вам true или false если цель успешно или нет, так что, например:

?- f("this is a string"). 
true. 

?- f("this i-a string"). 
false. 

?- f("this i+a string"). 
false.