stanford-oval/wikipedia huggingface dataset:
슈퍼마린 스위프트
정식 발주

그러는 동안 극동의 한반도에서 한국전쟁이 발발하자 영국 국방부는 가능한 한 빨리 전투기를 생산하도록 요구했으며, 공군성은 개발 중이던 헌터 전투기의 예비 계획으로서 슈퍼마린 535의 개발에 관심을 갖게 되었다. 이에 슈퍼마린 사는 스위프트라는 이름이 붙여진 전투기 100대의 물량을 수주받게 된다. 슈퍼마린 541은 당시 개발 중이던 영국제 군용기들이 너나없이 앞다쿼 이용하고 있던 롤스로이스 닌 대신 추력이 6,500파운드로 더 늘어난 롤스로이스 AJ.65 에이본(Rolls Royce AJ. 65 Avon) 엔진을 쓰기로 작정했다. 결국은 헌터에도 채택된 에이본은 닌보다 슬림한 디자인이었지만, 535형으로부터 물려받은 동체를 재설계하기에는 너무 늦은 것으로 여겨져 넓은 동체가 남아 있었고, 이런 요인은 개발진들조차 직경이 굵은 동체 때문에 공군의 성능 요구기준을 충족하지 못할 것을 우려했다. 무장 사양은 20mm 기관포 4문에서 30mm 기관포 2문으로 변경되었다. RAE 보고서에 따르면 슈퍼마린 스위프트(Supermarine Swift)는 고공에서 성능이 매우 떨어져 주익의 재설계가 필요하지만 영국 공군성은 이런 중요한 사실을 통보받지 못했고, 시제품이 비행하기도 전에 발주량을 150대로 늘렸다. 마침내 1951년 8월 1일, 최초의 진정한 스위프트 시제기인 WJ960이 공중으로 날아올랐다. 두 번째 원형기 WJ965는 다음 해 7월에 비행했지만 두 번의 강제 착륙으로 인해 프로그램이 지연되었다.
판보로 비행장에서 드해빌랜드 DH.110이 추락 사고를 일으켜 온 영국이 떠들썩해지자, 스위프트의 프로토타입은 더 많은 설계 수정이 이루어졌고 1953년 2월부터 비행을 재개했다. 그해 3월 첫 번째 생산형인 스위프트 F.1이 마침내 비행했다. 첫 번째 F.1이 생산되는 동안, 30mm 아덴 기관포 4문으로 무장을 확장시켜달라는 요구가 추가되자 그 기준에 맞춘 스위프트 F.2가 탄생했다. 그런데, 동체에 거대한 아덴 기관포 4문은 우겨넣었지만 추가 탄약을 위한 여분의 공간이 없었다. 고심 끝에 개발진들은 익근부를 앞쪽으로 부풀려 탄창 공간을 억지로 만들었는데 별 대수로운 개조가 아닌 것으로 여겨졌던 개조는 이 전투기로 하여금 실패를 맛보게 한 원인이 될 줄은 아무도 예상하지 못했다. 부풀어오른 익근부는 느린 속도로 비행할 때는 아무런 문제를 일으키지 않았으나, 스위프트의 속도가 빨라지면 이상한 버릇이 드러나고 있었다. 이것은 스위프트가 몇 초 만에 등을 뒤집는 갑작스러운 피치업 자세로 들어가는, 말하자면 조종사가 의도하지 않은 코브라 기동 같은 상태에 빠지는 문제를 야기했다. 설계자들은 이 새로운 문제를 해결하기 위해 많은 계산과 드로잉, 수정을 해봤지만 백약이 효험이 앖었다. 결국 기수 내부에 별도의 무게추를 넣자 그제서야 피치업 문제가 해결되었다. 이 개량 작업은 스위프트 전체의 개발 및 개량 사업의 김을 빼고 활력을 잃게 만드는 효과를 낳았다. 그렇지만 이때까지만 해도 영국 최초의 천음속 전투기가 된 스위프트의 미래는 밝아보였다. 주문량 또한 기체의 곳곳에서 나타나는 문제에도 불구하고 이에 대한 명백한 고려 없이 계속 늘어나고 있었다.
개량

그 무렵 스위프트 전투기는 후연기가 딸린 F.3 모델이 생산 중에 있었다. 그러나 전투기들은 결코 영국 공군에 의해 비행되지 않을 운명이었다. 한편, 슈퍼마린은 더 개선된 설계 수정을 계속하여, 피치업 문제를 해결하기 위해 여전히 고군분투하고 있었고, 그 결과 F.4(Type 546)를 생산해냈다. 1953년 5월에 처음 비행한 F.4는 리스고우 시험비행사와 함께 1953년 9월 26일에 속도 세계 신기록을 경신하며 이름을 날렸다. 리스고우는 불과 얼마 전 네빌 듀크가 헌터로 세운 시속 727마일이란 기록을 735마일로 갱신시켰다. 하지만 이 기록도 며칠 뒤 미국의 함상전투기 더글라스 스카이레이(Douglas Skyray)가 시속 753마일로 끌어올려 며칠 동안만 타이틀을 유지할 수 있었다.
1954년 2월 13일, RAF 제56스쿼드론이 첫 번째 스위프트 F.1을 받았다. 이런저런 문제점에도 불구하고 스위프트는 영국 최초의 실용 후퇴익 전투기로서의 영예를 안았다. 연이어 일어난 사고로 인해 8월 말에는 모든 스위프트가 땅에 묶였고, 56 스쿼드론 또한 마찬가지였다. 공군의 전투기 사령부는 언론을 통해 스위프트가 적합한 전투기가 될 가능성은 낮다는 의견은 발표했다. 며칠이 지난 8월 30일에 스위프트 F.2가 F.1을 대체했을 때, 운용 제한은 완화되었지만, 그 뒤로도 2대의 스위프트가 피치업 사고로 손실되었고 스위프트는 다시금 좌초되었다. 1955년 3월, 영국 공군은 스위프트를 충분히 보유하고 있었지만, 그들을 전량 퇴역시키라는 명령이 내려졌다. 가장 큰 문제는 40,000피트 이상의 고도에서 전투할 수 없다는 점이었다. 1954년 가을이 되자 이제 스위프트와 관련된 이슈는 신문과 언론에서도 공공연히 다르고 있었고, 전투기가 곧 취소될 것이라는 보도까지 흘러나오고 있었다.
1955년 2월 초, 스위프트가 영국 공군으로부터 최종 평가를 받지 못했고, 그 결과 전투기가 아니라 정찰이나 공격기 임무에 제한될 것이라는 소문이 돌았다. 같은 해 3월 2일에는 조달부 장관 셀윈 로이드(Selwin Lloyd)가 스위프트의 개발에 정부 자금 2000만 파운드가 들어갔다며 비난조로 발표했고, 이런 상황은 수퍼마린 직원들은 난처한 상황에 빠뜨리고 있었다.
정찰기로 임무 전환

