Logtalk

프롤로그 이후 거의 업데이트, 다시 1972 년에 출시 된 범용 논리 프로그래밍 언어입니다.

Logtalk는 현대 프롤로그에 기능, 주로 성능 향상, 람다 표현, 문법 규칙, 향상된 컴파일러 오류 및 경고보고를 추가하기 위해 만들어졌습니다.

이들의 위에, 쉬운 설치 과정 및 프롤로그 컴파일러 호환성 업데이트를 추가 할 수 있습니다.

이은 현대 AI 및 컴퓨터 언어학 시나리오, 훨씬 더 강력한 멀티 패러다임 언어, 이벤트 중심과 높은 수준의 멀티 스레딩 프로그램에 적합한의 프롤로그에 더 나은, 더 적절한 대안을 Logtalk 수 있습니다.

현재 Logtalk 구문은 표준 프롤로그 구문을 확장하고 이러한 프롤로그 컴파일러에 Logtalk를 실행할 수 있습니다 :

B-프롤로그

CxProlog

이클립스

GNU 프롤로그

린 프롤로그

숨어 - 프롤로그

SICStus 프롤로그

SWI 프롤로그

XSB

YAP

이 릴리스의 새로운 기능입니다 :

이 개선 :
소스 위치 데이터와 컴파일 된 용어를 장식하는시기를 결정하기 위해 해당 태그를 사용하여 생성 된 중간 프롤로그 파일의 크기를 최소화하기 위해 컴파일 된 코드를 작성할 때 용어 태그에 대한 변경 사항은 (현재 만 SWI - 프롤로그가 위치 데이터의 활용) 사용 .
결정된:
파일은 하나 이상의 상위 파일을 가질 수 있습니다.

이 버전 3.02.2의 새로운 기능 :

이 개선 :
소스 위치 데이터와 컴파일 된 용어를 장식하는시기를 결정하기 위해 해당 태그를 사용하여 생성 된 중간 프롤로그 파일의 크기를 최소화하기 위해 컴파일 된 코드를 작성할 때 용어 태그에 대한 변경 사항은 (현재 만 SWI - 프롤로그가 위치 데이터의 활용) 사용 .
결정된:
파일은 하나 이상의 상위 파일을 가질 수 있습니다.

이 버전 3.02.1의 새로운 기능 :

이 개선 :
소스 위치 데이터와 컴파일 된 용어를 장식하는시기를 결정하기 위해 해당 태그를 사용하여 생성 된 중간 프롤로그 파일의 크기를 최소화하기 위해 컴파일 된 코드를 작성할 때 용어 태그에 대한 변경 사항은 (현재 만 SWI - 프롤로그가 위치 데이터의 활용) 사용 .
결정된:
파일은 하나 이상의 상위 파일을 가질 수 있습니다.

이 버전 3.00.4의 새로운 기능 :

이 개선 :
소스 위치 데이터와 컴파일 된 용어를 장식하는시기를 결정하기 위해 해당 태그를 사용하여 생성 된 중간 프롤로그 파일의 크기를 최소화하기 위해 컴파일 된 코드를 작성할 때 용어 태그에 대한 변경 사항은 (현재 만 SWI - 프롤로그가 위치 데이터의 활용) 사용 .
결정된:
파일은 하나 이상의 상위 파일을 가질 수 있습니다.

이 버전 3.00.2의 새로운 기능 :

이 개선 :
소스 위치 데이터와 컴파일 된 용어를 장식하는시기를 결정하기 위해 해당 태그를 사용하여 생성 된 중간 프롤로그 파일의 크기를 최소화하기 위해 컴파일 된 코드를 작성할 때 용어 태그에 대한 변경 사항은 (현재 만 SWI - 프롤로그가 위치 데이터의 활용) 사용 .
결정된:
파일은 하나 이상의 상위 파일을 가질 수 있습니다.

이 버전 3.00.1의 새로운 기능 :

이 개선 :
소스 위치 데이터와 컴파일 된 용어를 장식하는시기를 결정하기 위해 해당 태그를 사용하여 생성 된 중간 프롤로그 파일의 크기를 최소화하기 위해 컴파일 된 코드를 작성할 때 용어 태그에 대한 변경 사항은 (현재 만 SWI - 프롤로그가 위치 데이터의 활용) 사용 .
결정된:
파일은 하나 이상의 상위 파일을 가질 수 있습니다.

이 버전 2.44.1의 새로운 기능입니다 :

