Logtalk

Logtalk는 프롤로그 프로그래밍 언어에 대한 오픈 소스 객체 지향 확장이다. 객체 지향 및 이벤트 기반 프로그래밍 로직 프로그래밍을 통합, 대부분의 프롤로그 컴파일러와 호환됩니다.
Logtalk는 프로토 타입과 클래스를 모두 지원합니다. 또한, 카테고리 계 조성물 통한 컴포넌트 기반 프로그래밍을 지원

특징 :.

인터페이스와 구현을 분리 :
술어 지침 (선언) 모든 객체에 의해 구현 될 수 프로토콜 (인터페이스) 안에 포함 할 수있다.
파라 메트릭 제품 :
개체 이름은 객체 술어 변수화하는 데 사용할 수있는 자유 변수를 포함하는 화합물 용어가 될 수 있습니다.
두 클래스 기반 및 프로토 타입 기반 시스템 지원 :
당신은 할 수 있습니다, 같은 응용 프로그램에서, (확장 관계와)과 프로토 타입 기반 계층 구조 (인스턴스 및 전문화 관계와) 클래스 기반 계층 구조.
여러 객체 계층에 대한 지원 :
필요는 일부 일반 객체에 뿌리를 둔 하나의 긴 계층에 제약을받지합니다.
개인, 보호, 공공 상속 :
Logtalk 보호, 개인 지원하고, C와 유사한 방식으로 공개 상속. 또한, 실체 관계는 범위 키워드를 사용하여 규정 할 수 있습니다.
개인, 보호, 공공 개체 조건 :
개체의 범위가 프로토콜 설계와 일치하고, 런타임 시스템이 선택 사항을 적용 할 수 있도록 술어를 설정합니다.
정적 및 동적 객체 :
객체는 정적 또는 동적 일 수 있습니다. 정적 오브젝트는 컴파일 프롤로그 파일과 동일한 방식으로로드되는 소스 파일에서 정의된다. 동적 객체는 하나의 소스 파일에 정의 된 또는 런타임에 생성 할 수 있습니다.
정적 및 동적 객체 조건 :
정적 객체는 정적 및 동적 모두 술어를 포함 할 수있다.
사전 프로세서는 그래서 우리는 표준 프롤로그 구문을 사용할 수 있습니다 :
Logtalk 부드러운 학습 곡선에 대한 몇 가지 운영 및 지침의 추가와 함께 표준 프롤로그 구문을 사용합니다.
이벤트 기반 프로그래밍 :
염탐 이벤트가 발생할 때 술어 내재적 오브젝트 결합을 최소화 프로그래밍 솔루션을 가능하게 호출 할 수있다. 게다가, 사건은 반사 행동에 대한 지원을 제공한다.
컴포넌트 기반 프로그래밍 :
술어는 임의의 코드 중복없이 관계없이 객체 계층 구조의 거의 모든 객체가 가져올 수있는 범주 내에서 캡슐화 할 수 있습니다. 따라서, 객체는 재사용 등의 세분화 된 단위 코드를 행동 범주의 구성을 통해 정의 될 수있다.
다중 상속 지원 :
Logtalk는 프로토콜 및 구현 모두의 다중 상속을 지원합니다. 객체는 여러 프로토콜을 구현하고 확장, 전문, 또는 여러 개의 객체를 생성 할 수 있습니다. 다중 상속 충돌이 Logtalk 검색 알고리즘에 의해 또는 명시 적 술어 지시어를 사용하여 암시 적으로 해결된다.
좋은 성능 :
Logtalk 코드는 사용자가 효율적으로 프롤로그 코드를 작성할 때 사용하는 것과 같은 학술적을 사용하여 컴파일됩니다. 또한, 방법 조회는 성능을 크게 향상 Logtalk 런타임 엔진에서 캐시됩니다. 일부 프롤로그 컴파일러에 대한 벤치 마크 결과는 여기에 사용할 수 있습니다.
ISO 프롤로그 표준과의 긴밀한 통합 :
Logtalk는 준수 또는 밀접하게 ISO 프롤로그 표준을 따르는 모든 프롤로그 컴파일러와 원활한 통합을 위해 설계되었습니다.
대부분의 프롤로그 컴파일러와 호환 :
최소한의 구성 파일이 거의 모든 현대 컴파일러와 호환 만들기를 통해 특정 프롤로그 컴파일러와 인터페이스를 Logtalk.
XML 문서 파일의 자동 생성 :
Logtalk마다 자동으로 컴파일 된 객체, 프로토콜, 또는 카테고리에 대한 XML 형식의 문서 파일을 생성합니다. 이 시스템은 (X) HTML 및 PDF로 문서화 파일을 변환하는 데 필요한 모든 XSL (T) 파일과 스크립트가 포함되어 있습니다.
Logtalk는 프롤로그 컴파일러 (주 개발 환경이 맥 OS X를 실행하는 애플 파워 북 G4이다)와 거의 모든 컴퓨터에서 실행됩니다. Logtalk 특정 프롤로그 컴파일러 간의 인터페이스는 구성 파일을 통해 달성된다.
이 파일은 프롤로그 컴파일러에서 사용할 수없는 ISO 프롤로그 표준 술어에 대한 몇 가지 Logtalk 특정 조건과 구현이 포함되어 있습니다.
Logtalk를 작성에서 나는 가능하면 프롤로그 ISO 표준을 따르도록 노력했다. ISO 표준의 부에 정의되지 않은 Logtalk에 필요한 기능은 다음과 같습니다 :
액세스 속성 (동적, 정적, BUILT_IN를) 술어 :
좋아하는 프롤로그 구성 파일은 매우 간단하고, 위에서 언급 한 이러한 기능을 가지고 제공. Logtalk 패키지는 이미 가장 일반적인 프롤로그 컴파일러에 대한 구성 파일이 포함되어 있습니다. 최적의 성능을 위해, Logtalk는 프롤로그 컴파일러는 정적 및 동적 코드를 첫 번째 인수 인덱싱을 지원해야합니다.
Logtalk의 developement 및 테스트는 현재 (알파벳 순서) 다음 프롤로그 컴파일러를 사용하여 수행됩니다 :
GNU 프롤로그 1.2.18
SWI 프롤로그 5.4.7
YAP의 4.5.7
그 때문에, 이러한 Logtalk를 실행 (당신이이 컴파일러 중 하나를 무료로 사용할 수있는 것을 제공)위한 최선의 선택은 아마.
또한, Logtalk 거의 또는 (알파벳 순서) 다음 프롤로그 컴파일러와 수정없이 실행됩니다 :
ALS 프롤로그 3.1
Amzi! 프롤로그 6.22 ~ 7.x의
BinProlog 8.x의 ~ 10.x를
B-프롤로그 4.0, 5.0, 6.x의
CIAO 프롤로그 1.10p5
이클립스 5.5 ~ 5.8
/ 프롤로그 5.x를 IF
JIProlog 3.0.1-2
K-프롤로그 5.1.2a
LPA MacProlog32 1.25
LPA WinProlog32 4.0
MasterProlog 4.1
열기 프롤로그 1.1b10
PrologII 4.5
QU-프롤로그 6.7
퀸 투스 프롤로그 3.3 ~ 3.5
SICStus 프롤로그 3.8 ~ 3.12.x
XSB 2.6 ~ 2.7