피치업 문제가 해결된 스위프트 F.4는 시험비행에서 이전의 문제점을 보여주지 않았고, 다시 한번 호커 헌터의 속도 기록을 이겨 슈퍼마린 팀을 기쁘게 했지만, 이와 함께 모든 것이 좋지 않았다. F.4의 후연기는 고공에서 잘 점화되지 않는다 문제가 밝혀졌는데, 이것은 요격기로서는 중대한 문제였다. 더구나 당시만 해도 엔진의 추력이 약해 거의 모든 전투기가 대기가 희박한 성층권 고도에서 수평비행을 유지하려면 여분의 추력이 필요했기 때문에, 이것은 치명적인 타격이었다. F.4는 9대만 제작되었고 생산은 FR.5(549형)로 변경되었다.
이와 같은 개량에도 불구하고 영국 공군은 이제 슈퍼마린에 대하여 신뢰를 잃었다. 스위프트 또한 전투기로서는 막다른 골목이라고 판단했고, 그 뒤를 이어 호커 헌터가 광범위한 운용을 시작함에 따라 스위프트의 운명은 전투기의 역할이 아니라 부차적인 임무인 정찰기로 남겨졌다. FR.5는 노즈 하우징을 길게 늘리고 내부에 파노라믹 카메라를 장착하자 쓸만한 전술 정찰기가 되었다. 전략 정찰과는 달리 전술 정찰 임무는 중고도나 저공으로 낮게 날며 임무를 수행하기 때문에 고공에서의 후연기 점화는 문제가 되지 않았다. 1956년 3월부터 제2스쿼드론이 서독에서 FR.5를 운용하기 시작했다.
스위프트 FR.5는 1957년과 1959년에 열린 NATO 정찰기 경합 대회인 "로열 플러시(Royal Flush)"에서 우승하여 미국의 RF-84 썬더플래시를 포함한 다른 나라들이 출전시킨 최고의 정찰기들을 물리쳤다. 저공에서 특히 강력한 스위프트는 저고도 전술 정찰 임무를 수행했지만, 그 무렵 거의 모든 제트기를 괴롭히던 피로 파괴 같은 문제는 발생하지 않았다. 따라서 스위프트는 정찰부대의 일선 승무원들에게 인기가 높아졌는데, 사실 이와 같은 현상은 스위프트를 전투기로 몰던 조종사들에게는 놀라운 일이었다. 하지만 결국 주력기 자리를 꿰어찬 헌터가 대세가 되고 스위프트가 계속 낡아가자 FR.5는 헌터 FR.10으로 대체되기에 이른다.
슈퍼마린에 의해 공군에 제안된 비무장 PR.6 형식(타입 550)은 고공의 후연기 문제로 인해 생산 전에 취소되었지만, 14대의 스위프트 F.7이 제작되었다. 기체들은 RAF 스쿼드론에서 일선기로 이용되지는 않았으나 미사일 같은 유도무기 개발에서 귀중한 데이터를 제공했고, 영국에서 처음로 미사일로 무장한 전투기가 되었다.
이처럼 스위프트 사업은 닌에서 에이본으로 엔진을 바꾸는 문제와 영국 공군과 정부, 제조사 간의 소통이 원활하지 않아 처음부터 차질을 빚었다. 그것을 대신한 헌터에서 사소한 문제들이 있었으나 그럼에도 불구하고 헌터 F.6의 도입 이후 모든 문제점이 해결되었다. 한국전쟁의 종식과 함께, 많은 수의 전투기가 급히 필요했던 소요도 사라지자 스위프트의 문제를 해결하기 위해 들어가던 비용의 액수는 호커 헌터의 계속 커져가는 성공 앞에서 결코 정당화될 수 없었다.
1956년, 공군에서 퇴역한 다수의 스위프트 전투기들은 영국 정부의 핵실험인 버팔로 작전(Operation Buffalo)을 위해 오스트레일리아로 보내졌고, 원폭이 각종 구조물과 전투장비에 끼치는 피해와 영향을 연구하기 위해 폭심지로부터 다양한 거리에 배치된 다음 폭탄을 터뜨렸다. 당연히 이 실험에 동원된 기체들은 모두 재생 불능이 된다.
같이 보기

스파이트풀
호커 헌터
미코얀-구레비치 MiG-17
| --- | --- |
전거 통제: 국가 :  이스라엘  미국
거제문화예술회관

| 거제문화예술회관 |
| --- | --- |
위치: 대한민국 경상남도 거제시 장승로 145
개장: 2003년 10월 21일
내부공간
웹사이트
http://www.geojeart.or.kr/
거제문화예술회관은 경상남도 거제시에 있는 문화 예술 시설이다.
연혁

2002년 11월 27일 거제시문화예술회관개관준비위원회설치운영조례 제정
2002년 12월 16일 개관준비위원회 실무기획단 구성 (단장:부시장, 행정3, 외부전문가 6)
2003년 1월 13일 문화예술회관 명칭 공모(거제문화예술회관)
2003년 7월 2일 거제시문화예술재단설립및운영에 관한조례 제정
2003년 8월 13일 (재)거제시문화예술재단 발기인 총회(거제시장 외 13명)
2003년 10월 4일 거제문화예술회관운영및관리조례 제정
2003년 10월 21일 거제문화예술회관 개관
2004년 9월 제1회 거제 전국합창경연대회 개최
2008년 8월 7일 ~ 8월 17일 제1회 블루거제페스티벌 개최
2009년 8월 5일 ~ 8월 25일 제2회 블루거제페스티벌 개최
2010년 6월 야외공연장 신설
2010년 8월 5일 ~ 8월 7일 제3회 블루거제페스티벌 개최
2010년 8월 14일 ~ 9월 18일 제1회 야외공연장 토요상설무대 개최
2011년 8월 4일 ~ 8월 6일 제4회 블루거제페스티벌 개최
2011년 8월 13일 ~ 10월 1일 제2회 야외공연장 토요상설무대 개최
2012년 8월 2일 ~ 8월 4일 제5회 블루거제페스티벌 개최
2012년 8월 11일 ~ 8월 25일 제3회 야외공연장 토요상설무대 개최
2013년 8월 1일 ~ 8월 3일 제6회 블루거제페스티벌 개최
2013년 8월 10일 ~ 8월 24일 제4회 야외공연장 토요상설무대 개최
Aaron Carter