이 첫 번째 메타 인수가 제대로 처리 될 것입니다 만 meta_non_terminal / 1 지시문의 편집에 버그가 수정되었습니다.
윈도우 64 비트 시스템에서 실행할 때 감지 할 때 전처리 lib 디렉토리 / 1 지시 비 술어와 비 연산자 수출을 무시하는 이클립스 설정 파일이 업데이트되었습니다.
업데이트 단위 테스트 프레임 워크는 실패 단위 테스트에 대한 더 많은 정보를 메시지를 인쇄합니다.
listp & quot ;, & quot; 첨가 술어는 하 '(지정된 길이의 서브리스트에리스트를 분할하는) / 4 분할리스트'및 'difflist & quot 단계; 라이브러리 엔티티.
CC & quot 상기 & quot 업데이트; CxProlog의 쉘 / 2 술어에 대한 정의와 예.
마일 & quot 상기 & quot에있는 개체의 이름을 변경; 예 단위 테스트를 실행할 때 예는 이름 충돌을 방지 할 수 있습니다.
YAP 64 비트 버전의 탐지를 방지 Windows 설치의 버그가 수정되었습니다. 버그 보고서에 대한 스테판 Ipatov 감사합니다.

이 버전 2.44.0의 새로운 기능입니다 :

이 자료는, 그것의 사용은 기존의 오브젝트 코드를 패치 할 수 있도록 카테고리를 보완의 의미를 변경 메타의 처리에이 버그를 수정 통화, DCG 규칙의 본문에 단말기의 개방 목록을 수 있도록 두 개의 새로운 예제를 추가하고 빔 텍스트 편집기 및 무성한 ctags를위한 지원을 향상시킵니다.

이 버전 2.43.3의 새로운 기능입니다 :

는 기업의 존재 예외를 던지는 경우 내부 개체 식별자를 디 컴파일하지 못한 Logtalk 컴파일러 런타임 핸들러의 버그가 수정되었습니다.
내부 Logtalk 런타임 테이블에서 사용하는 동적 조건의 일부 인덱스 / 1 지시문을 추가, 린 프롤로그 구성 파일을 업데이트했습니다.
적시 다중 인수 인덱싱에 대한 새로운 실험 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 상기 & 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.2의 새로운 기능입니다 : 소스 파일을 컴파일하고 동적으로 새로운 엔티티를 생성 할 때

