xsb. XSB - UNIX-LIKE 및 WINDOWS 플랫폼 용 로직 프로그래밍 및 공예 데이터베이스 시스템
지금 다운로드

xsb. 순위 및 요약

xsb. 태그

데이터 베이스 공제 데이터베이스 술어 선언 가비지 수집기 공제 술부

xsb. 설명

XSB - UNIX와 유사하고 Windows 플랫폼을위한 논리 프로그래밍 및 공예 데이터베이스 시스템 XSB는 UNIX와 같은 Windows 플랫폼을위한 논리 프로그래밍 및 Windows 플랫폼을위한 논리 프로그래밍 및 공예 데이터베이스 시스템입니다. Story Brook University, XSB, Inc, Katholieke UniversiteIt Leuven, Universidade Nova de Lisboa, uppsala Universitet.here는 "xsb"의 주요 기능이 있습니다. · 층화되고 비층적한 부정을 가진 엔진 수준의 프로그램에서 평가하며, 층별 된 집계를 가진 프로그램. · 절단을 포함한 표가있는 코드의 전체 프롤로그 기능을 허용합니다 (약한 시맨틱 제한), 메타 논리 술어, 2 차 술어 등의 동적 코드가 TILL이 될 수 있습니다. · 시스템에 의해 자동으로 또는 수동으로 수동으로 서정 된 술어 선언을 허용합니다. 또한, 종료, 효율, 또는 둘 다를 위해 테이블 링을 수행 할 수 있습니다. · 비 독점적 인 추론 및 지식 표현에서 여러 가지 응용 프로그램을 프로그래밍하는 데 사용할 수있는 표준 TIBLING 술어를 제공합니다. · 증분 TIBLING을 프로그램에 사용할 수 있습니다. 테이블 식 부정이 필요하지 않은 프로그램 조각에 대한 통화 분야가있는 TIBLING을 사용하십시오. 테이블이 동적 코드 (아마도 간접적으로) 코드에 의존하는 경우 코드에 대한 주장 또는 후퇴제가 자동으로 다양한 표에 따라 증분 변경을 전파합니다. · 테이블을 TRIE 기반 SLG-WAM 코드로 동적으로 컴파일합니다. 이는 동적으로 인덱싱되고 전체 메모리 관리가 제공됩니다. · 모든 답변을 쿼리에 반환하는 데 효율적인 로컬 평가라는 기본 A Tableing 전략이 있으며 프로그램 분석 및 비 독점적 추론과 같은 응용 프로그램에 유용합니다. 구성 대안으로, 일괄 처리 된 평가는 쿼리에 대한 첫 번째 답변을 효율적으로 반환하는 프롤로그 형식의 Tableing 전략입니다. · Tabled (및 PROLog) 평가를 위해 작동하는 힙 가비지 수집기가 있습니다. 테이블이 폐지 된 후 테이블 가비지 수집기가 공간이 제대로 회수 될 수 있도록합니다.

xsb. 관련 소프트웨어