| Aaron Carter> 에런 카터의 스튜디오 음반 |
| --- | --- |
출시: 1997년 12월 1일
장르: 틴 팝
《Aaron Carter》는 1997년 12월 1일에 발매된 에런 카터의 음반이다.
곡 목록

| # | 제목 | 작사·작곡 | 재생 시간 |
| --- | --- | --- | --- |
| 1. | Intro (only on some releases) |   | 1:09 |
| 2. | I Will Be Yours | Carolla | 3:34 |
| 3. | Crazy Little Party Girl | Applegate | 3:26 |
| 4. | One Bad Apple | George Jackson | 3:14 |
| 5. | I'm Gonna Miss You Forever | Carolla | 3:48 |
| 6. | Tell Me How to Make You Smile |  Carolla  Jim Sparacino  Joseph Granati  David Granati  | 3:47 |
| 7. | Shake It (featuring 95 South) |  Carolla  Joe Smith  | 3:22 |
| 8. | Please Don't Go Girl | Maurice Starr | 4:23 |
| 9. | Get Wild |  Carolla  Sven Jordan  Keith McGuffey  | 4:44 |
| 10. | I'd Do Anything | Carolla | 4:11 |
| 11. | Ain't That Cute |  Brian Littrell  Nick Carter  Carolla  | 3:14 |
| 12. | Crush on You |  Jerry Knight  Aaron Zigman  | 3:27 |
| 13. | Swing It Out |  Renn  Jolyon Skinner  | 3:56 |
인증

| 국가 | 인증 | 판매량/출하량 |
| --- | --- | --- |
| 캐나다 (뮤직 캐나다) | 골드 | 50,000^ |
| 덴마크 (IFPI Danmark) | 플래티넘 | 50,000^ |
| 독일 (BVMI) | 골드 | 250,000^ |
| 노르웨이 (IFPI 노르웨이) | 골드 | 25,000* |
| 스페인 (PROMUSICAE) | 골드 | 50,000^ |
| 스웨덴 (GLF) | 골드 | 40,000^ |
| 미국 | — | 100,000 |
요약
| 전 세계 | — | 1,000,000 |
*판매량을 기반으로 한 인증 ^출하량을 기반으로 한 인증
평가

| 전문가 평가> 평가 점수.출처 | 전문가 평가> 평가 점수.점수 |
| --- | --- |
AllMusic:
제주특별자치도의 중학교 목록

다음 목록은 제주특별자치도에 있는 중학교 목록이다.
| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| --- | --- | --- | --- | --- | --- | --- |
| 가 | 나 | 다 | 라 | 마 | 바 | 사 |
| 아 | 자 | 차 | 카 | 타 | 파 | 하 |
가

고산중학교 · 
귀일중학교 · 
김녕중학교
| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| --- | --- | --- | --- | --- | --- | --- |
| 가 | 나 | 다 | 라 | 마 | 바 | 사 |
| 아 | 자 | 차 | 카 | 타 | 파 | 하 |
나

남원중학교 · 
남주중학교 · 
노형중학교
| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| --- | --- | --- | --- | --- | --- | --- |
| 가 | 나 | 다 | 라 | 마 | 바 | 사 |
| 아 | 자 | 차 | 카 | 타 | 파 | 하 |
다

대정중학교
| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| --- | --- | --- | --- | --- | --- | --- |
| 가 | 나 | 다 | 라 | 마 | 바 | 사 |
| 아 | 자 | 차 | 카 | 타 | 파 | 하 |
마

무릉중학교
| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| --- | --- | --- | --- | --- | --- | --- |
| 가 | 나 | 다 | 라 | 마 | 바 | 사 |
| 아 | 자 | 차 | 카 | 타 | 파 | 하 |
사

서귀중앙여자중학교 · 
서귀포대신중학교 · 
서귀포여자중학교 · 
서귀포중학교 · 
성산중학교 · 
세화중학교 · 
신산중학교 · 
신성여자중학교 · 
신엄중학교 · 
신창중학교
| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| --- | --- | --- | --- | --- | --- | --- |
| 가 | 나 | 다 | 라 | 마 | 바 | 사 |
| 아 | 자 | 차 | 카 | 타 | 파 | 하 |
아

아라중학교 · 
안덕중학교 · 
애월중학교 · 
오름중학교 · 
오현중학교 · 
우도중학교 · 
위미중학교
| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| --- | --- | --- | --- | --- | --- | --- |
| 가 | 나 | 다 | 라 | 마 | 바 | 사 |
| 아 | 자 | 차 | 카 | 타 | 파 | 하 |
자

저청중학교 · 
제주대학교 사범대학 부설중학교 · 
제주동여자중학교 · 
제주동중학교 · 
제주서중학교 · 
제주여자중학교 · 
제주제일중학교 · 
제주중앙여자중학교 · 
제주중앙중학교 · 
제주중학교 · 
조천중학교 · 
중문중학교
| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| --- | --- | --- | --- | --- | --- | --- |
| 가 | 나 | 다 | 라 | 마 | 바 | 사 |
| 아 | 자 | 차 | 카 | 타 | 파 | 하 |
차

추자중학교
| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| --- | --- | --- | --- | --- | --- | --- |
| 가 | 나 | 다 | 라 | 마 | 바 | 사 |
| 아 | 자 | 차 | 카 | 타 | 파 | 하 |
타

탐라중학교
| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| --- | --- | --- | --- | --- | --- | --- |
| 가 | 나 | 다 | 라 | 마 | 바 | 사 |
| 아 | 자 | 차 | 카 | 타 | 파 | 하 |
파

표선중학교
| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| --- | --- | --- | --- | --- | --- | --- |
| 가 | 나 | 다 | 라 | 마 | 바 | 사 |
| 아 | 자 | 차 | 카 | 타 | 파 | 하 |
하