연산자 선언의 처리를 최적화.
모듈 & quot 상기 & quot를 사용하는 Logtalk 컴파일러를 업데이트; 컴파일러 플래그 따라서 컴파일 모듈 시스템을 지원하지만 아직 정의하지 않는 백 엔드 프롤로그 컴파일러에 문제가되지 않도록, 프롤로그 모듈 지원을위한 테스트 (:)으로 / 2를 내장 제어 구조 또는 술어.
startup_message & quot 상기 & quot에 대한 제거 지원, 컴파일러 플래그 & quot; 플래그 (소형) & quot; 및 quot; 플래그 (상세) quot; 하나의 값으로 대체 값, & quot; 플래그 및 이전 하 '에 해당 quot ;,, 플래그 (소형) & quot; 값.
create_protocol / 3, create_object / 4 OP / 3 지시문을 사용하여 로컬 운영자 선언은 새로운 개체 밖에 볼 것 create_category / 4 내장 술어 때 버그가 수정되었습니다.
기업이 폐지 될 때 폐지되지 않을 것 더 이상 사용 부기 동적 조건을 정의 할 런타임에 새로운 동적 엔티티를 생성하는 버그가 수정되었습니다.
컴파일러의 버그가 수정되었습니다 어디 & quot; 최고 & quot; 단지 자체를 인스턴스화하고 모든 개체가 실패하는 대신 예외를 슬로우 전문으로하지 않는 개체 내에서 호출합니다.
업데이트 & 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하며 & quot 지원 추가; 메타 술어 메타 인수 모드 지정자 월 Wielemaker에 의해 제안 및 SWI - 프롤로그 5.11.25에서 발견. 목표 인수가 ^ / 2 실존 수량을 사용할 수 있습니다 때마다 bagof / 3 SETOF / 3 내장 방법에 대해 래퍼를 정의 할 때이 모드 지정자에 유용합니다.
추가 & quot; prolog_compiler & quot; 및 quot; prolog_loader & quot; 백 엔드에 디스크로 컴파일하고 (컴파일) 프롤로그 플래그를로드 프롤로그 컴파일러 내장 술어를 옵션을 통과 허용 컴파일러 플래그. 모두 플래그의 디폴트 값은 빈리스트이다.
내장 된 Logtalk 컴파일러는 목표로 비 메타 인수를 처리하기 위해 시도 할 수 메타 조건 프롤로그 독점에 대한 호출을 컴파일 할 때 버그가 수정되었습니다. 이 버그는 이클립스와 같은 일부 백 엔드 프롤로그 컴파일러로 자신을 각성.
조건부 컴파일 지시문의 처리에 버그가 수정되었습니다.
A / 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; 기존의 유도를 소등 라이브러리 객체; assignvars & quot; 스트림 & quot; A & quot에서 (변수 일 수 있음) 조건을 추가하고 검색하기위한 지원을 특징으로 라이브러리 범주; 변하기 쉬운.
업데이트 & quot; coinduction & quot; 예를 들어, 인핸스 coinductive / 1 지시자를 활용하고 SICStus 프롤로그하여 실행할 수있는 개별 사례의 수를 확대. 모델은, 예를 점검 coinduction를 사용하여, coroutining 및 제약 조건이 추가되었습니다.
업데이트 & quot; metapredicates & quot; 메타 인수가 존재 적 자격을 갖춘 변수를 포함 할 수 있습니다 때 bagof / 3 SETOF / 3 내장 방법에 대해 래퍼를 정의하는 방법을 보여주는 샘플 코드 예제.
CC & quot 상기 & quot 업데이트; 예를 들어, 몇 백 엔드 프롤로그 컴파일러에 대한 조건 정의를 수정하고 몇 가지 기본 단위 테스트를 추가.
업데이트 & quot; 인코딩 & quot; 린 프롤로그에 대한 제한된 지원 예.
도움이 & quot하며 meta_non_terminal / 1 지시문과 통화 // n은 하 '비 단말기에 대한 누락 된 항목을 추가; 예.
로버트 사삭에 기부 PDDL 3.0 파일에 대한 파서를 추가했습니다.
SubEthaEdit 텍스트 편집기 지원을 접는 추가 코드입니다. 케이트, 빔, 그리고 TextMate를 텍스트 편집기에 조건부 컴파일 블록에 대한 지원을 접는 추가 코드입니다.
라이브러리 경로가 Logtalk 컴파일러 / 런타임로드하기 전에 파일을로드하기 위해 통합 스크립트 업데이트. 이 변경 사항은 설정 파일에서 라이브러리 및 예제 파일의 로딩을 단순화하는 것을 목표로하고있다. LOGTALKHOME 환경 변수가 정의되지 않은 경우 또한,도 $ HOME / 공유의 Logtalk 설치 디렉토리를 찾습니다.
린 프롤로그 지원 YAP 64 비트 버전을 검출하기 위해 윈도우 설치 업데이트.

이 버전 2.43.0의 새로운 기능입니다 :

이 린 프롤로그에 대한 실험적인 지원 추가.
선언 된 술어에 대한 호출을 선행하는 불연속 / 1 동적 / 1 지시를 강제 Logtalk 컴파일러 제한을 제거.
문법 규칙에 비 단자에 잘못 철자 통화의 Logtalk 컴파일러 보고서를 개선.
/ 1 제어 문법의 본체에 구성 다음의 사용을 허용한다.
용도 / 2 지시자에 지정된 메시지를 디버깅 할 때, 메시지는 현재 사용자에 의해 쓰여진 소스 코드로서 내재적으로 규정 인쇄된다.
생성 프롤로그 코드의 컴파일을 필요로 높은 수준의 디버깅 툴과의 통합을 용이하게하기 위해 내장 된 멀티 스레딩 조건의 구현에 사용되는 내부 조건을 변경.
단위 테스트에 대한 라이브러리 지원 버그, & quot을 수정, lgtunit & quot ;, 예외에 대한 테스트는 단위 테스트 사양에 부합와 같은 예외 조건을 받아 들일 경우.
CC & quot 상기 & quot 업데이트; 버그 수정 및 일식에 대한 개선과 예는 expand_path / 2 술어의 SWI - 프롤로그 구현을위한 버그 수정과, 요아킴 Schimpf에 기부합니다 (SWI-프롤로그 최근 변경으로 인한 / 3 내장 술어를 absolute_file_name)와 함께 B-프롤로그에 대한 command_line_arguments / 1 술어에 대한 정의.
업데이트 & quot; coinduction & quot; 예를 들어, 좀 더 개별 사례를 추가.
xml_parser & quot 상기 & quot 업데이트; 순서에 기여는 GNU 프롤로그와 휴대 성 문제를 해결합니다.
일부 쉘 스크립트의 버그를 수정 한 경우 & quot; # / 빈 / bash는 & quot; ! 대신 quot &의 사용 # / 빈 / bash는 & quot ;. 버그 보고서에 대한 Yiorgos Adamopoulos 감사합니다.
관리자가 아닌 사용자가 전체 설치를 허용하기 위해 이노 설치 GUI Windows 설치 스크립트를 업데이트했습니다.
는 ISO 프롤로그 지침에 대한 추가 구문 색상 지원은 지원되는 모든 텍스트 편집기 및 구문 형광펜에 / 1을 포함한다.
탭에 몇 가지 버그를 수정은 사용을 방해하는 gedit를 Logtalk 조각에 대해 트리거합니다.
FOP는 일부 페이지의 내용을 자릅니다로 사용자 및 참조 설명서의 PDF 버전을 생성 할 때 FOP 대신 XEP를 사용하여 다시 변경되었습니다.