이 릴리스의 새로운 기능 :; 전에 & quot

는 & quot를 호출하는 메커니즘을 보내는 메시지를 수정; 방법 조회를 수행하기 전에 이벤트 핸들러. 이러한 변화는 기존의 코드에 전혀 영향을 미치지하지만 몇 가지 흥미로운 응용 프로그램 (예 : 메시지가 이해되지 않는 예외를 던지는 대신 실패) 할 수 있어야합니다.
컴파일 할 때 / 플래그 값을 설정 파일을로드 및 / 2 내장 술어를 set_logtalk_flag를 사용할 때와 컴파일러 플래그의 더 일관된 처리 : 두 경우 모두, 설정 & quot; smart_compilation & quot; 전원이 꺼집니다에 플래그 & quot; 청소 & quot; 플래그 및 설정 & quot; 청소 & quot; 전원이 꺼집니다에 플래그 & quot; smart_compilation & quot; 플래그. 또한, & quot 설정하는 단계; 디버그 & quot을; 플래그 꺼집니다 모두에 & quot; smart_compilation & quot; 및 quot; 청소 & quot; 플래그.
허용 소프트 절단 제어 구조체 (* -)에 대한 계산치 기본적 백엔드 프롤로그 컴파일러에 의해 지원되는 경우에 대한 GNU 프롤로그 지원을 논의하는 동안 / 2, 다니엘 디아즈 발언 후 (문법 규칙의 본체에 사용되는 소프트 컷 제어 구조).
Logtalk 컴파일러의 버그를 수정 할 때 & quot; source_data & quot; 플래그는 읽기 용어의 위치를​​ 검색 할 수 없습니다 백 엔드 프롤로그 컴파일러에 있습니다.
첫 번째 메타 인수가 올바르게 처리 될 만 meta_non_terminal / 한 지침의 편집에 버그가 수정되었습니다.
윈도우 64 비트 시스템에서 실행되는 때를 감지 할 때 사전 처리 lib 디렉토리 / 1 지시가 아닌 술어와 비 운영자 수출을 무시하는 이클립스 설정 파일을 업데이트했습니다.
업데이트 된 단위 테스트 프레임 워크는 실패 단위 테스트에 대한 더 많은 정보를 메시지를 인쇄합니다.
listp & quot ;, & quot;이 추가 술어 하 '(지정된 길이의 서브리스트에리스트를 분할하는) / 4 분할리스트'및 'difflist & quot 단계; 라이브러리 기관.
CC 명세서 및 첨부 된 청구의 범위에서 quot 업데이트; CxProlog의 쉘 / 2 술어에 대한 정의와 예.
마일 명세서 및 첨부 된 청구의 범위에서 quot 내의 오브젝트의 이름을 변경; 예를 들어, 단위 테스트를 실행할 때 예를 들어 이름이 충돌을 방지 할 수 있습니다.
YAP 64 비트 버전의 탐지를 방지 윈도우 설치 프로그램의 버그가 수정되었습니다. 버그 보고서에 대한 스테판 Ipatov 감사합니다.
설치 디렉토리를 사용자 정의에서 사용자를 방지 윈도우 설치 프로그램의 버그가 수정되었습니다. 버그 리포트 및 버그를 진단 개빈 램버트 다니엘으로 Moniz 감사합니다.
XSB의 개선 검출을위한 Windows 설치 스크립트를 업데이트하고 Logtalk가 이미 설치되어있는 컴퓨터의 관리자가 아닌 사용자가 실행하는 경우에만 사용자 별 파일을 설치 기본값으로.
라텍스 quot에 대한 추가 기본 지원, 목록 & quot; 패키지. 에 추가 된 노트 & quot; 주조 & quot; 및 quot; texmates & quot; LaTeX의 패키지로 제공된다.
Textastic 아이 패드 텍스트 편집기에 추가 된 노트.
UltraEdit는 텍스트 편집기에 대한 기본 구문 색상 코드 접이식 지원 추가.
TextMate를 번들을 업데이트하는 것은 TextMate를 2.0 개발 버전에 도입 된 자동 들여 쓰기 수정을 사용하지 않도록 설정할 수 있습니다.

