시험, Prolog로 컴퓨터를 만듭니다.

2888 단어 prologtech
Proog는 1층 술어 논리의 완전성을 버리고 자동 계산을 완전히 조정할 수 있도록 했다.그래서 규칙만 쓰면 계산기를 만들 수 있다.
eval(I,I):-integer(I).
eval(A+B,I):-eval(A,I1),eval(B,I2),I is I1+I2.
:-eval(1+2+3+4,R),writeln(R).
:-halt.
이것만으로 완료할 수 있습니다.

실행하려면 eval.pl의 이름을 붙이십시오
$ swipl eval.pl
10
.
이렇게 Proog은 시험관처럼 간단하게 조작할 수 있어 매우 편리하다.

좋은 웹페이지 즐겨찾기