이 버전 2.42.4의 새로운 기능입니다 :

이은에, / 2-4 및 decompile_predicate_indicators / 2-4 decompile_predicate_heads, entity_prefix / 2 술어 및 유틸리티 술어의 두 세트를 추가 & quot; logtalk & quot; 내장 된 객체입니다. 표시된 decompile_predicate_head / 4되지 않는 것으로 decompile_predicate_indicator가 / 4.
사업자의 범위 정보를 보존에 대한 지원이 추가 컴파일 시간 동안 범위 지시문을 사용하여 선언했다. 개체에 대한 추가 정보 파일을 문서화는 XML에 연산자를 선언했다. 오퍼레이터 정보를 출력 텍스트, PDF, 및 (X) HTML 변환 스크립트 업데이트.
Logtalk 컴파일러 / 런타임에 적용되는 몇 가지 낮은 수준의 최적화.
구성 및 프롤로그 컴파일러 의존 좋은 성능 조정을 지원하기 위해 프롤로그 설정 파일에 컴파일러에서 조건부 실행 컨텍스트에 액세스 내부 술어를 움직였다.
티몬 보낸 Overveldt 제안한 term_variables / 2 내장 술어에 기초하여 약간의 성능 최적화를 사용하기 위해 나사 / 1 멀티 스레딩 내장 술어 구현 업데이트. 이 최적화 용어의 불필요한 복사 및 통일을 절감하는 것을 목표로하고있다. 또한, 또한 성능을 향상 마스터 및 슬레이브 스레드의 처리를 단순화하여 캐치 / 3 내장 술어와 setup_call_cleanup / 3 내장 술어의 사용을 대체합니다.
좀비 스레드 초래 독립적이고-병렬 처리를 사용하려고 할 때 사용자에 의한 오류가 독립적 인 목표를 지정하는 스레드 / 1 멀티 스레딩 내장 술어의 구현에 버그가 수정되었습니다.
더 많은 정보를 예외 조항은 동적 또는 동기화 등의 동적 조건 동기화 된 술어를 선언 할 때.
개체로 모듈의 컴파일을 지원하기 위해 XSB 설정 파일이 업데이트되었습니다. 누락 된 setup_call_catcher_cleanup / 4 내장 술어에 대한 정의를 추가했습니다. XSB 3.3 (또는 이후 버전)을 지금 Logtalk과의 호환성을 위해 필요합니다.
arithmetic_function / 1 독점 지침에 대한 제한적인 지원을 제공하기 위해 SWI - 프롤로그 구성 파일을 업데이트 (산술 기능은 글로벌 대신 개체 또는 범주를 정의하는 등의 지역으로 컴파일된다).
style_check / 1 지시문을 무시하고 set_prolog_flag / 2 지시어로 yap_flag / 2 지시문을 해석하기 위해 YAP 설정 파일이 업데이트되었습니다.
FOP 할 XEP에서 (사용자 및 참조 설명서의 PDF 버전을 생성하는 데 사용) 기본 XSL-FO 프로세서를 변경.
xml_parser & quot 상기 & quot 업데이트; 순서에 기여 숨어 - 프롤로그, SICStus 프롤로그 및 XSB와 휴대 성 문제를 해결합니다.
업데이트 & quot; 인코딩 & quot; 순서 예는 인코딩 / 1 지시 이전에 공백이 없음을 확인합니다.
업데이트 & quot; attvars & quot; B-프롤로그와 XSB를 지원하기 위해 예. 또한 Logtalk 파라 메트릭 객체와 파라 메트릭 범주 내에서 기인 변수를 사용하여에 대한 지원을 추가했습니다. 피드백 및 구현 제안 월 Wielemaker, 대 엘리베이터 산토스 코스타, 그리고 바트 Demoen 감사합니다.
업데이트 & quot; 프로파일 & quot; SICStus 프롤로그 4.2 버전에서 실행 프로파일에 대한 변경 사항에 대한 예비 지원 예.
확장 & quot 상기 & quot 업데이트; 다른 후크 개체에서 term- 결합 목표 확장 정의하는 방법에 대한 자세한 샘플 코드와 예.
업데이트 & quot; coinduction & quot; 예를 들어, 실험 keysort / 2 coinductive 술어를 추가. 제안에 대한 월 Burse 감사합니다.
업데이트 & quot; 탁 & quot; 누락 컷 SWI-프롤로그 사용시 신속 인한 불필요한 선택 점의 매우 많은 수의 생성 로컬 스택 배기 초래 예 멀티 스레딩.
mtbatch & quot 상기 & quot 업데이트; 탁 & quot 상기 & quot의 확장 벤치마킹을 제공하기 위해 예를 멀티 스레딩; 예.
MacPorts의의 portfile 및 MacPorts를 단계적으로되는 MD5 체크섬 계산을 제거하기 위해 그것을 갱신 스크립트를 업데이트.
제거 절차는 Windows 레지스트리에서 SWI - 프롤로그 키를 삭제 실패 SWI-Prolog에 윈도우 설치에 버그를 해결하기 위해 이노 설치 GUI Windows 설치 스크립트를 업데이트했습니다.

