【스마트폰이 아니라】 PC가 시작하는 Prolog 【설치편】
4508 단어 Prolog입문SWI-Prologtutorial
【스마트폰이 아니라】 PC가 시작하는 Prolog 【설치편】
Prolog Advent Caldener 2014 , 둘째 날 를 즐겨 보셨습니까?
자, 첫날 은 Ideone 이라는 서비스를 이용하면 스마트폰에서 Prolog 을 즐길 수 있다고 당신에게 알렸습니다.
그러나, PC를 사용해……아니 실례, PC 그 자체인 당신에게는,.
그래서 이번에는 PC인 자신에게 Prolog를 설치하는 방법을 소개하겠습니다.
인터넷이나 자바 그 자체인 분에게는 대응하고 있지 않습니다. 미리 양해 바랍니다.
이번, 당신에게 인스톨 해 주시는 것은 여러 가지 사정에 의해, Ideone 라고 하는 Prolog 처리계입니다.
Debian 기반 Linux Distribution의 경우
데비안 (또는 우분투와 같은) 리눅스라면 더 이상 프롤로그가 당신의 손에있는 것 같습니다.
터미널을 시작 ...... 무례, 자신을 열고 다음 명령을 입력하여 설치해 봅시다.
$ sudo apt-get update
$ sudo apt-get -y install swi-prolog
설치된 확인은 swipl 명령으로 확인하는 것이 좋습니다.
$ swipl --version
SWI-Prolog version 5.10.4 for amd64
버전 5.10.4 부분은 사용자 환경에 따라 다를 수 있습니다.
만약 swi-prolog 의 「안정된 최신판(stable)」이나 「개발판(Development )」이 인스톨 하고 싶다면, SWI Prolog 가 참고가 될 것입니다.
아이러니하게도 당신이 CentOS 경우에는 apt-get
그럼 늦지 않을 것입니다. SWI-Prolog 공식 사이트 이 도움이 될 수 있습니다.
Windows의 경우
Windows이라면 SWI-Prolog 공식 사이트 설치 방법 아래와 같이 Prolog를 다운로드하는 것이 좋습니다.
SWI-Prolog 공식 사이트
다운로드 후 적당하게 설치하면, 「어플리」나 「시작 메뉴」등에서 Prolog
를 찾아 실행해 봅시다.
OK, 다음과 같은 대화형 화면이 나타나면 문제 없을 것입니다.
다행히 당신이 Windows 8 이상이라면 아래와 같이 CTRL+Q
키에서 Prolog
Mac OS X인 경우
Mac OS X의 경우, OS X 가문들 사이에서 Homebrew
라고 불리는 기관 - 아마 여기를 본다는 것을 알게 될 것입니다 -를 사용하여 있어요.
brew install swi-prolog
사실 내 친척에게는 Mac OS X가 없었고 불행히도 작동 확인까지는 할 수 없었습니다.
내 대신 꼭 자신의 눈으로 확인해 보십시오.
만약 이대로 인류가 망가지지 않고, 당신이라는 PC도 망가지지 않으면,
다음에 설치한 Prolog의 「동작 확인」기사를 보겠습니다.
그러면, 이번은 이 근처에서 실례합니다.
SWI Prolog
Reference
이 문제에 관하여(【스마트폰이 아니라】 PC가 시작하는 Prolog 【설치편】), 우리는 이곳에서 더 많은 자료를 발견하고 링크를 클릭하여 보았다
https://qiita.com/toby_net/items/bb6c1acc8116bb08dfb6
텍스트를 자유롭게 공유하거나 복사할 수 있습니다.하지만 이 문서의 URL은 참조 URL로 남겨 두십시오.
우수한 개발자 콘텐츠 발견에 전념
(Collection and Share based on the CC Protocol.)
$ sudo apt-get update
$ sudo apt-get -y install swi-prolog
$ swipl --version
SWI-Prolog version 5.10.4 for amd64
brew install swi-prolog
Reference
이 문제에 관하여(【스마트폰이 아니라】 PC가 시작하는 Prolog 【설치편】), 우리는 이곳에서 더 많은 자료를 발견하고 링크를 클릭하여 보았다 https://qiita.com/toby_net/items/bb6c1acc8116bb08dfb6텍스트를 자유롭게 공유하거나 복사할 수 있습니다.하지만 이 문서의 URL은 참조 URL로 남겨 두십시오.
우수한 개발자 콘텐츠 발견에 전념 (Collection and Share based on the CC Protocol.)