SWI-Prolog

유용 논리 프로그래밍 목적으로, 인공 지능 및 전산 언어학의

이 릴리스의 새로운 기능 :.

는 새로운 DICT 유형 및 구문은 시간과 공간을 효율적으로 이름 -을 모두 제공 값은 적절한 구문에 매핑합니다.
(H, T). | 결과적으로, 그것은 (머큐리에서 사용도)에 의해 '[]'를 목록 생성자 (H, T)를 교체해야했다. 즉 급격한 보이지만, 실제로는 (기간, F, A) 목록에 다음은 == F에 추가 처리를 선택 특히 펑를하고, 몇 프로그램에 영향을 수있다 '.', == 2에 더 많은 목록을 켜려면 특별한 구조는, [] [], 즉, [] 원자에서 아니므로 더 이상 동일 정지 빈리스트 없지만.
구문 & quot; ... & quot; 지금 문자열로 매핑됩니다. 문자열 (모든 토론 요아킴 Schimpf 덕분에) 이클립스와 호환됩니다. 전통적인 코드 목록은 .... 플래그 double_quotes를 사용하여 구성 및 back_quotes이 동작을 제어한다.
토브 맥주 덕분에, 우리가 & quot; Pengines & quot ;, 웹 프롤로그 엔진. 이것은 자바 스크립트와 다른 프롤로그 인스턴스에서 프롤로그 서버에 편안하게 이야기 할 수있는 일반적인 API를 제공한다. 그것은 당신의 브라우저 (http://swish.swi-prolog.org)뿐만 아니라 http://lpn.swi-prolog.org로 (내장 SWISH와 함께! 이제 프롤로그 알아보기)에서 SWISH, SWI - 프롤로그 수 있었다.
마르쿠스 Triska는 CLP (B), 부울 제약 솔버를 추가 그의 CLP (FD)을 향상과 제약을 다루는 최상위에 여러 가지 향상된 기능 이전했다.
마 릴리와 마이크 Elston 덕분에, SQL을 다루는 CQL, DSL (도메인 특정 언어)이있다. CQL은 복잡한 SQL 데이터베이스가 표준이며, 따라서 SQL의 큰 부분 집합을 지원하며, 열 및 ocasional SQL 사용자가 기대하지 않습니다 다른 물건 수천 개의 테이블을 처리 할 수​​있는 환경에서 개발되고있다.
마 릴리는 SSL에 대한 더 나은 지원과 HTTP 및 SOCKS 프록시 서버에 대한 일반 지원을 포함, 크게 네트워킹 지원 개선.
많은 사람들이 SWI - 프롤로그 버전 7에 의존하는 추가 기능 (팩)을 제공하고 있습니다.

이 버전의 새로운 기능 7.2.1 / 7.3.3-DEV :

새로운 DICT 유형 및 구문은 시간과 적절한 구문을 사용하여 공간을 효율적으로 이름과 값의 맵을 모두 제공합니다.
(H, T). | 결과적으로, 그것은 (머큐리에서 사용도)에 의해 '[]'를 목록 생성자 (H, T)를 교체해야했다. 즉 급격한 보이지만, 실제로는 (기간, F, A) 목록에 다음은 == F에 추가 처리를 선택 특히 펑를하고, 몇 프로그램에 영향을 수있다 '.', == 2에 더 많은 목록을 켜려면 특별한 구조는, [] [], 즉, [] 원자에서 아니므로 더 이상 동일 정지 빈리스트 없지만.
구문 & quot; ... & quot; 지금 문자열로 매핑됩니다. 문자열 (모든 토론 요아킴 Schimpf 덕분에) 이클립스와 호환됩니다. 전통적인 코드 목록은 .... 플래그 double_quotes를 사용하여 구성 및 back_quotes이 동작을 제어한다.
토브 맥주 덕분에, 우리가 & quot; Pengines & quot ;, 웹 프롤로그 엔진. 이것은 자바 스크립트와 다른 프롤로그 인스턴스에서 프롤로그 서버에 편안하게 이야기 할 수있는 일반적인 API를 제공한다. 그것은 당신의 브라우저 (http://swish.swi-prolog.org)뿐만 아니라 http://lpn.swi-prolog.org로 (내장 SWISH와 함께! 이제 프롤로그 알아보기)에서 SWISH, SWI - 프롤로그 수 있었다.
마르쿠스 Triska는 CLP (B), 부울 제약 솔버를 추가 그의 CLP (FD)을 향상과 제약을 다루는 최상위에 여러 가지 향상된 기능 이전했다.
마 릴리와 마이크 Elston 덕분에, SQL을 다루는 CQL, DSL (도메인 특정 언어)이있다. CQL은 복잡한 SQL 데이터베이스가 표준이며, 따라서 SQL의 큰 부분 집합을 지원하며, 열 및 ocasional SQL 사용자가 기대하지 않습니다 다른 물건 수천 개의 테이블을 처리 할 수​​있는 환경에서 개발되고있다.
마 릴리는 SSL에 대한 더 나은 지원과 HTTP 및 SOCKS 프록시 서버에 대한 일반 지원을 포함, 크게 네트워킹 지원 개선.
많은 사람들이 SWI - 프롤로그 버전 7에 의존하는 추가 기능 (팩)을 제공하고 있습니다.

이 버전의 새로운 기능 7.2.0 / 7.3.1-DEV :

새로운 DICT 유형 및 구문은 시간과 적절한 구문을 사용하여 공간을 효율적으로 이름과 값의 맵을 모두 제공합니다.
(H, T). | 결과적으로, 그것은 (머큐리에서 사용도)에 의해 '[]'를 목록 생성자 (H, T)를 교체해야했다. 즉 급격한 보이지만, 실제로는 (기간, F, A) 목록에 다음은 == F에 추가 처리를 선택 특히 펑를하고, 몇 프로그램에 영향을 수있다 '.', == 2에 더 많은 목록을 켜려면 특별한 구조는, [] [], 즉, [] 원자에서 아니므로 더 이상 동일 정지 빈리스트 없지만.
구문 & quot; ... & quot; 지금 문자열로 매핑됩니다. 문자열 (모든 토론 요아킴 Schimpf 덕분에) 이클립스와 호환됩니다. 전통적인 코드 목록은 .... 플래그 double_quotes를 사용하여 구성 및 back_quotes이 동작을 제어한다.
토브 맥주 덕분에, 우리가 & quot; Pengines & quot ;, 웹 프롤로그 엔진. 이것은 자바 스크립트와 다른 프롤로그 인스턴스에서 프롤로그 서버에 편안하게 이야기 할 수있는 일반적인 API를 제공한다. 그것은 당신의 브라우저 (http://swish.swi-prolog.org)뿐만 아니라 http://lpn.swi-prolog.org로 (내장 SWISH와 함께! 이제 프롤로그 알아보기)에서 SWISH, SWI - 프롤로그 수 있었다.
마르쿠스 Triska는 CLP (B), 부울 제약 솔버를 추가 그의 CLP (FD)을 향상과 제약을 다루는 최상위에 여러 가지 향상된 기능 이전했다.
마 릴리와 마이크 Elston 덕분에, SQL을 다루는 CQL, DSL (도메인 특정 언어)이있다. CQL은 복잡한 SQL 데이터베이스가 표준이며, 따라서 SQL의 큰 부분 집합을 지원하며, 열 및 ocasional SQL 사용자가 기대하지 않습니다 다른 물건 수천 개의 테이블을 처리 할 수​​있는 환경에서 개발되고있다.
마 릴리는 SSL에 대한 더 나은 지원과 HTTP 및 SOCKS 프록시 서버에 대한 일반 지원을 포함, 크게 네트워킹 지원 개선.
많은 사람들이 SWI - 프롤로그 버전 7에 의존하는 추가 기능 (팩)을 제공하고 있습니다.

무엇 6.6.6 / 7.1.37 버전의 새로운 기능 : #의

처리가 처리 옵션에 대한 현명하게하려고 더 이상 유닉스에서 통역에 파일을 바인딩하지 않습니다! 인터프리터. 이 변화의 효과는 유닉스 버전에 따라 달라집니다 일부 단지 다른 사람을 파괴 한 후 옵션을 전달 하나 아직 다른 사람에 모든 옵션 팩, 첫 번째 옵션을 전달합니다.
프롤로그 플래그는 argv는 프롤로그에 의해 처리되지 않은 인수를 제공합니다.
초기화 파일 .plrc (Windows의 pl.ini)은 더 이상 보안상의 이유로 작업 디렉토리에서 검색되지 않습니다.

무엇 6.6.6 / 7.1.31 버전의 새로운 기능 : #의

처리가 처리 옵션에 대한 현명하게하려고 더 이상 유닉스에서 통역에 파일을 바인딩하지 않습니다! 인터프리터. 이 변화의 효과는 유닉스 버전에 따라 달라집니다 일부 단지 다른 사람을 파괴 한 후 옵션을 전달 하나 아직 다른 사람에 모든 옵션 팩, 첫 번째 옵션을 전달합니다.
프롤로그 플래그는 argv는 프롤로그에 의해 처리되지 않은 인수를 제공합니다.
초기화 파일 .plrc (Windows의 pl.ini)은 더 이상 보안상의 이유로 작업 디렉토리에서 검색되지 않습니다.

버전 6.4.0의 새로운 기능 :

RDF에 대한 배려 3. 사람은 아마 이미 이런 이유로 개발 버전을 사용하던 버전으로 RDF 라이브러리 업데이트되었습니다. ntriples, 거북이와 삼각 형식에 대한 추가 빠른 파서.
외부 언어 조각의 원활하고 안전한 포함을위한 준 인용 소개
일반적인 인하 구조에 동의 PlDoc의 업그레이드.
많은 개발 도구의 개선, HTTP 라이브러리, CLIB 패키지. 유닉스 데몬 프로세스 (시스템 로그, UID / GID 관리 등) 등 더 나은 지원
로케일의 시작은 처리 (특히 로케일 고유의 큰 정수를 작성, 형식 / 3을 지원.
안정성 물건의 많은 : 고정 충돌, 휴대 패치, 시스템 개선 등을 구축

버전 6.2.0의 새로운 기능 :

'팩'패키지 관리자의 초기 버전을
더 소스 파일 처리, 특히 WRT. - (파일)를 포함한다.
소스 취급하는 포트가 숨겨져 있습니다 결정하는 논리를 개선 디버거에 많은 수정.
윈도우 버전은 10 내지 20 %의 속도 향상의 결과로는 MinGW 컴파일러 프로젝트를 사용하여 구축 할 수 있습니다. 개선 swipl-win.exe하는 콘솔 : 복사 / 붙여 넣기 및 색상 지원.

버전 6.0.0의 새로운 기능 : 여러 인수에

동적 적시 색인.
PDT의 IDE를 지원하고, 개발 API를 많은 추상화.
정리 많은, 버그 수정 등

이 감소 흔적 스택 사용 :

버전 5.11.20의 새로운 기능입니다.
세대 가비지 컬렉션을 제공합니다.

버전 5.11.10의 새로운 기능 :

흔적 스택 사용량을 줄일 수 있습니다. (부분적으로)
세대 가비지 컬렉션을 제공합니다.

버전 5.11.9의 새로운 기능 :

흔적 스택 사용량을 줄일 수 있습니다. (부분적으로)
세대 가비지 컬렉션을 제공합니다.

버전 5.10.0의 새로운 기능 :

모든 플랫폼은 지금 일관된 이름을 사용합니다. SWI - 프롤로그 실행 파일은 swipl, 링커 swipl-LD와 Resouce의 파일 관리자 swipl-RC라고합니다.
기반으로 새로운 스택 메모리 관리 가상 주소 공간에서 띄엄 띄엄 스택 할당보다는 스택 시프트. 이러한 변화는 스레드의 수가 훨씬 더 확장 성을 허용, 그래서 우리는 또한 스택 한계가 지금 제기 set_prolog_stack / 2 사용하여 런타임에 감소 될 수있다 (100)의 옛 스레드 수 제한을 제거했습니다.
기본 스택 크기 제한은 현재 64 비트 하드웨어에 32 비트 및 256Mb의 스택 당 128MB된다.
광범위한 누출 및 스트레스 테스트는 24 시간 연중 무휴 서버 설정에서 시스템이 훨씬 더 강력하고, 누수 및 경쟁 조건의 수를 고정하고있다.
시작은 용어에 재귀에 대한 C-스택을 사용하지 않도록 만들어졌다. 이 처리 훨씬 더 깊이 중첩 된 조건을 허용하고 용어를 통과 부족 자원이있는 경우 깨끗한 예외를 제공합니다. 이 분야에서 할 일이 많이는 여전히있다.
SWI - 프롤로그 5.10.0 데이터베이스 용어 (assertz / 2, recordz / 3) 및 스트림 (열 / 3)에 안전 문헌을 소개한다.
절에서 변수의 개수는 이제 1,000,000,000에 한정된다; 리소스 오류가 발생하거나주기적인 용어 불법 용어를 주장 할 때이 또한 65535이고, 시스템은 우아한 예외를 제공합니다.
YAP와 SICStus 모두 호환성이 향상된다.

버전 5.8.2의 새로운 기능 : 신호 인터페이스의 구현 및 문서 :

CLEANUP.
고정 : 사용 --nopce / - (DIS) 허용 그래픽 PCE.
고정 : GC-버그; 인수 스택에서 uwrite 비트를 제거 생략
수정일 : 프롤로그 플래그 abort_with_exception을 제거; 그것은 더 이상 사용되지 않습니다.
고정 : 치명적인 오류가 발생한 후 종료하는 동안 교착 상태를 피하십시오.
수정일 : is_set는 / 1 해주기 종류 / 2를 사용합니다. 결과적으로, 비 - 공유 변수는 다른 요소로 간주된다; 순서는, n * log (n)이고, 술어는 자원 오류를 반환 할 수 있습니다.
고정 : 후 : -. 모듈 (X), X를 모듈에 목표 확장 상대를 수행합니다.
CLEANUP : 상품 번호 547 : 제대로 정의되지 않은 조건과 대안을 인용.
DOC : current_arithmetic_function / 1을 명확히.
DOC : C-기능에 대한 가용성 snippit 제공
고정 : 이전 단순화는 컴파일러의 변수 관리를 손상. 또한 테스트 케이스를 추가했다.
고정 : 버그 # 436 : 자체 변수를 통일은 참조 루프를 작성합니다.

버전 5.7.14의 새로운 기능 :

고정 : 교차 참조 자는 구별하기 : 0에서 메타 술어 선언에
CLEANUP : predsort / 3 사용 meta_predicate
수정일 :을 포함하는 모듈에 정의되지 않은 술어에 대한 참조 / 0 이제 검사를합니다. list_undefined / 0는 여전히 전 세계적으로 검색합니다.
향상된 : CLP (FD) : 아크 일관성 global_cardinality / 쌍 처음에 지상 경우 2.
고정 : 핸들 (다중 파일)하는 일부 조항들이 다른 모듈에 몸과 같은 몇 가지를 가지고 술어. 마 릴리.
ADDED % [& #의 x3c; N & #의 X3E] F 형식 / 3 초 분수를 다루는 format_time 할 수 있습니다. 새 디버그 확장에 의해 사용됩니다.
ADDED : debug_message_context (+ | -Context)는 (예 : 타임 스탬프 등) 디버그 메시지에 대한 추가 컨텍스트를 지정합니다.
고정 : 확인 apply_macros 시스템 모듈의 컨텍스트에서 목표 확장 할
향상된 : CLP (FD) : 키 - 민 쌍 바닥 경우 빠른 global_cardinality / 2.
고정 : 대답 인쇄에 연산자 우선 순위를 처리합니다. 마르쿠스 Triska.
향상된 : 잔류 목표에 대한 최상위 인쇄 옵션을 사용하여 정리 구현
향상된 : 목록이 (특히 term_attvars (기간, [])) 주어진다면 term_variables과 term_attvars 효율적인합니다.
향상된 : 녹화 된 데이터베이스가 새 학기 워커 코드를 사용합니다
향상된 : 간단한 루프보다는 재귀 프로 시저를 사용하여 조건을 통과하기위한 골격의 첫 번째 설치. 지금 term_variables / 2 및 관련 술어에 대한 사용. 스키마는 적절한 나타나지만 스택 코드 세그먼트는 상당히 최적화되어야한다. 이므로, / 2 약간 느리게 (5 %)이다 term_variables하지만 훨씬 적은 메모리 및 스택 오버 플로우없이 중첩 용어를 처리 할 수​​있다.
ADDED : copy_term / 3의 더 나은 지원을 위해 / 2 term_attvars. 마르쿠스 Triska와 논의 후.
ADDED : * 모든 * 속성을 삭제 / 1 del_attrs. 단순화는 / 3 copy_term.

버전 5.7.12의 새로운 기능 : 더 큰 프로그램에

성능 향상은 프로그래밍 스타일에 따라, 10 및 40 % 사이입니다. 특히 제약 해법은 크게 이익. 작은 프로그램은 종종 훨씬 더 큰 속도 향상을 보여줍니다.
5.7.4 보낸 업데이트 모듈 시스템
이름과 코드베이스의 모듈화에 정리 많아요.