이 버전 2.42.3의 새로운 기능입니다 범주에 선언 된 동적 술어는 & quot에서

라는하도록 허용;이 & quot; 범주 내에서. 자기 & quot; 이전 버전에서는 이러한 호출은 & quot 호출 할 이러한 조건을 강제로 컴파일 타임 오류가 발생할 것입니다; (제어 구조를 보내는 :: / 한 메시지를 이용하여).
(의 {} / (1) 제어 구조를 사용하여) 미리 컴파일 된 절 헤드에 대한 추가 Logtalk 컴파일러를 지원합니다. 용어 팽창기구를 이용하여이 기능은 주로 유용하다.
문법 규칙의 편집에 의해 생성 된 술어 절을 단순화 코드에 버그가 수정되었습니다. 코드는 문법 규칙은 메타 변수를 포함 할 때 루프를하고자되는 Logtalk 컴파일러해야한다 (그러나 현재 안) (통화 / 1 제어 구조가이 경우에 대신 사용한다) 불법 보고서를.
의사 오브젝트 & quot의 컨텍스트에서 호출의 편집을 단순화, 사용자 & quot ;.
P & quot; 디버거 명령 & quot 추가; Logtalk 내장 디버거. 이 명령은 인쇄를 사용할 때 인쇄 / 1 술어를 사용하여 현재의 목표를. Q & quot; 디버거 명령 & quot 이름을 변경; 를 & quot; Q & quot을 ;. 버그를 수정 곳에 디버거 명령 & quot; w & quot; 인식되지 않을 것입니다. D & quot; 디버거 명령 & quot을 변경; 필요한 용어를 인용합니다.
이클립스 설정 파일에 ISO 프롤로그 predicate_property / 2 술어의 부분적인 구현을 추가했습니다.
시간 / 일, 라이브러리 메타 술어의 잘못된 선언을 제거하기 위해 SWI - 프롤로그 설정 파일을 / 2 dde_register_service 업데이트 때 / 2 내장으로 메타 술어.
플래그 & quot 상기 하 '버그 픽스를 적용; 기여 저자, Theofrastos Mantadelis에 의해 제공. GNU 프롤로그와 호환성 문제를 해결.
SETP & quot; memberchk / 2 라이브러리 하 '조건을 추가; 프로토콜 및 quot; 설정 & quot; 목적. 추가 술어 / 1, is_newline / 1, 라이브러리 하 'is_end_of_line / 1 is_control, characterp & quot을; 및 quot; 문자 & quot; 엔티티.
Logtalk 개체 및 범주 내에서 기인 변수를 사용하는 실험 예를 추가했습니다. 현재 백 엔드 프롤로그 컴파일러로 YAP 또는 SWI - 프롤로그의 사용을 필요로한다.
제약 / sicstus & quot 상기 하 'indexicals에 대한 지원이 추가되었습니다; 예.
확장 & quot; 대표 & quot; 파라 메트릭 객체를 사용한 위임자의 샘플 구현 예.
확장 & quot; dynpred & quot; 순서의 예는 & quot의 맥락에서 동적 술어를 처리 카테고리 술어를 정의하는 방법을 설명하기 위해,이 & quot을; 및 quot의 맥락에서, 자기 & quot ;.
CC & quot 상기 & quot에 WALL_TIME / 1 술어를 추가; 예.
누락 된 사실 / 0 실패 / 0 제어 구조를 추가, 테스트 파일을 강조 구문을 업데이트했습니다.

