[Programming Language Theory] Logical Language | 논리형 언어

Logical Language (Declarative Language)

논리형 언어 (선언적 언어)

- 기호 논리학에 근거한 언어이다.

Ex. Prolog Code

gcd(U, V, U) :- V=0.
gcd(U, V, X) :- V>0,
    Y is U mod V,
     gcd(V, Y, x).

- 유클리드 호제법에 근거한 코드이다.