비주얼 프롤로그
Visual Prolog | |
| 패러다임 | 멀티패키지: 논리, 기능, 객체 지향, 필수 |
|---|---|
| 개발자 | PDC A/S |
| 안정된 릴리스 | 10 빌드 1002 / 2021년 7월 19일, 전( |
| 타이핑 분야 | 정적, 강력, 추론 |
| OS | 창문들 |
| 면허증. | 독자 사양 |
| 웹 사이트 | www |
Visual Prolog(이전에는 PDC Prolog 및 Turbo Prolog)는 Prolog의 강력한 객체 지향 확장입니다.Turbo Prolog는 Borland에 의해 판매되었지만, 현재는 Turbo Prolog를 만든 덴마크 PDC에 의해 개발 및 판매되고 있습니다.Visual Prolog는 Microsoft Windows GUI 응용 프로그램, 콘솔 응용 프로그램, DLL(동적 링크 라이브러리) 및 CGI 프로그램을 구축할 수 있습니다.또한 ODBC를 통해 COM 컴포넌트 및 데이터베이스에 링크할 수도 있습니다.
Visual Prolog에는 x86 머신 코드를 생성하는 컴파일러가 포함되어 있습니다.표준 Prolog와 달리 Visual Prolog로 작성된 프로그램은 정적으로 입력됩니다.이것에 의해, 런타임 대신에 컴파일시에 에러를 검출할 수 있습니다.
역사
버전 10에서는 오브젝트 표현, 마스터/슬레이브 프로세스 지원, Microsoft Edge webView2 컨트롤 및 Direct2D+DirectWrite+Windows Imaging Component 지원이 도입되었습니다(Visual Prolog 10의 신기능도 참조).
버전 9에서는 제한 다형성, 확장 술어, 스레드 세이프 록 프리 팩트 데이터베이스, 명명된 파라미터가 도입되었습니다(Visual Prolog 9의 새로운 기능 참조).
버전 8에서는 디버거 및 실행 중인 프로그램에서 보다 사용자 친화적인 데이터 프레젠테이션을 위해 발표자를 소개합니다(Visual Prolog 8의 새로운 기능 참조).
버전 7.5에는 http 서버와 LALR(1) 파서 제너레이터가 포함되어 있습니다(「Visual Prolog 7.5의 신기능」도 참조).
버전 7.4에서는 64비트 Windows 코드를 생성할 수 있습니다(Visual Prolog 7.4의 새로운 기능 참조).
버전 7.3에서는 범용 클래스 및 인터페이스(일반 프로그래밍 참조), 보호 모니터(Visual Prolog 7.3 신기능 참조)가 도입되었습니다.
버전 7.2에서는 익명 술어(익명 함수에 대한 논리적 펜던트)와 네임스페이스가 도입되었습니다(Visual Prolog 7.2의 새로운 기능 참조).
버전 7.0에서는 파라미터 다형이 도입되었습니다.
버전 6.0 이후 이 언어는 완전히 객체 지향적입니다.
하노이 예시
하노이 타워의 예에서 프롤로그 추론 엔진은 순서대로 작은 디스크 스택을 왼쪽 극에서 오른쪽 극으로 한 번에 하나씩 이동하는 방법을 파악하여 중앙을 통과함으로써 작은 디스크 위에 큰 디스크가 생기는 일이 없도록 합니다.술어hanoi는 디스크 수를 나타내는 정수를 첫 번째 인수로 사용합니다.
학급 하노이 술어 하노이 : (서명되어 있지 않다 N). 끝. 학급 하노이 시행하다 하노이 도메인 막대기 = 왼쪽; 중심; 맞다. 조항 하노이(N) :- 움직이다(N, 왼쪽, 중심, 맞다). 학급 술어 움직이다 : (서명되어 있지 않다 N, 막대기 A, 막대기 B, 막대기 C). 조항 움직이다(0, _, _, _) :- !. 움직이다(N, A, B, C) :- 움직이다(N-1, A, C, B), 스태디오::기입하다("원반을 %극에서 %극으로 이동\n", A, C), 움직이다(N-1, B, A, C). 끝. 시행하다 하노이 목표 콘솔::초기화(), 하노이::하노이(4). 접수처
브루스 F. BITE의 Webster는 1986년 9월에 Turbo Prolog를 칭찬하면서 Turbo Pascal만큼 그를 흥분시킨 최초의 Borland 제품이라고 말했습니다.그는 사용자 인터페이스와 저렴한 가격이 마음에 들어 BYU 교수 2명이 대학에서 사용한 프롤로그보다 우수하다고 말했다고 전했다.웹스터는 이 언어에 대한 시장의 요구에 의문을 제기하면서 "터보 프롤로그는 3년 전에 Turbo Pascal이 대표했던 것처럼 소프트웨어 디자인에서 중요한 도약일 수 있다"고 결론지었고, "인공지능, 데이터베이스, 전문가 시스템 또는 프로그래밍에 대한 새로운 사고 방식에 관심이 있는 사람들"[1]에게 그것을 추천했다.그 달 잡지의 또 다른 저자는 이 언어의 비표준적이고 구조화된 구문이 "표준 프롤로그보다 훨씬 읽기 쉬운 소스 목록"을 만든다고 썼다.그는 그것이 "많은 좋은 기능"을 가지고 있다고 말하면서도, 터보 프롤로그의 "컴파일러의 터보 파스칼 향과 강력한 데이터 입력... 언어의 정체성 문제를 야기한다"고 말했다.저자는 이를 "터보 파스로그"라고 표현하면서 "프롤로그 프로그래머가 되는 것을 진지하게 고려하고 있다면 추천하지 않는다"[2]고 결론지었다.1989년 잡지는 BYTE Awards의 "Distribution" 수상자로 Turbo Prolog 2.0을 선정하여 볼랜드가 "실제 애플리케이션 프로그래밍을 위한 시스템 개발"[3]을 어떻게 수행했는지에 대해 승인했습니다.
Visual Prolog 관련 서적
- Thomas W. de Boer, 비주얼 프롤로그 초보자
- 에두아르도 코스타, Tyros 비주얼 프롤로그
- Giovanni Torrero, VISUAL PROLOG PER PRINCPIANTI 이탈리아어 113 페이지 (pdf)
- 랜달 스콧, 비주얼 프롤로그를 사용한 인공지능 가이드 ISBN978-1-4327-4936-1
「 」를 참조해 주세요.
레퍼런스
- ^ Webster, Bruce F. (September 1986). "Two Fine Products". BYTE. p. 335.
- ^ Shammas, Namir Clement (September 1986). "Turbo Prolog". BYTE. p. 293.
- ^ "The BYTE Awards". BYTE. January 1989. p. 327.