이 버전 2.42.2의 새로운 기능입니다 :

& quot에 술어를 가져올 필요없이 모듈 술어의 특성을 검사 허용하기 위해 Logtalk 컴파일러를 업데이트, 사용자 & quot; (모듈이 여전히 모듈 조건부 호출 소스 파일을 편집하기 전에 로딩되어야한다는 점에 유의).
일반적인 프로그래밍 오류에 대한 호 / 2-N 목표에 컴파일시 인스턴스화 폐쇄 인수를 확인하기 위해 Logtalk 컴파일러를 업데이트되었습니다.
자유 변수 또는 람다 매개 변수 중 하나 또는 무료 변수와 람다 매개 변수를 모두로 선언 된 변수로 선언되지 않은 변수로 람다 식에 대한 경고를 생성하기 위해 Logtalk 컴파일러를 업데이트되었습니다. 이러한 정신 검사를 제안하기위한 월 Burse 감사합니다.
& # x3c 사용을 지원하기 위해 Logtalk 런타임을 업데이트; & #의 x3c / 2 제어 메타 술어의 폐쇄 메타 인수 구성.
(자동으로 보조 술어 가능한을 생성하여) 무료 / 목표 람다 식의 전화를 컴파일에 대한 지원이 추가되었습니다.
logtalk & quot ;., 내장 된 객체 하 'SWI-프롤로그에서 같은 이름의 조건에 따라 compile_aux_clauses / 일 공개 방법을 추가 이 방법은 일반적으로 확장 된 목표를 지원하기 위해 생성 된 보조 조항을 컴파일하기 위해 goal_expansion / 2 후크에서 호출됩니다.
Logtalk 내장 된 방법으로, 메타 술어가 내장 된 술어와 같은 일부 프롤로그 컴파일러에 의해 구현 / 1 무시 추가되었습니다.
Logtalk에서 조건부 속성을 조회 할 때 모듈 라이브러리의 자동 로딩을 방지하기 위해 SWI-프롤로그 구성 파일을 업데이트.
확인하기 위해 숨어 - 프롤로그, SICStus 프롤로그 및 XSB 설정 파일을 업데이트 사용할 수있는 조건은 ISO 내장 술어로 / 2 term_variables.
의 Logtalk 컴파일러 / 런타임 컴파일 시작 충돌을 해결하기 위해 힙 크기 값을 두 배로하기 위해 숨어 - 프롤로그 통합 스크립트를 업데이트했습니다.
(; 스크립트 /에서라도 / command_files / 지원되지 않는 & quot; 폴더 & quot에서 위로 이동) GNU 프롤로그의 맥 OS X 명령 파일을 복원.
메타 & quot; 추가 술어 라이브러리 객체 하 '/ 4-5 findall_member; (리처드 오키프의 초안 프롤로그 라이브러리의 제안에 따라). metap & quot; 라이브러리 기관 & quot에서 / 1 무시 / 1 호출 술어의 선언과 정의를 제거; 및 quot; 메타 & quot; (/ 1 지금 Logtalk 기본 방법입니다 무시 / 1 호출 지원되는 모든 프롤로그 컴파일러의 기본 조건이다).
라이브러리 오브젝트, & quot 추가, meta_compiler & quot ;, 라이브러리 개체 & quot에 정의 된 메타 술어를 호출 확장 할 수있는 후크 개체로 사용할 수; 메타 & quot을; 메타 호 간접비를 피하기 위해서이다. 메타 술어 호출이 최적화 될 수없는 이러한 경우에, & quot의 기본 정의; 메타 & quot; 객체가 사용됩니다. 메타 인수로 제어 구조를 사용하는 것은 아니다 (아직) 지원. 진행중인 작업.
loggingp & quot, 및 범주와 객체 구현, & quot; 프로토콜, & quot 추가 로깅 & quot을; 및 quot; 로거 & quot ;, 선언하고 라이브러리 파일에 이벤트 로깅을위한 기본 기능을 정의.
프로토콜, & quot 추가, intervalp & quot, 및 객체, quot; 간격 & quot ;,를 선언하고 (제임스 F. 알렌 간격 대수 작업 기준) 라이브러리에 기본 시간 간격 관계를 형성 할 수있다.
라이브러리에 ;, 카운터 & quot; 명명 된 정수 카운터를 구현 카테고리, quot을 추가했습니다.
추가 술어 라이브러리 엔티티 하 '/ 2 및 proper_suffix / 2 proper_prefix, listp & quot ;, & quot; 목록 & quot ;, 및 quot를, difflist & quot ;.
추가 술어는 라이브러리 오브젝트 하 '/ 2 트랜스, 쌍 & quot을 ;.
이 테스트 목적으로 의사 예, & quot 추가, lambdas_compiled & quot; 및 quot; metapredicates_compiled & quot ;, 새 라이브러리 객체의 사용을 그
& quot; meta_compiler & quot ;.
확장 & quot 상기 & quot 업데이트; 순서 예를 정의하고 후크 개체를 결합하는 방법을 설명합니다.
Logtalk 소스 코드와 알렉스 Gorbatchev하여 SyntaxHighlighter 패키지 (버전 3.0.83 이상) 사용에 대한 지원이 추가되었습니다.
는 GNU 소스 - 하이라이트 형광펜 지원에 다른 / 0 조건부 컴파일 지시문의 추가 누락 된 구문 색상.
무료 맥 OS X KOD 텍스트 편집기에서 사용할 수있는 Logtalk 텍스트 편집 지원에 메모를 추가했습니다.
새로운 기능 추가 구문 색상 지원은 지원되는 모든 텍스트 편집기 및 구문 형광펜에 / 1 기본 방법을 무시합니다.

