Prolog '/ 2'술어 구현

Question

'is/2'Prolog 술어는 어떻게 구현됩니까? 내가

X is 3*4 

이

is(X, 3*4) 

와 동등하지만, 필수 프로그램을 사용하여 구현 술어는 것을 알고? 즉, 구현은 다음 C 코드와 동일합니까?

if(uninstantiated(x)) 
{ 
    X = 3*4; 
} 
else 
{ 
    //signal an error 
} 

또는 선언적 프로그래밍 및 기타 조건부를 사용하여 구현 되었습니까?

Answer 1

Prolog에 따라 다르지만 실제로 구현하면 C 또는 다른 명령형 언어로 더러운 작업이 수행됩니다. is/2의 일부는 순수한 프롤로그에서 시뮬레이션 할 수 있습니다 :

evaluate 산술 식에 대해 알고 큰 조건이다

is(X, Expr) :- 
    evaluate(Expr, Value), 
    (var(X) -> 
     X = Value 
    ; 
     X =:= Value 
    ). 

. 순수 Prolog에서도 큰 부분을 구현하는 방법이 있지만 느리고 아프다. 예 : 당신이 정수를 추가하는 조건이있는 경우, 당신은 그들뿐만 아니라 다음 (바보) 알고리즘을 사용하여 증식 할 수

evaluate(X + Y, Value) :- 
    % even this can be done in Prolog using an increment predicate, 
    % but it would take O(n) time to do n/2 + n/2. 
    add(X, Y, Value). 
evaluate(X * Y, Value) :- 
    (X == 0 -> 
     Value = 0 
    ; 
     evaluate(X + -1, X1), 
     evaluate(X1, Y, Value1), 
     evaluate(Y + Value1, Value) 
    ). 

이 중에이 보장되지 중 실제 또는 올바른; 나는 단지 산수 이이 Prolog에서 구현 될 수있는 방법을 보여줄뿐입니다.

Answer 2

Prolog의 버전에 따라 달라집니다. 예를 들어, CProlog는 C로 쓰여졌 고 (놀랄 것도없이), 모든 내장 술어는 명령형 언어로 구현됩니다.

Answer 3

Prolog는 언어 구문 분석 용으로 개발되었습니다. 그래서, 구문 분석 후

3 + - (4 * 12)/2 + 7 

같은 산술 식을 operator/3 파서의 작업을 안내하는 의미를 제공과 함께, (구문 분석 트리를 나타내는) 단지 프롤로그 용어입니다. 기본 산술 표현식의 경우 용어는

• '-'/2입니다. 부정 (Negation)
• '*'/2, '/'/2. 곱셈, 나눗셈
• '+'/2, '-'/2. 덧셈, 뺄셈

위

'+'('+'(3 , '/'('-'('*'(4,12)) , 2)) , 7) 

'is'/2로 분석 된 샘플 표현 단순히 수행하는 같은 방법으로 RPN을, 오른쪽을 나타내는 거의 각 용어를 평가 파스 트리의 재귀 도보 (역 폴란드 표기법) 계산기가합니다. 해당 표현식이 평가되면 결과가 왼쪽에 통합됩니다.

각 기본 작업 — 덧셈, 뺄셈, 곱하기, 나눗셈 등 —은 기계어로 수행되어야하므로 하루가 끝날 때 일부 기본 작업의 결과를 계산하기 위해 일부 컴퓨터 코드 루틴이 호출됩니다 .

is/2이 전체적으로 원시 코드로 작성되었거나 대부분 프롤로그로 작성되었는지, 아니면 원시 코드로 작성된 리프 작업만으로 구현 여부가 결정됩니다.