한라중학교 · 
한림여자중학교 · 
한림중학교 · 
함덕중학교 · 
효돈중학교
| v t e제주특별자치도의 중학교 |
| --- | --- |
초등학교 | 중학교 | 고등학교 | 대학
서귀포시:  남원중학교  남주중학교  대정중학교  무릉중학교  서귀중앙여자중학교  서귀포대신중학교  서귀포여자중학교  서귀포중학교  성산중학교  신산중학교  안덕중학교  위미중학교  중문중학교  표선중학교  효돈중학교 
제주시:  고산중학교  귀일중학교  김녕중학교  노형중학교  세화중학교  신성여자중학교  신엄중학교  신창중학교  아라중학교  애월중학교  오름중학교  오현중학교  우도중학교  저청중학교  제주대학교 사범대학 부설중학교  제주동여자중학교  제주동중학교  제주서중학교  제주여자중학교  제주제일중학교  제주중앙여자중학교  제주중앙중학교  제주중학교  조천중학교  추자중학교  탐라중학교  한라중학교  한림여자중학교  한림중학교  함덕중학교 
서울특별시 | 부산광역시 | 대구광역시 | 인천광역시 | 광주광역시 | 대전광역시 | 울산광역시 | 세종특별자치시 경기도 | 강원특별자치도 | 충청북도 | 충청남도 | 전북특별자치도 | 전라남도 | 경상북도 | 경상남도 | 제주특별자치도
1846년

| --- | --- |
간지: 을사년~병오년
단기: 4179년
그레고리력: 1846년  MDCCCXLVI
불기: 2390년
이슬람력: 1262~1263
황기: 2506년
히브리력: 5606~5607
아시리아력: 6596년
에티오피아력: 1840~1841
릿쿄(立敎): 9년
1846년은 목요일로 시작하는 평년이다.
연호

청(淸) 도광(道光) 26년
일본(日本) 고카(弘化) 3년
응우옌 왕조(阮朝) 티에우찌(紹治) 6년
기년

류큐(琉球) 쇼이쿠왕(尚育王) 12년
청(淸) 선종 도광제(宣宗 道光帝) 26년
조선(朝鮮) 헌종(憲宗) 12년
응우옌 왕조(阮朝) 소치제(紹治帝) 6년
사건

5월 13일 - 멕시코-미국 전쟁: 멕시코가 미국에 전쟁을 선포하다.
6월 15일 - 조선 최초의 가톨릭 사제인 김대건이 비밀 항로를 그린 지도를 중국으로 가는 중국 어선에 넘겨주려다가 연평도 부근에서 순찰하던 관헌들에게 체포되었다.
6월 16일 - 교황 비오 9세, 255대 로마 교황 취임.
9월 16일 - 김대건이 새남터에서 처형되다.
9월 23일 - 프랑스의 위르뱅 르베리에의 궤도 계산 결과를 근거로 독일의 요한 갈레가 해왕성을 최초로 관측하였다. 또한 영국의 존 카우치 애덤스가 예측한 궤도에서 영국의 제임스 챌리스가 8월에 발견했음이 나중에 밝혀졌다(챌리스는 당시에는 증명하지는 못했다). 천문학계 관례에 따라 발견의 공로는 위르벵 르베리어와 존 카우치 애덤스에 돌아갔다.
10월 10일 - 윌리엄 라셀이 해왕성의 위성 트리톤을 발견.
12월 28일 - 아이오와주가 29번째 미국의 주가 됨.
날짜 미상 - 엘리어스 하우가 최초로 재봉틍을 발명
위르뱅 르베리에
탄생

2월 24일 - 대한민국의 독립운동가 김가진. (~1922년)
7월 17일 - 일본 에도 막부의 제14대 쇼군 도쿠가와 이에모치. (~1866년)
8월 7일 - 독일의 언어학자 헤르만 파울. (~1921년)
9월 25일 - 독일의 기상학자 블라디미르 쾨펜. (~1940년)
10월 6일 - 미국의 발명가 조지 웨스팅하우스. (~1914년)
사망

6월 1일 - 제254대 로마의 교황 교황 그레고리오 16세. (1765년~)
9월 16일 - 조선의 천주교 신부 김대건. (1821년~)
9월 19일 - 조선의 천주교 순교자 현석문. (1797년~)
9월 20일
조선의 가톨릭 순교자 김임이. (1811년~)
조선의 가톨릭 순교자 남경문. (1796년~)
달력 > 음양력 대조 일람

| 음력월 | 월건 | 대소 | 음력 1일의 양력 월일 | 음력 1일 간지 |
| --- | --- | --- | --- | --- |
| 1월 | 경인 | 대 | 1월 27일 | 정사 |
| 2월 | 신묘 | 소 | 2월 26일 | 정해 |
| 3월 | 임진 | 대 | 3월 27일 | 병진 |
| 4월 | 계사 | 소 | 4월 26일 | 병술 |
| 5월 | 갑오 | 대 | 5월 25일 | 을묘 |
| 윤5월 |  | 소 | 6월 24일 | 을유 |
| 6월 | 을미 | 대 | 7월 23일 | 갑인 |
| 7월 | 병신 | 소 | 8월 22일 | 갑신 |
| 8월 | 정유 | 대 | 9월 20일 | 계축 |
| 9월 | 무술 | 대 | 10월 20일 | 계미 |
| 10월 | 기해 | 소 | 11월 19일 | 계축 |
| 11월 | 경자 | 대 | 12월 18일 | 임오 |
| 12월 | 신축 | 소 | 1847년 1월 17일 | 임자 |
수군

다른 뜻에 대해서는 수군 (동음이의) 문서를 참고하십시오.
수군(水軍)은 동아시아 한자문화권에서 전통적으로 수상(水上) 무장력을 가리키던 단어이다. 서양과 근대의 군사학에서는 해군(海軍)에 상당하지만, 동양의 수군은 바다뿐 아니라 하천이나 호수에서 활동하는 무장력의 비중도 컸다. 기록에는 수사(水師), 선사(船師), 선병(船兵), 주사(舟師)로 기록되기도 한다.
집단 ・ 조직을 이루어 활동했으며, 전통적으로 정부군으로 편제된 군사 조직이었지만 일본의 경우 지방의 무사들이 조직한 수상 병력을 수군이라 부르기도 했으며 이 중 일부는 한반도와 중국 등지에서 왜구라 불리며 해안 지방에 대한 약탈을 감행하기도 하였다. 일본의 수군은 선당(일본어: 船党), 게고슈(일본어: 警固衆), 가이조쿠추(일본어: 海賊衆) 등으로 불리기도 하였다.
한국의 수군