이 버전 2.42.1의 새로운 기능입니다 :

이 / 한 역동적이고 불연속 / 1 조건 지시문을 누락 검출 및보고에 대한 Logtalk 컴파일러 지원을 추가했습니다.
& quot의 기본 값으로 ;, missing_directives & quot; 새로운 보풀 플래그 & quot 추가 경고 & quot ;,을 모든 설정 파일에. 이 플래그는 동적 / 1, 불연속 / 1, 및 다중 파일 / 1 술어 지시를 누락 컴파일러 경고의 인쇄를 할 수 있습니다.
추가 된 새로운 메타 술어 템플릿 모드 지표에 대한 지원 (/) 술어 지표의 목록 술어 표시, [/], 그리고 [0] 목표의 목록.
:: & quot; 여기서 & quot 오류에 대한 메타 술어 절 헤드를 검사 할 때 Logtalk 컴파일러의 버그를 수정; 메타 인수 모드 표시는 계속 된 바와 같이 해석되고 있었다 0 ';.
구조 또는 잘못된 상황에서 일부 메타 인수를 호출 될 수 있습니다 내장 술어를 제어하는​​ 호출을 구성하는 데 사용됩니다 (메타 통화에서) 폐쇄를 처리 버그가 수정되었습니다. 에서 SWI - 프롤로그 메일 링리스트의 설명 예를 들어 울리히 Neumerkel 감사합니다.
확장 & quot 상기 하 '참조 누락에 대해 인쇄 경고를 피하기 위해 Logtalk 컴파일러를 업데이트; 및 quot; 모니터링 & quot; 내장 된 프로토콜은 객체로 모듈을 컴파일 할 때.
허용 버전 2.39.2의 변화를 복귀 의사 개체 & quot; 사용자 & quot; 에 거의 모든 프롤로그 내장 술어의 정의가 포함되어 있습니다. & quot의 맥락에서 메타 술어를 호출 할 때 특별히 백 엔드 프롤로그 컴파일러에 따라 다른 결과가 발생할 수 있습니다; 사용자 & quot을 ;.
에서 SWI - 프롤로그 & quot의 버그를 수정; swihooks.lgt & quot; 같은 디렉토리에 같은 이름의 Logtalk 소스 파일이있는 경우 프롤로그 파일을 컨설팅 할 때 잘못된 Logtalk 플​​래그에 대한 가짜 오류 메시지가 결과 파일.
에 대한 누락 지원 추가 독점 내장 B-프롤로그, SICStus 프롤로그, SWI - 프롤로그, XSB 및 YAP 설정 파일에 메타 술어.
은 / 1 상담 및 load_files / 2 내장 술어에 대한 메타 술어 템플릿을 대체하기 위해 SICStus 프롤로그, SWI - 프롤로그 및 YAP 설정 파일이 업데이트되었습니다.
라이브러리 개체 & quot에 map_reduce / 5 메타 조건의 구현 추가; 메타 & quot을 ;.
CC & quot 상기 & quot에 command_line_arguments / 1 조건의 구현을 추가; 예.
업데이트 & quot; 람다 & quot; 및 quot; metapredicates & quot; 접이식 왼쪽 메타 술어를 사용하여 피보나치 수를 계산하는 방법을 보여주는 예. 업데이트 & quot; metapredicates & quot; map_reduce / 5 메타 술어의 사용 예와 예.
업데이트 & quot; problog & quot; 예를 들어, 새로운 주석 disjunctions 구문에 대한 예비 지원을 추가.
마법 & quot; A & quot 추가; freedesktop.org 공유 마임 - 정보 데이터베이스에 대한 Logtalk 마임 타입의 파일 요소입니다.

