프롤로그에서 문자열을 숫자로 변환

Question

여기 원자를 문자열로 변환하려고하는 간단한 프로그램이 있습니다. 이 경우 atom_number을 사용했습니다.

코드 -

min(P1, P2) :- 
    atom_number(P1, L1), 
    atom_number(P2, L2) 
    L1 > L2 -> 
    (
     writeln('L2 id min'), 
     writeln(L2) 
    ); 
    L1 < L2 -> 
    (
     writeln('L1 is mean'), 
     writeln(L1) 
    ). 

내가 파일을 실행할 때 -

swipl -s p1.pro 
1 ?- min('12','13'). 
ERROR: </2: Arguments are not sufficiently instantiated 

유사 내가 입력 매개 변수의 데이터 유형을 알고 싶다면? atom(L1), number(N2) 같은 것을 제외하고?

Answer 1

여기에 if-then-else 구조를 사용하는 것이 문제입니다. 원자 대 숫자로의 변환은 첫 번째 if-part의 일부일뿐입니다. 성공하면 술어도 성공합니다. 예 :

?- ?- min('13','12'). 
L2 id min 
12 
true. 

그러나 첫 번째 if 부분이 실패하면 두 번째 if 부분이 평가됩니다. 그러나 이는 원자 대 숫자로의 변환이없는 부등호 L1 < L2으로 구성됩니다.

은 if-당시 다른 구조하기 전에 변환을 배치 할 수있는 솔루션입니다 : 이제

min(P1, P2):- 
    atom_number(P1, L1), 
    atom_number(P2, L2), 
    ( L1 > L2 
    -> writeln('L2 id min'), 
     writeln(L2) 
    ; L1 < L2 
    -> writeln('L1 is mean'), 
     writeln(L1) 
). 

는 당신이 얻을 :

?- min('12','13'). 
L1 is mean 
12 
true.