이 버전 2.44.0의 새로운 기능 :

술어 선언과 보완 개체의 조건 정의를 모두 패치 할 수 있도록 카테고리를 보완의 의미를 변경. 이 술어 선언과 정의 조회를 보완 개체 자체로 또는 관련 기관에보고하기 전에 보완 범주에서 시작함으로써 달성된다.
꺼져 카테고리를 보완에 대한 지원과 함께 컴파일 된 보완 개체에 대한 보완 범주를 컴파일 할 때 경고를 생성하기 위해 Logtalk 컴파일러를 업데이트했습니다.
호출 컨텍스트를 & quot 설정됩니다 메타 술어에 대한 메타 통화의 처리의 버그를 수정,이 & quot; 대신 & quot의; 보낸 사람 & quot; 메타 인수가 :: / 2 중 하나, {} / 1이었다 때마다,

이 버전 2.43.3의 새로운 기능 :

이 내장 된 방법 반사에 대한 호출을 컴파일 할 때 계정에 사용 / 2 지시문을 취할 수있는 컴파일러가 변경되었습니다. 이 변경 사항은 용도 / 2 지시어의 의미를 확장하고 Logtalk하려면 일반 프롤로그 응용 프로그램에서 쉽게 마이그레이션 할 수 있습니다.
범위 / 1 속성을 추가, predicate_property / 2 내장 메소드의 구현을 업데이트했습니다.
소스 파일 이름, 소스 파일 디렉토리, 그리고 상기 생성 된 파일에 대한 프롤로그 소스 파일 컴파일러 옵션 정보를 추가 Logtalk 컴파일러 업데이트. 소스 파일을로드 할 때 이전 버전에서,이 정보는 등록되었다. 변경 사항은 Logtalk 라이브러리를 미리 컴파일 및 사전로드 된 어플리케이션을 구축을 간소화 할 수 있습니다.
소스 파일의 편집에 사용되는 후크 오브젝트의 이름을 인쇄 Logtalk 컴파일러를 업데이트 할 때 & quot; 후크 & quot; 컴파일러 플래그가 정의됩니다.
그 / 일 구현 후퇴 호출 결정하도록 업데이트 논리적 의미를 활용하지 못하는 백엔드 프롤로그 컴파일러에 의해 생성 된 불필요한 선택 지점을 회피하기 위해 내장 된 디버거 업데이트.
이 엔티티 존재 예외를 던지는 경우 내부 개체 식별자를 디 컴파일하는 데 실패 Logtalk 컴파일러 런타임 처리기에 버그가 수정되었습니다.
내부 Logtalk 런타임 테이블에서 사용하는 동적 술어의 일부 인덱스 / 1 지시문을 추가, 린 (Lean) 프롤로그 구성 파일을 업데이트했습니다.
적시에 다중 인수 인덱싱에 대한 새로운 실험 SWI - 프롤로그 지원이되지 않습니다 인덱스 / 1 지시자의 가용성을 테스트 할 SWI - 프롤로그 통합 파일을 업데이트했습니다.
listp & quot; 라이트 / 4 라이브러리 하 ', 그리고 hamming_distance / 3 (목록의 요소를 교체하기위한) 대체, (주어진 길이의 목록의 서브 시퀀스를 생성하는) 서브 / 4 술어; 및 quot; 목록 & quot; 기관.
추가됨 euclidean_norm / 2 chebyshev_norm / 2 manhattan_norm / 2 euclidean_distance / 3 chebyshev_distance / 3 manhattan_distance / 3, 라이브러리 하 'scalar_product / 3 술어; numberlistp & quot; 및 quot; numberlist & quot; 기관.
문자 명세서 및 첨부 된 청구의 범위에서 quot의 정의에 바보 같은 버그를 수정; 라이브러리 객체 / 1 is_bin_digit 술어 / 1 / 1 is_dec_digit 및 / 1 is_hex_digit is_octal_digit.
라이브러리 & quot 업데이트, all_loader.lgt & quot; meta_compiler_loader.lgt & quot; 로더 파일은 & quot를로드하는 단계; 로더 파일.