섬나라인 일본과 같이 삼면이 바다로 둘러싸여 있고 중국과 같은 거대한 강이 없는 한반도에서도 일본과 마찬가지로 일찍부터 해상 교통의 비중이 높았고 연해에 거주하는 주민들이 수상병력으로 동원되기도 했다. 발해의 무왕은 732년 9월에 육군으로 당의 요서 지방을 공격하면서 장문휴가 이끄는 수군(중국 기록에는 해적으로 묘사되어 있다)을 파견해 당의 등주(登州)를 공격하였으며, 신라는 문무왕 18년(678년) 병부(兵部)의 대감(大監)과 제감(弟監)이 맡아보던 선박 관련 업무를 분리시켜 따로 선부(船部)를 설치했다. 9세기 해적을 토벌하기 위한 목적으로 신라 정부에 의해 청해진 대사(淸海鎭大使)로 임명된 장보고(張保皐)가 청해진(지금의 완도)을 중심으로 한반도와 중국 ・ 일본에 걸치는 동아시아 규모의 대(大)해상세력을 구축하기도 했다.
한국의 수군 > 고려의 수군

고려는 한국사에서 유일하게 해양 세력이 주도해서 세운 국가였다. 후고려(태봉)왕 궁예(弓裔)에 의해 백선장군(百船將軍)으로 임명된 왕건은 전형적인 수군 장군으로 903년 3월에 수군을 거느리고 한반도의 서해(西海)를 돌아 후백제(後百濟)의 대외 교역 거점이었던 영산강(榮山江) 하구 금성군(지금의 나주) 주변 10여 군현을 평정하고, 성책(聖冊) 5년(909년)에도 해군장군으로서 나주를 지키며 후백제가 오월(吳越)에 보내려던 사신의 배를 해상에서 나포하거나 진도(珍島), 고이도(古耳島) 등 서남해 지역의 해상 호족들을 소탕하기도 했다. 한편 후백제 또한 천수(天授) 15년(932년)에 예성강(禮成江)까지 올라와 고려의 선박 1백 척을 불사르고 저산도(猪山島)에 방목된 말 3백 필을 약취하는가 하면, 대우도(大牛島) 등을 공략해 고려의 바닷길을 6년간 끊어 놓기도 했다.
고려는 한반도 남북으로부터 조세로 수취한 미곡을 수도 개경(開京)으로 운반하기 위하여 강으로 이어지는 해상 루트를 이용했으며, 북방 세력의 공격에 맞서기 위해서 바다를 활용했다. 11세기에 여진(女眞) 해적(일본 역사에 등장하는 도이의 입구 사건에 등장하는 도이가 여진 해적으로 여겨진다)이 고려와 일본의 해안을 침범해 피해를 입히는 상황 속에서 고려는 수군 활동을 강화하여, 함경도 정평의 원흥진(元興鎭)과 원산의 진명진(鎭明鎭)에 선병도부서를 설치하고, 예하 부대로서 진(鎭)과 수(戍)에 수군을 두어 여진 해적을 진압하였다.
《고려사》(高麗史)에는 왕건이 초기에 연안에서 사용하던 전선은 약 30여 명이 승선할 수 있었는데, 그 가운데 큰 배 10여 척은 사방이 16보(약 20m)로 배 위에 다락을 세웠고 갑판에서 말을 달릴 수도 있을 정도였다고 한다. 북송(北宋)의 사신 서긍(徐兢)의 《고려도경》(高麗圖經)에는 고려의 배에 순찰용 배인 순선과 관선, 소나무로 만든 송방(松舫), 배 위에 장막을 친 막선(幕船) 등의 배가 있다는 기록이 있다. 또한 고려에는 과선(戈船)이라는 전함이 있었는데, 선체에 창을 꽂아 근접전에 유리하게 만들었고 뱃머리에 쇠로 충각을 달아서 적선과 충돌해 부술 수 있도록 했다.
13세기 몽골 제국의 공격을 피해 고려가 수도를 강화도(江華島)로 옮기고 수십년에 걸친 항쟁을 지속한 것도 북방 유목민 세력인 몽골이 상대적으로 수전에 약하다는 점을 이용한 것이었는데, 몽골과의 화의가 이루어지고 개경으로 환도한 뒤에는 다시 쿠빌라이 칸(원 세조)의 일본 원정을 위한 선박 제조와 병력 징발이 모두 고려에 부담되어 상당한 손실을 입기도 하였다. 1274년 1차 일본 원정을 위해 고려에서 동원된 9백 척의 전함은 모두 4개월 만에 건조되었는데, 일본 연안에서 발견된 일본원정 당시 몽골군의 배는 고려에서 제조된 것으로 확인되었다. 일본원정 이후 쿠빌라이 칸에 의해 고려의 선병은 해산되었다.
14세기 후반에 고려는 중국과 마찬가지로 왜구의 침략에 시달렸고, 해안 지역이 완전히 공지화될 정도의 피해를 입었다. 수백 척에 달하는 선단을 거느린 왜구는 한반도 연안의 여러 도시를 불사르고, 바다와 강을 통해 조세를 운반하던 배를 습격해 쌀을 빼앗았다. 왜구를 진압하기 위해 고려 왕조는 우왕(禑王) 2년(1375년)경부터 새로이 강력한 전함을 건조하고 수군의 증강을 꾀하여, 진포와 황산에서 벌어진 왜구 토벌전에서는 수군의 활약이 고려군의 승리에 큰 역할을 했다. 창왕(昌王)대에 쓰시마를 정벌하고, 공양왕(恭讓王)조에 수군을 정비한 것은 조선왕조 수군의 기틀을 마련하는 계기가 되었다.
한국의 수군 > 조선의 수군

이 부분의 본문은 조선 수군입니다.
중국의 수군

