PC 불필요! 스마트폰에서 시작하는 Prolog

드디어 올해도 시작되었습니다 Prolog Advent Calnder 2014.

올해의 Advent Calender 첫회는, 소지의 스마트폰등으로부터, 곧바로에서도 Prolog 를 시험하는 방법을 소개하고 싶습니다.

Prolog 라고 하는 프로그래밍 언어에 익숙하지 않은 분도 이것을 기회에 접해 봐서는 생각합니다.

온라인으로 사용한다면 Ideone.com을 추천합니다.

인터넷에 연결할 수 있다면 먼저 이데오. 작은 m을 사용해 보는 것이 좋습니다.

즉시 시도해 봅시다.

아래를 보면 「Java」등이라고 쓰여진 면요한 버튼이 있으므로, 그것을 눌러…



재밌게 "Prolog(swi)"를 누릅니다.



그리고는, 당신은 아래와 같이 /* your code goes here */ 상하 부근에 Prolog의 소스 코드를 써 가면 됩니다.



쓰기가 끝나면 "Run"이라는 기계 버튼을 누르십시오!



했어!

화면이 바뀌어 아래와 같이 stdout 라는 곳에 수수께끼의 문자열이 나타나면 성공입니다!



이것으로 당신도 Prolog 프로그래머의 동료입니다.

친구에게 「나는 Prolog 의 프로그램을 짜 한 적이 있다」라고 말했을 때의 상대의 얼굴을 상상해 보는 것도 좋을지도 모르겠네요.

실행 결과 만보고 싶은 당신을 위해 위에서 만든 작은 프로그램을 Ideone에 업로드했습니다.

이 방법은, iOS(iPhone)나 Android, PC에서도 인터넷마저 연결되어 있으면, 시험할 수 있습니다. 편리한 서비스군요.

조심하세요

다만, 상기의 방법에서는, 인터넷이나 서적에서 보이는 「대화적인」코드를 그대로 실행하기 어렵기 때문에, 조금 궁리가 들어갑니다.

예를 들어, 다음과 같이 대화식으로 입력하는 예가 맞으면,

?- 人間(X).

이데오. 작은 m 에서는 다음과 같이 해야 합니다.

/* your code goes here */
人間(X), writeln(X), fail; 
true.

아니면 아래에서도 괜찮을 것입니다.

:- 人間(X), writeln(X), fail; true.

【여담】 Android에서는

Android 한정이지만 Jekejeke Prolog 라는 앱을 발견했습니다.
이 경우 인터넷에 연결되어 있지 않은 환경에서도 사용할 수 있습니다.

또한 대화식으로 입력할 수도 있습니다.

원래 Prolog 란 무엇입니까?

Prolog 란 무엇입니까? 우주란? 그리고 우리의 존재 의의란?
그렇게 생각한 것은 당신뿐이 아닙니다.
저도요. 안심하세요.

당신이 선문답을 피하고 싶다면 Wikipedia Prolog 항목이 도움이 될 것이라고 확신합니다.

논리형 언어로서의 Prolog의 입장, 그리고 그 역사, 인류의 미래 등의 화제는 Wikipedia 에 맡기고, 여기는 다음으로 진행하고 싶습니다.

놀랍게도, 이 충실한 Wikipedia 기사 는 Prolog 경력 30년을 넘는 분 에 의해 8할방법 쓰여져 있다는 소문 가 있습니다.
사실입니까?

그럼 이 근처에서 무례합니다.

또한 다음 Advent Calender에서 만나보세요.