이 버전 2.43.1의 새로운 기능 :

이 내장 된 방법 데이터베이스에 전화를 컴파일 할 때 계정에 사용 / 2 지시문을 취할 수있는 컴파일러가 변경되었습니다. 이 변경 사항은 용도 / 2 지시어의 의미를 확장하고 Logtalk하려면 일반 프롤로그 응용 프로그램에서 쉽게 마이그레이션 할 수 있습니다.
coinductive / 1 지시자 인수로 술어 템플릿을 사용하는 실험적인 지원 추가. 이 템플릿은 인수가 coinductive 성공을위한 의미가있는 지정할 수 있습니다. 비슷한 기능을 기반으로하기 Feliks Kluzniak의 DRA 메타 인터프리터에 발견했다.
Logtalk 내장 디버거를 사용할 때 coinductive 술어를 디버깅에 대한 지원이 향상되었습니다.
CxProlog 제거 coinduction 지원. 이 컴파일러의 현재 버전은 내장 지금 실험 coinduction 구현에 필요한 조건 또는 제어 구조, 부드러운 컷이 부족하다.
목표 인수가 ^ / 2 실존 수량을 사용할 수 있습니다 때마다 bagof / 3 SETOF / 3 내장 방법에 대한 래퍼 술어의 사용자 정의를 방지 오랜 제한을 해제합니다.
^ 명세서 및 첨부 된 청구의 범위에서 quot 지원 추가; 메타 술어 메타 인수 모드 지정자 월 Wielemaker에 의해 제안 및 SWI - 프롤로그 5.11.25에서 발견. 목표 인수가 ^ / 2 실존 수량을 사용할 수 있습니다 때마다 bagof / 3 SETOF / 3 내장 방법에 대해 래퍼를 정의 할 때이 모드 지정자에 유용합니다.
추가 & quot; prolog_compiler & quot; 및 quot; prolog_loader & quot; 백 엔드 디스크로 컴파일하고 (컴파일) 프롤로그 플래그를로드 프롤로그 컴파일러 내장 술어 옵션을 통과 허용 컴파일러 플래그. 두 플래그의 기본값은 빈 목록입니다.
Logtalk 컴파일러는 목표로 비 메타 인수를 처리하기 위해 시도 할 수 메타 술어 내장 프롤로그 독점에 대한 호출을 컴파일 할 때 버그가 수정되었습니다. 이 버그는 Eclipse와 같은 일부 백 엔드 프롤로그 컴파일러로 명시했다.
조건부 컴파일 지시문의 처리에 버그가 수정되었습니다.
/ 4 create_category create_object / 4 호출에 전달 별명 / 3 지시를 방지 버그, 및 create_protocol / 3 내장 된 술어가 수정되었습니다.
logtalk & quot; 내장 객체 & quot에서 제거; decompile_predicate_head / 4 decompile_predicate_indicator / 4 사용되지 않는 방법.
긴되지 Logtalk에 대한 제거 지원 / 1 지시문을 metapredicate.
파라 메트릭 범주로 작업 할 때 캐시 항목이 필요 이상으로 특정 될 수 카테고리 술어에 대한 호출을 캐싱 할 때 성능 버그가 수정되었습니다.
슈퍼 & quot; & quot 향상된 캐싱; 프로토 타입 내에서 호출합니다. 이전에 캐시 된 모든 항목는 '1'의 값에 의해 전문 될 것이다 자기 & quot; 제대로 객체가 모두 인스턴스화 다른 객체를 전문으로 특별한 경우에 대처하기 위해.
지시문을 포함하는 엔티티의 컴파일시 조건 범위 지침에 발견 된 연산자 선언을 활성화하기 위해 Logtalk 컴파일러를 업데이트했습니다.
소프트 컷 소프트 컷 제어 구조를 제공하지만, 제공하지 않는 등 SICStus 프롤로그와 같은 백 엔드 프롤로그 컴파일러를 사용하는 경우 coinductive 술어의 성능을 향상 내장 된 메타 술어 (/ 3시).
보고서 & quot; 컴파일러 플래그 & quot로드 소스 파일을 컴파일 할 때 컴파일 /로드 경고 가짜 보고서를 인쇄 할 수있는 버그 / 수정; 전원이 꺼집니다.
추가 & quot; streamvars & quot; 기존 & quot에서 파생 된 라이브러리 오브젝트; assignvars & quot; 스트림 & a는에서 (변수 일 수있는) 조건을 추가하고 검색하기위한 지원을 갖춘 라이브러리 범주; 변수입니다.
업데이트 & quot; coinduction & quot; 예컨대, 향상된 coinductive / 1 지시자를 활용하고 SICStus 프롤로그 사용 실행할 수있는 개별 사례의 수를 확대. 네다 Saeedloei 기부 모델, 예를 확인 coinduction를 사용하여, coroutining 및 제약 조건을 추가했습니다.
업데이트 & quot; metapredicates & quot; 메타 인수가 실존 자격을 갖춘 변수를 포함 할 수있는 경우 bagof / 3 SETOF / 3 내장 방법에 대해 래퍼를 정의하는 방법을 보여주는 샘플 코드 예제.
CC 명세서 및 첨부 된 청구의 범위에서 quot 업데이트; 예를 들어, 몇 백 엔드 프롤로그 컴파일러에 대한 조건 정의를 수정하고 몇 가지 기본 단위 테스트를 추가.
업데이트 & quot; 인코딩 & quot; 린 프롤로그에 대한 지원이 제한 예.
도움이 & quot; meta_non_terminal / 1 지시문과 통화 // N 하 '비 터미널 누락 된 항목을 추가; 예.
로버트 사삭에 의해 제공 PDDL 3.0 파일에 대한 파서를 추가했습니다.
SubEthaEdit 텍스트 편집기 지원을 접는 추가 코드입니다. 케이트, 빔, 그리고 TextMate를 텍스트 편집기에 조건부 컴파일 블록에 대한 지원을 접는 추가 코드입니다.
라이브러리 경로 Logtalk 컴파일러 / 런타임로드하기 전에 파일을로드하기 위해 통합 스크립트를 업데이트. 이 변경 사항은 설정 파일에서 라이브러리 및 예제 파일의 로딩을 단순화하는 것을 목표로하고있다. LOGTALKHOME 환경 변수가 정의되지 않은 경우뿐만 아니라, 또한 $ HOME / 공유의 Logtalk 설치 디렉토리를 찾습니다. 제안을 대 엘리베이터 산토스 코스타 감사합니다.
린 프롤로그 지원 YAP 64 비트 버전을 검출하기 위해 설치 윈도우 업데이트.

