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이 포함되어 있습니다.

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