소개

RUN/PROLOG 호환을 목표로 한 N-Prolog를 여가가 있을 때 잠깐 구현하고 있습니다. 현대 Prolog에는 없지만 조금 편리한 카운터 술어를 추가로 구현했습니다. 소개합니다.

내장 술어

이런 것입니다.

□ ctr_dec(Ctr,X)
카운터의 값을 주름 잡고 카운터의 이전 값을 반환합니다.

□ ctr_inc(Ctr,X)
카운터의 값을 증가시키고 카운터의 이전 값을 반환합니다.

□ ctr_is(Ctr,X)
현재 카운터 값을 반환합니다.

□ ctr_set(Ctr,X)
카운터를 지정된 값으로 설정합니다.

사용 예

now_tenof :-
    ctr_set(0,1),
    repeat,
    ctr_inc(0,Y),
    write(Y),nl,
    Y==10.

일종의 전역 변수입니다. 변수는 모두가 국소 변수인 Prolog의 경우, 전역 변수를 원할 때는 assert에 의해 데이터베이스에 등록하고 있었습니다. 이것이라고 대앙이므로 RUN/PROLOG의 독자적인 기능으로서 갖추어져 있던 것입니다.

N-Prolog

옛날을 그리워하고 여가가 있을 때 구현하고 있습니다.
htps : // 기주 b. 코 m / 사사가와 888 / n p로 g