람다-프롤로그 강의: 1. hello world

[익명(218.232)]

1. 먼저 이 링크( https://github.com/KiJeong-Lim/aladin/releases )를 타셔서,

aladin.exe를 눌러 인터프리터를 다운로드 받습니다.

2. 다운 받은 인터프리터를 더블 클릭하면,

아래와 같은 경고창이 뜨는데,

추가 정보를 클릭합니다.

3. 그리고 실행 버튼을 눌러주시면 검은 창이 뜨는데

바로 닫아 주시면 됩니다.

4. aladin.exe를 바탕화면으로 빼신 다음 바탕화면을 우클릭하시고,

새로 만들기 → 텍스트 문서 순으로 클릭하시어,

`hello'라는 이름을 가진 새 txt 파일을 만들어 주세요.

5. hello.txt 파일에 다음과 같이 입력해 주시고,

ctrl-s로 저장해주신 후 닫아 주세요.

6. 검색창(좌측 하단 윈도우 버튼 바로 오른쪽)에 "cmd"라고 쳐서

명령 프롬프트를 열어주시면 검은 창이 뜹니다.

7. `cd Desktop'라고 쳐주시고 엔터 키를 눌러주세요.

8. `aladin'이라고 쳐주시고 엔터 키를 눌러주세요.

9. 파일의 경로를 입력하라고 뜨네요.

여기서 `hello.txt'라고 쳐주시고 엔터 키를 눌러주세요.

10. 그러면 파일이 불러와 졌다고 뜹니다.

이때 `?- copy "HelloWorld" X.'라고 치시고,

엔터 키를 누르시면,

11. `X = "HelloWorld"'라고 답이 나왔네요.

`y'라고 치시고 엔터 키를 눌러 더 많은 답을 얻어봅시다.

12. `no.'라고 뜨는 걸 보아 답이 더 이상 없음을 알 수 있습니다.

여기서 한 번 더 엔터 키를 누르면,

다음과 같이 `leaving Aladin.'라고 뜨면서,

인터프리터가 꺼집니다.

13. 이것으로 강의 1편을 마치겠습니다.

[익명(61.82)]

와 대단. 고맙다 지금 밖인데 내일 일 끝나고 와서 정독하면서 실행시켜볼게 정말 고맙다 - dc App

[익명(218.232)]

감사합니다

[익명(223.62)]

:-의 정확한 쓰임이 뭔가요

[익명(218.232)]

추론규칙의 결론과 전제를 연결시켜주는 거에요.

[익명(218.232)]

아 ㅆㅂ 댓글 맛 갔네;;;