전통적으로 중국은 「남선북마」(南船北馬)라 하여 장강(長江)을 중심으로 물길을 주요 교통로로 활용하는 남방 지역에서 수군이 발전했다. 위진남북조(魏晋南北朝)와 5대 10국, 남송(南宋) 시대처럼 중국이 남북으로 세력이 나뉘었을 무렵, 강남의 여러 왕조는 물길을 천험의 요새로 삼아 강력한 수군을 양성하고 북방의 기마병력에 맞서 군사적인 우월을 자랑하며 화북(華北) 여러 나라의 침공을 격퇴하였다.
지리적으로 중국은 동쪽으로 넓은 바다가 펼쳐져 있고 내륙으로도 넓은 하천과 호수를 보유하고 있었지만, 역대 통일왕조의 수도는 내륙인 관중(関中)이나 하남(河南)에 위치해 있었고 명 왕조가 성립될 때까지도 본격적인 해상 병력 양성과 바다 밖으로의 진출은 많지 않았다. 그러나 당(唐) 이후 차츰 남방 해안으로 교역을 위해 찾아오는 외국의 해상세력이 늘어나고 강남이 중국의 경제적 요충지로서 그 중요성이 부각, 원(元) 왕조에 이르면 과거 남송의 치하에 있던 강남에서 양성된 수군을 국가군으로 편입시켜 일본이나 동남아시아에 대한 적극적인 원정을 행했다. 강남에서 허베이(河北)로의 물자 운송에 해상교통을 대대적으로 이용하게 된 것도 원 왕조 치하의 일이었다. 14세기 원 왕조가 멸망하고 명 왕조가 성립되는데, 당시 중국도 한반도의 고려 왕조와 마찬가지로 해안가를 약탈하던 왜구라 불리는 해적 세력을 진압해야 할 필요성을 느끼고 있었다.
중국의 수군은 정화(鄭和) 원정 당시에 이미 절정을 자랑했다. 명 왕조 3대 황제 영락제(永樂帝)는 환관 정화를 지휘관으로 하는 대규모 해상 함대를 짜서 동남아시아부터 인도양, 아프리카해까지 파견했는데, 이와 같은 국가 수군에 의한 적극적인 해상 진출은 중국 역사를 통틀어 예외적인 사례로 속한다. 정화 이후 명은 해금정책을 실시하고 바다로 나가는 길을 차단했지만, 수군력은 16세기 말까지 건재했다. 명 왕조 이래의 해금정책은 구체적으로는 민간이 바다 바깥으로 나가는 것을 금지하고, 공적인 교역 루트는 조공(朝貢)으로 한정하였으며, 이러한 해금정책을 지키고 왜구를 진압하기 위해 명 왕조는 강력한 수군력을 양성하였다. 해외 교역의 억제라는 해금정책의 기조는 17세기 이후 청(淸) 왕조의 쇄국 정책으로 이어졌고, 중국의 수군은 남방을 중심으로 하는 해적 세력에 맞서는 경찰 병력과 같은 방위력으로서 유지되었다.
19세기 서구 열강의 동방 진출로 해군력에 맞서기에 청 왕조의 수군은 너무도 무력했고, 1840년의 아편전쟁에서 대패하는 한 원인이 되었다. 강화조약이 이루어지고 홍콩을 영국에 할양하는 피해를 입은 뒤에도, 청 왕조에서 수군의 재편성은 이루어지지 않았다. 청이 수군의 재편성에 진지한 위기감을 느끼고 접근하게 된 것은 태평천국 운동 이후의 일로, 그 진압에 강력한 수상병력이 필요했지만 영국과 영국 군인을 사령관으로 하는 함대를 청의 해군으로 하자는 제안은 거부되고, 근대 해군의 설립도 다시 늦춰졌다.
청의 수군 재편성에 대해 중요한 원인이 된 것은 동치(同治) 13년(1874년) 일본 해군이 지금의 타이완(台灣)에 상륙한 사건이었고, 굴욕적인 화평을 맺은 이듬해 청은 근대 해군의 성격을 갖춘 해양선사(海洋水師)의 창설을 포고하였다. 이것으로 중국에서 전통 수군의 시대는 막을 내렸다. 청 왕조의 해양선사는 북양(北洋)과 남양(南洋), 복건(福建), 양광(兩廣) 등지에 설치되어 각 바다의 방비를 맡았지만, 산둥성 북쪽의 황해를 맡고 있던 북양 함대는 청일전쟁 때 일본 수군에 궤멸되었다. 청 수군의 관제는 위아래로 나뉘는 제독(提督)을 시작으로 총병(總兵, 분좌分左, 우익右翼이라고도), 부장(副將), 참장(参將), 유악(游击), 도사(都司), 수곽(守备), 천총(千總), 파총(把總)이 있었고, 전함의 선장은 관대(管帶)라 칭했다.
현재 홍콩(香港)에는 중국 수군과는 별도의 수상 병력이 있어 해양경찰과 같은 역할을 맡고 있다.
같이 보기

해적
청해진
한선
판옥선
거북선
전함사
수군절도사
군함
정크선
무라카미 수군
아타케부네
《무경총요》(武經總要)에 그려진 송대(宋代)의 누선(樓船)
구키 수군의 본거지였던 도바 성(鳥羽城).
아타케부네(安宅船)
프롤로그 (프로그래밍 언어)

| --- | --- |
패러다임: 논리형
설계자: Alain Colmerauer
발표일: 1972년(52년 전)(1972)
최근 버전: Part 1: General core-Edition 1 (1995년 6월(29년 전)(1995-06)) Part 2: Modules-Edition 1 (2000년 6월(24년 전)(2000-06))
운영 체제: 크로스 플랫폼
파일 확장자: .pl, .pro, .P
주요 구현체
GNU Prolog, SWI-Prolog, ..
ISO Prolog, Edinburgh Prolog
영향을 준 언어
머큐리, 얼랭, 오즈, ..
프롤로그(Prolog)는 논리형 프로그래밍 언어이다. 이름은 '논리 프로그래밍'을 의미하는 프랑스어: programmation en logique에서 온 것이다. 1973년 프랑스 마르세유대학교의 알랭 콜메르(Alan Colmerauer)가 개발한 언어로서, 논리식을 토대로 하여 오브젝트와 오브젝트 간의 관계에 관한 문제를 해결하기 위해 사용한다.
프롤로그는 술어 논리식을 프로그램, 증명하는 것을 계산한다는 것으로 간주하는 관점에서 새로운 계산의 기술 형태를 취하고 있다. 즉, 프로그램 자체는 논리식의 모양으로 만들어지고, 그 프로그램을 실행하는 처리계가 그 증명기로 되어 있다.
추론 기구를 간결하게 표현할 수 있기 때문에 인공지능이나 계산 언어학 분야, 특히 프롤로그가 만들어진 목적이었던 자연언어 처리 분야에서 많이 사용된다.
데이터형

프롤로그의 데이터형은 아톰과 숫자, 이들의 조합인 텀으로 구성된다.
데이터형 > 아톰(Atom)

