본문 바로가기

Study/Prolog

리눅스에 prolog 설치 방법

this is why your waitress is cranky

this is why your waitress is cranky by passiveaggressivenotes 저작자 표시비영리

2009/09/16 - [Study/Prolog] - Prolog 컴파일러 설치.
2009/09/23 - [Think , Dream / Fly] - 요즘 보는책,,

모랄까,, 요즘 물론, 현재 노트북에서는 윈도우 비스타가 돌아가고 있지만, 어떻게 리눅스라는 님과 친해지기 위해서, 약간의 짓을 하고 있습니다.

최대한 공부하는것도, 최대한 리눅스 환경에서 해보려고 하고- 물론 mfc같은건 힘들겠지만..
그러다가 prolog를 옮기기로 마음 먹었습니다.

혹시 이정보 찾고 계시나요? 리눅스에 프롤로그 설치하기?

아 그러니까 ,, 구글에서 검색하면 swi-prolog많이 뜨더라고요;; 저는 여기서 받아서; 리눅스에서 깔아봤는데- rpm의 경우 의존성에 걸리고, 직접 컴파일 하니까 어디서 오류가 뜨는지를 모르겠습니다-;

하하;;

그런데 방금전에 안것은, 물론 프롤로그를 많이 아시는분들은 비웃으시겠지만, Vc,gcc,그리고 볼랜드C처럼 프롤로그도, 여러종류가 있는것 같습니다.

swi-prolog를 리눅스에 설치못하고 좌절할 무렵, 찾은것이 있으니,,

gprolog,, 왠지 느낌이 gcc같은 느낌이랄까..

http://www.gprolog.org/#download

http://www.gprolog.org/gprolog-1.3.1.tar.gz
tar -zxvf gprolog-1.3.1.tar.gz
압축 풀리고
cd gprolog-1.3.1 / src로 이동한다음
./configure
아, 그런데 방금전에 안건,, 제가 make를 한다음 make install을 하니까,, 퍼미션 오류 뜨더군요

su
루트 계정
make & make install
...(그런데 예전에 학교에서 일반계정에서 make 돌렸을때는 돌아간것 같은데..)

그러면 설치가 끝납니다.
usr/local/bin/안에 생깁니다

이걸 실행시키면
그러니까, 제가 잠깐 이해한 걸로는 프롤로그가 인터프리터라는겁니다..

잠깐, 예전에 파이썬 봤을때가 생각났다랄까..

웹어디선가. 파이선처럼 파이썬이 확장자가 py였는지 잘기억안나지만 pl을 만들어서 한다는 글을 본적이 있습니다..;;

일단 웹을좀 돌아다녀봐야겠습니다..

uncaught exception: error(existence_error(procedure,(:-)/2),top_level/0)

아마도 사용하시다보면 이런오류가 나실겁니다. 위와 같은 방법을 하면- 웹을 찾아본결과 인스톨 과정에서의 에러 등등 영어로 잔득- 아무래도 제가 생각한 컴파일 방법이 틀린것 같습니다.. ;; 하하 이거 다시해야겠는데요;;

지우는 방법은
make uninstall
make clean
make distclean

;;; 같은 말인가..Install 파일에는 이렇게 써...있던..하..;ㅣ이런;;;


'Study > Prolog' 카테고리의 다른 글

gprolog 컴파일 하기...  (2) 2009.09.24
Prolog 컴파일러 설치.  (2) 2009.09.16