이 버전 2.43.0의 새로운 기능 :

이 린 프롤로그에 대한 실험적인 지원 추가.
Logtalk 컴파일러와 런타임에 의해 변경 오류보고. 모든 예외 조항은 지금, 가능하면, 오류 사용 (오류, logtalk을 (목표, 엔티티))
형식입니다. 사용 검사 내부 오류를 변경 때마다 실제, 새로운 '$의 lgt_must_be'/ 2-3 내부 술어.
추가 & quot; 최적화 & quot; 누구의 기본 값 quot 플래그입니다;에 & quot ;. 이 플래그는 사용자가 예를 들어 기존 최적화를 끌 수 있습니다 디버깅 작업 (
현재 구현 최적화 컴파일 된 술어 절의 몸에서 참 / 0에 대한 중복 호출의 제거 및 제거를 포함
(=) 문법의 확장에 의해 생성 된 조항의 몸에서 / 2)에 대한 중복 호출.
추가 & quot; source_data & quot; 누구의 기본 값 quot 플래그입니다;에 & quot ;. 를 & quot 설정이 플래그와 함께 온 quot ;, Logtalk 모드 / 2를 사용하여 표현 된 정보를 유지합니다,
정보 / 1-2, 디버깅 모두에 유용 / 2, use_module / 2 지시 플러스 (소스 파일 이름과 줄 번호 포함) 소스 위치 데이터를 사용
개발 툴과의 통합을 위해. 이 플래그는보다 컴팩트 한 코드를 생성하기 위해 턴 오프된다. parameter_names / 1 개체와
카테고리 속성은 중복을 피하기 위해 제거된다.
개체, 프로토콜 및 범주 / 1 속성을 / 1 보호 및 개인 구현됩니다. 함께 공개 / 1 속성, 이러한 속성
엔티티에 선언 된 조건의 목록은 반사 계산을 위해 접근 할 수있게 할 수 있습니다. 구현, / 2 선언 / 2 정의 / 3 포함
술어 선언 및 기업 내에서 정의의 속성에 액세스 / 3 속성을 제공합니다. 선언 속성은 line_count 변수 / 1, 조건 범위 지시어의 행 번호를 포함한다. 정의 속성 line_count 변수 / 1, 제 머리의 행 번호를 포함
술어 절 및 number_of_clauses / 1, 술어에 대한 조항의 수. 또한 실험 용도 / 3 use_module / 3 속성을 구현했습니다.
재정의 술어의 정의를 포함하는 객체 또는 범주에 대해 조회 수, redefined_from / 1 자 속성을 추가했습니다.
에 loaded_file / 3 술어를 추가 & quot; logtalk & quot; 내장 된 기존 loaded_file / 2 술어를 보완에 액세스 할 수 있습니다 개체,
파일을 컴파일 및로드 할 때 명시 적 옵션을 사용합니다.
meta_non_terminal / 1 지시 및 통화 구현 컴파일러 지원 // N 내장 된 비 터미널.
문법 규칙에 비 터미널 범위와 존재의 오류를 처리하기위한 지원을 제거하여 문법의 컴파일을 단순화
대신 조건 레벨의 수준. 문법 규칙을 디버깅 할 때이 기능이 도움이 될 수 있지만, 프롤로그 - 네이티브 개발 도구 Logtalk의 통합을 복잡.
엔티티 절 위치를 저장하고 백 엔드 프롤로그 컴파일러에이 정보를 사용할 수 있도록하기 위해 Logtalk 컴파일러를 업데이트했습니다.
동적 개체에 대한 술어 선언과 정의 테이블에 대한 불필요한 내부 포괄적 인 조항을 생성하는 것을 방지하기 위해 Logtalk 컴파일러를 업데이트했습니다.
객체의 캡슐화를 깨는 다중 파일 술어를 사용하여 배제하기 위해 Logtalk 컴파일러를 업데이트했습니다. 차 선언
엔티티는 범위와 조건에 대한 다중 파일 지시어를 모두 포함, 존재해야합니다. 또한, 멀티 파일에 대한 조항을 규정
엔터티 :: 다중 파일에 대응 / 1 지시없이은 Functor / 인수에 지금 대신에 단순히 경고의 컴파일 오류가 발생합니다.
선언 된 술어에 대한 호출을 선행 불연속 / 1 및 동적 / 1 지시를 강제 Logtalk 컴파일러 제한을 제거.
문법 규칙의 비 터미널에 잘못 철자 한 통화의 Logtalk 컴파일러 보고서를 개선.
/ 1 제어는 문법 규칙의 본체 상에 구성 :의 사용을 허용.
용도 / 2 지시문에 지정된 메시지를 디버깅 할 때, 메시지는 현재 사용자에 의해 쓰여진 소스 코드로서 내재적으로 규정 인쇄된다.
의 구현에 사용되는 내부 술어를 변경 내장 멀티 스레딩 술어 통합을 용이하게하기 위해서
높은 수준의 생성 된 프롤로그 코드의 컴파일을 필요로 디버깅 도구.
동기화 술어를 호출 엔티티 술어의 편집에 Logtalk 2.42.4에 도입 된 버그가 수정되었습니다. 이 버그는 통화 결과
대신 스레드 목표의 임의의 실패에 명시 할 것 술어의 비 동기화 된 형태로 만들어지고.
카테고리 내에서 런타임 컴파일 메타 호출이 객체의 술어에 전화로 컴파일 될 것이다 오랜 버그를 수정
카테고리 대신 같은 로컬 범주 술어에 대한 호출을 가져 오기.
엔티티 플래그 값은 개체에 저장할 수 실패 set_logtalk_flag / 2 지시어를 사용하여 로컬로 설정 오랜 버그를 수정
컴파일 된 코드.
없이 성공할 / 1 방법을 폐지 비 프로토 타입 객체에 동적 술어를 폐지 오랜 버그를 수정
술어 실제로 폐지된다.
의 맥락에서 런타임 컴파일을 필요로하는 메타 인수를 호출 할 때 올바른 실행 컨텍스트를 설정하는 버그를 수정
& quot; 보낸 사람 & quot ;.
모듈 자격에서 제외 될 메타 술어를 모듈 명시적인 자격을 갖춘 호출의 편집에 버그를 수정
컴파일 된 전화. 메타 인수의 컨텍스트에서 호출됩니다 즉, 이러한 호출은 (Logtalk 메타 술어 의미를 사용합니다
발신자) 대신에 평소 프롤로그 모듈 메타 술어 의미의.
를 사용할 때 coinduction 스택이 초기화되지 않은 버그를 수정