이 버전 2.42.0의 새로운 기능입니다 :

이 영속 객체 플래그의 구현을 추가했습니다.
프로토콜 구현 관계의 전이 폐쇄를 구현, 내장 된 술어, conforms_to_protocol / 2-3의 새로운 쌍을 추가했습니다.
이러한 ProbLog 및 CHR 같은 다른 언어로 Logtalk 통합을 지원하기 위해, 주석 / 1 실험 지침을 추가했습니다.
에 독립 실행 형 개체를 허용 이전 릴리스의 변화를 복귀 (도) 클래스 계층 구조의 루트로 사용 될 수있다.
에서 공개 방법으로 사용할 수 낮은 수준의 유틸리티 조건 세트를 정의 & quot; logtalk & quot; 내장 된 객체입니다. 항상 프로토 타입으로 해석하기 위해이 객체의 (가상) 컴파일을 수정했습니다.
간체 및 향상된 동적 바인딩 성능 결과 술어 조회 캐싱 코드의 성능을 향상시켰다. 새로운 조건에 대한 조항을 주장 할 때 / 1 assertz / 1 asserta 내장 된 방법의 성능을 andimproved 단순화. 내장 된 방법 / 1을 철회하고 / 1 retractall 사용하면 동적으로 정의 술어에 대한 내부 테이블의 업데이트를 단순화. 새로운 엔티티를 생성 할 때 사용되는 컴파일러 코드를 단순화.
dynamic_declarations & quot 상기 & quot의 의미를 변경; 플래그 객체에 asserta / 1 assertz / 1 메시지를 보낼 때 체크 전용 있도록.
새로운 술어에 대한 조항의 현지 어서 트 지금은 항상 허용됩니다.
내장 된 메소드의 구현은 또한 지역의 동적 조건의 폐지를 지원하기 위해 / 1을 폐지 업데이트되었습니다.
보조 컴파일 술어의 중복 청소를 방지하여 소스 파일을 컴파일의 성능을 향상.
의 & quot 발생을 해석하기 위해 Logtalk 컴파일러를 수정; & quot; :: & quot;에 & quot 상응하는 등의 모듈 메타 술어 지시에; 대신 & quot의 0 '; Logtalk 메타 술어 지시한다. 이 변경 사항은 메타 조건 지시어에 대한 사실상의 표준화에 대한 현재의 추세를 따라하지만 여전히 일부 프롤로그 컴파일러에 대한 문제가있다. ; Logtalk는 메타 조건 또는 그 템플릿 A & quot 포함 프롤로그 modulemeta - 술어 내장 된 프롤로그를 호출 컴파일 exceptionwhen가 발생합니다 : & quot을; 메타 인수 지정.
향상된 컴파일러 오류, 엔티티 관계를 확인 검출하고, 확장 인스턴스화, 전문, 수입, 구현이나 단체의 잘못된 종류를 보완하기 위해 가장 잘못된 시도를보고.




방법.