일반적인 문자열이 아톰의 역할을 한다. 소문자로 시작하는 문자, 숫자, 밑줄(_)의 조합으로 나타내어지며, 일부 특수문자들의 조합 또한 아톰이 되기도 한다. 작은 따옴표(')로 둘러싸서 아톰을 나타낼 때도 있다.('+'는 atom이고, +는 연산자이다)
abc09, table_303_133_a, camelOnARoad
데이터형 > 숫자

대부분의 Prolog 구현에서는 정수와 실수를 구분하지 않는다.
데이터형 > 변수

대문자나 밑줄(_)로 시작하는 문자, 숫자, 밑줄의 조합으로 된 문자열이 변수의 역할을 한다. 일반적인 언어에서와 달리 변수는 어떤 값을 저장하는 메모리상의 공간을 의미하지 않는다.
ABC, A_variable, _AAA
_ 와 같이 밑줄이 하나만 단독으로 쓰이는 경우는 어느 값에나 매치되는 특수 변수가 된다.
데이터형 > 텀(Terms)

텀, 혹은 스트럭처(Strucuture)는 프롤로그에서 복잡한 데이터를 표현할 때 쓰는 방법이다. 펑터(functor)라 불리는 아톰의 형태를 띤 것을 앞에 쓰고, 인자들(parameters)을 괄호 안에 나열하여 구성된다. 예를 들어 love(tom,mary)에서 love는 펑터이고, tom과 mary는 인자가 된다. 각 텀은 펑터와 인자의 수에 따라 구별되고, 펑터/인자수 (예를 들어 앞의 예의 경우 love/2)와 같이 표시한다. 인자의 수가 다르면 다른 텀이 되는데, 즉, aTerm(A)는 aTerm(A,B)와 매치되지 않는다는 데 주의해야한다.
데이터형 > 리스트

리스트는 대괄호([])로 표시되며, 내부적으로는 '.'/2라는 텀을 재귀적으로 사용함으로써 표현된다.
[]는 빈 리스트이다.
T가 리스트이고, H가 리스트의 한 요소라고 하면, '.'(H, T) 라는 텀은 리스트가 된다.
H는 머릿요소가 되고, 리스트의 나머지 부분 전체는 꼬리가 된다.
예를 들어 [1,2,3]이라는 리스트는 '.'(1,'.'(2,'.'(3,[])))이라는 텀과 동일하다. 편의를 위해 [H|T] 같이 써서 리스트 맨 앞의 머릿 요소와 나머지 부분 전체를 분리할 수 있다. 즉 [1,2,3]이 [H|T]에 매칭되면 H는 1, T는 [2,3]이 된다.
역시 편의를 위해 다음과 같이 리스트를 사용할 수 있다.
리스트 만들기: [abc, 1, f(x), Y, g(A,rst)]
리스트 L1 앞에 하나 붙이기: [abc | L1]
리스트 L2 앞에 여러 개 붙이기: [abc, 1, f(x) | L2]
텀으로 표현: '.'(abc, '.'(1, '.'(f(x), '.'(Y, '.'(g(A,rst), [])))))
데이터형 > 문자열

따옴표 안에 둘러싸여진 문자열로, 일반적으로 ASCII 값들의 리스트로 표현된다.
사실(Fact)

프롤로그에서는 사실(Fact)과 규칙(Rule)들을 제공하여 데이터베이스를 만들고, 이 데이터베이스에 질의를 함으로써 프로그램을 수행하게 된다. 프롤로그에서는 어떤 하나의 사실을 true로 정의하는 것이 가장 기본적인 동작이다. 하나의 사실은 헤드(head)와 그에 딸린 인자들(arguments)로 구성되는 서술식(predicate)으로 표현 되는데, 예를 들면 다음과 같다.
cat(tom).
'tom'이 'cat'이라고 입력했다. 여기서 'cat'은 헤드이고, 'tom'이 인자가 된다. 위 사실이 프롤로그의 데이터베이스에 저장되면 사용자는 다음과 같이 질의를 할 수 있다.
'tom'이 'cat'인지 물어보고 싶다면,
?- cat(tom).
      yes.
무엇이 'cat'인지 물어보고 싶다면,
?- cat(X).
      X = tom;
      yes.
이와같이 어떤 사실들을 프로그램이 알 수 있도록 할 수 있다. 하지만 세상의 지식을 프롤로그의 서술식으로 표현하는 데는 여러 가지 방법이 있을 수 있다. 예를 들면, 다음의 경우, 'pat'과 'sally'간에 'father'관계가 있을 때, 'pat'이 'sally'의 'father'임을 표현하는 데는 두 가지 방법이 있다.
father(pat,sally).
 father(sally,pat).
두 가지 모두 'father'가 헤드이고, 'pat'과 'sally'가 인자이다. 이 중 첫 번째 경우는 관계-주어-목적어 로 표현한 것이고, 두 번째 경우는 관계-목적어-주어로 표현한 것이다. 둘 중 어느 형태를 사용할 것인지는 프로그래머의 선택이나, 이왕이면 하나의 프로그램 안에서는 일관된 순서를 갖는 것이 좋을 것이다.
몇몇 특수한 서술식은 내부적으로 미리 정의되어 입출력이나 운영체제와의 통신 같은 특수한 기능을 수행할 수 있도록 한다. 예를 들어 write는 화면에 문자열을 출력하기 위해 사용된다.
write('Hello').
위 식은 화면에 'Hello'를 출력한다.
규칙(Rule)

프롤로그 프로그램의 또다른 표현방법은 규칙 혹은 클로즈(clause)다. 규칙은 다음과 같이 표현된다.
light(on) :- switch(on).
":-"는 만약 ...하다면을 의미한다. 즉 위 규칙은 만약 switch(on)이라면, light(on)이라는 것을 의미한다. 룰에는 변수들이 사용될 수 있다. 예를 들어,
father(X,Y) :- parent(X,Y),male(X).
위 식은 만약 X와 Y가 parent관계이고, 이와 동시에 X가 male이면 X와 Y가 father관계라는 것을 의미한다.
그리고(and)는 ","로 표시되고, 또는(or)은 ";"로 표시된다. 여러 규칙을 또는 표시를 사용하여 한꺼번에 표시할 수도 있는데, 즉
a :- b;c;d.
는 아래와 같다.
a :- b.
 a :- c.
 a :- d.
하지만 아래와 같이는 쓸 수 없다.
a;b :- c.
계산

인터프리터에 질의를 입력하면, 그 질의에 맞는 사실을 찾으려고 노력한다. 만약 직접적인 사실이 주어지지 않은 경우, 해당 사실을 결론으로 갖는 규칙들을 만족시키기 위해 재귀적으로 계속 노력한다. 예를 들어,
sibling(X,Y) :- parent(Z,X), parent(Z,Y).
 father(X,Y) :- parent(X,Y), male(X).
 mother(X,Y) :- parent(X,Y), female(X).
 parent(trude, sally).
 parent(tom, sally).
 parent(tom, erica).
 parent(mike, tom).
 male(tom).
 female(trude).
 male(mike).
위와 같이 사실과 규칙들을 정의하고, 다음과 같이 질의를 하였다고 하자.
?- sibling(sally, erica)
      yes.
인터프리터는 먼저 sibling/2 규칙에서 X와 sally, Y와 erica를 매치 시키고, 그에 따라 parent(Z, sally)와 parent(Z, erica)를 동시에 만족시키기 위하여 노력하는데, parent(tom, sally)가 있으므로 Z와 tom을 매치시키고, parent(tom, erica)를 살펴보면 parent(tom, erica)가 있으므로, 주어진 조건을 모두 만족시키게 된다. 따라서 sally와 erica가 sibling 관계임을 확인하였으므로 yes를 출력한다.
male(X) :- father(X,_).
과 같이 쓰면, father 관계가 존재하기만 하면, father의 두 번째 인자가 무엇이든 상관 없이 X가 male이라는 것을 의미한다.
계산 > 부정

만약 주어진 질의를 증명하는 어떤 사실과 규칙의 조합도 찾지 못한다면, 거짓이 된다. 이는 닫힌 세계 가정(Closed world assumption)이라 불리는데, 즉 프롤로그의 데이터베이스에 의해 사실임이 증명되지 않는다는 것은 거짓임을 의미한다는 것이다.
legal(X) :- NOT illegal(X).
와 같은 것은 가능한 모든 illegal을 찾아봄으로써 계산할 수 있다. 만약 어떤 illegal한 X도 찾지 못하는 경우, X는 legal이 된다. 이를 'Negation as failure'라고 한다.
예제

아래 예제는 ISO-PROLOG에 맞추어 작성된 것으로, 프롤로그 구현에 따라 문법이 조금씩 다를 수 있다.
예제 > 퀵 정렬

split(H, [A|X], [A|Y], Z) :-
   order(A, H), split(H, X, Y, Z).
 split(H, [A|X], Y, [A|Z]) :-
   not(order(A, H)), split(H, X, Y, Z).
 split(_, [], [], []).
 quicksort([], X, X).
 quicksort([H|T], S, X) :-
   split(H, T, A, B),
   quicksort(A, S, [H|Y]),
   quicksort(B, Y, X).
예제 > 하노이의 탑

hanoi(N) :- move(N, left, center, right).
 move(0, _, _, _) :- !.
 move(N, A, B, C) :-
   M is N-1,
   move(M, A, C, B), inform(A, B), move(M, C, B, A).
 inform(X, Y) :-
   write([move, a, disc, from, the, X, pole, to, the, Y, pole]),
   nl.
예제 > Computer Algebra

아래 예제는 프롤로그의 간편하고도 강력한 힘을 보여주기 위한 것이다.
예제 > Computer Algebra > 미분 정의

d(X,X,1) :- !.                                        /* d x     dx = 1                     */
 d(C,X,0) :- atomic(C).                                /* d c     dx = 0                     */
 d(-U,X,-A) :- d(U,X,A).                               /* d -u    dx = - d u dx              */
 d(U+V,X,A+B) :- d(U,X,A), d(V,X,B).                   /* d u+v   dx = d u dx + d v dx       */
 d(U-V,X,A-B) :- d(U,X,A), d(V,X,B).                   /* d u-v   dx = d u dx - d v dx       */
 d(C*U,X,C*A) :- atomic(C), C \= X, d(U,X,A), !.       /* d c*u   dx = c*d u dx              */
 d(U*V,X,B*U+A*V) :- d(U,X,A), d(V,X,B).               /* d u*v   dx = u*d v dx + v*d u dx   */
 d(U/V,X,A) :- d(U*V^(-1),X,A).                        /* d u/v   dx = d (u*v)^-1 dx         */
 d(U^C,X,C*U^(C-1)*W) :- atomic(C), C \= X, d(U,X,W).  /* d u^c   dx = c*u^(c-1)*d u dx      */
 d(log(U),X,A*U^(-1)) :- d(U,X,A).                     /* d ln(u) dx = u^-1 * d u dx         */
예제 > Computer Algebra > 적분 정의

i(0,X,0) :- !.                                        /* Int 0   dx = 0                     */
 i(X,X,(X*X)/2) :- !.                                  /* Int X   dx = (X^2)/2               */
 i(C,X,C*X) :- atomic(C).                              /* Int c   dx = c*x                   */
 i(-U,X,-A) :- i(U,X,A).                               /* Int -U  dx = - Int U dx            */
 i(U+V,X,A+B) :- i(U,X,A), i(V,X,B).                   /* Int U+V dx = Int U dx + Int V dx   */
 i(U-V,X,A-B) :- i(U,X,A), i(V,X,B).                   /* Int U-V dx = Int U dx - Int V dx   */
 i(C*U,X,C*A) :- atomic(C), C \= X, i(U,X,A), !.       /* Int cU  dx = c (Int U dx)          */
 i(X^C,X,(X^(C+1))/(C+1)) :- atomic(C), !.             /* Int x^c dx = x^(c+1)/(c+1)         */
 i(U,V,U*V-A) :- d(V,U,A), !.                          /* Int u   dv = u*v - Int v du        */
예제 > Computer Algebra > 정리하기 위한 규칙들

s(+,X,0,X).                                           /* x + 0 = x                          */
 s(+,0,X,X).                                           /* 0 + x = x                          */
 s(+,X,Y,X+Y).                                         /* x + y = x + y                      */
 s(+,X,Y,Z) :- integer(X), integer(Y), Z is X+Y.       /* x + y = z             <- 값 계산 */
 s(*,_,0,0).                                           /* 모든 값 * 0 = 0                   */
 s(*,0,_,0).                                           /* 0 * 모든 값 = 0                   */
 s(*,1,X,X).                                           /* 1 * x = x                          */
 s(*,X,1,X).                                           /* x * 1 = x                          */
 s(*,X,Y,X*Y).                                         /* x * y = x * y                      */
 s(*,X*Y,W,X*Z) :- integer(Y), integer(W), Z is Y*W.
 s(*,X,Y,Z) :- integer(X), integer(Y), Z is X*Y.       /* x * y = z             <- 값 계산 */