이 버전 2.42.4의 새로운 기능 :

이 버전이 포함되어 컴파일러, 런타임 및 멀티 스레딩 성능 최적화를 동기화 / 1 및 동적 / 1 컴파일러 에러 메시지를 향상 지침은, 여러 프로그래밍 예제를 향상 logtalk 객체에 새로운 유틸리티 술어를 추가, 파일을 문서화 운영자 범위 정보를 보존하고 자동으로 생성 된 XML에이 정보를 출력에 대한 지원을 추가 Windows 및 기능에 대한 SWI - 프롤로그 제거 버그에 대한 해결 방법을 포함한다 숨어 - 프롤로그, SICStus 프롤로그, SWI - 프롤로그, XSB 및 YAP 용의 이식 업데이트됩니다.

이 버전 2.42.3의 새로운 기능 :

이 버전은 & quot의 맥락에서 동적 술어를 호출에 대한 지원을 추가,이 & quot을; 카테고리 내에서, SICStus 프롤로그 CLP (FD) 라이브러리를 사용하는 경우 indexicals에 대한 지원의 실험 예를 추가 추가, 개선 된 라이브러리 및 예제를 포함, 미리 컴파일 된 절 헤드에 대한 지원을 추가 내장 된 디버거 버그 수정 및 개선 사항이 포함되어 있습니다 개체 및 범주 내에서 기인 변수를 사용하여, 이클립스, GNU 프롤로그, SICStus 프롤로그 및 SWI-Prolog에 대한 휴대 업데이트를 제공합니다.

