X-Prolog

X-Prolog는 Android의 Prolog에서 프로그래밍을 용이하게 하기 위한 경량 Prolog 시스템입니다. 앱은 텍스트 보기, 웹 보기에서 또는 클라이언트 앱에 대한 바인딩된 서비스로 Prolog 프로그램을 실행합니다. 샘플 클라이언트는 https://github.com/xprolog/sample-client에서 사용할 수 있습니다.

Google Play는 Android 11 이상을 대상으로 하는 앱에서 모든 파일 액세스 권한의 사용을 제한합니다. 모든 파일 접근 권한으로 X-Prolog를 설치하려면 https://github.com/xprolog/xp/releases를 참조하세요.

도구가 있습니까?

이 앱은 프로젝트 편집 및 구축을 위해 사용자 정의 도구에 의존합니다. 도구는 Prolog로 작성되었으며 개발자 옵션이 있는 장치에서 볼 수 있습니다. 앱과 도구는 전송 변수 및 형식이 지정된 출력을 통해 데이터를 교환합니다. 이 릴리스에는 앱의 도구 기능을 보여주기 위한 간단한 도구가 포함되어 있습니다.

앱은 전송 변수를 사용할 수 있고(도구에서) 형식이 지정된 출력이 인식되는 확장 지점을 정의합니다. 컨텍스트 용어를 지정하여 하나 이상의 확장 지점에 기여하도록 도구를 구성할 수 있습니다.

컨텍스트 용어는

context(Name, FileTypes, Priority)

형식의 읽기 용어입니다. 여기서

Name

은 확장점의 이름,

FileTypes

는 허용되는 파일 형식의 목록이고

Priority

는 0 이상의 정수이며, 그 의미는 확장점에 따라 다릅니다.

이 릴리스는

빌드, 편집

및

조정

의 세 가지 확장점을 정의합니다. 이를 통해 도구가 각각 프로젝트 빌드, 소스 파일 편집 및 소스 모델 조정에 기여할 수 있습니다.

프로젝트를 빌드하려면 프로젝트의 최상위 디렉토리에 있는 파일을 열고

빌드

를 클릭하십시오. 프로젝트를 로컬 파일 시스템의 실행 가능한 개체 파일로 내보내려면

내보내기

를 클릭하십시오. 개체 파일을 실행하려면

실행

을 클릭하십시오.

파일을 빌드하여 다른 소스 파일로 변환할 수 있는 도구가 하나 이상 있는 경우 파일은 소스 파일로 간주됩니다. 이 릴리스에는 Prolog 소스 파일(.pl)을 빠른 로드 파일(.ql)로 변환하는 단일 빌드 도구인

Compile

이 포함되어 있습니다.

알려진 문제에는 발생 확인, 논리적 업데이트 보기, 속성 변수가 포함됩니다.