이 어떤 버전 2.42.2의 새로운 것은

이 버전은 메타 술어 통화에서 메타 인수의 확인 향상, 술어를 모듈에 대한 호출의 컴파일을 향상, 람다에 대한 지원을 향상 표현식, 라이브러리 메타 술어에 대한 호출에 대한 최적화 컴파일러를 포함, 기존의 예제와 라이브러리를 향상 자바 스크립트 기반의 SyntaxHighlighter 패키지를 사용에 대한 지원을 추가하고, 정수 카운터, 이벤트 로깅 시간 간격 관계로 작업하고 사용하기위한 새로운 라이브러리를 추가 기능은 GNU 프롤로그, 숨어 - 프롤로그, SICStus 프롤로그, SWI - 프롤로그 및 XSB에 대한 업데이트를 휴대.

이 버전 2.42.1의 새로운 기능 :

이 버전은 더 프롤로그 독점 메타 술어 내장에 대한 지원을 가능하게 새로운 메타 술어 모드 지표에 대한 지원을 추가합니다.
지원 감지하고 누락 된 동적 / 1 불연속 / 1 지시를보고 하였다.
새로운 보풀이 플래그가 추가되었습니다.
두 메타 조건 컴파일 버그가 수정되었습니다.
예제 중 일부는 업데이트되었습니다.
휴대 업데이트는 B-프롤로그, SICStus 프롤로그, SWI - 프롤로그, XSB 및 YAP을 위해 만들어졌다.