X-Prolog
ID: org.xprolog.xp
-
Phiên bản:
Varies with device
-
Cập nhật:
2022-11-23
Tải file APK ngay
Đảm bảo cài đặt an toàn, không thêm quảng cáo hay phần mềm độc hại
Mô tả của X-Prolog
X-Prolog is a lightweight Prolog system intended to facilitate programming in Prolog on Android. The app runs Prolog programs in a text view, web view or as a bound service to a client app. A sample client is available at https://github.com/xprolog/sample-client.
Note that Google Play restricts the use of all-file-access permission in apps targeting Android 11 or later. To install X-Prolog with all-file-access permission, refer to https://github.com/xprolog/xp/releases.
got tool? The app depends on user-defined tools for editing and building projects. The tools are written in Prolog and are visible on devices with developer options. The app and tools exchange data through transfer variables and formatted output. This release includes trivial tools intended to demonstrate the app's tooling feature.
The app defines extension points at which transfer variables are available (to tools) and formatted output (from tools) is recognized. A tool may be configured to contribute to one or more extension points by specifying a context term.
A context term is read-term of the form context(Name, FileTypes, Priority) , where Name is the name of an extension point, FileTypes is a list of acceptable file types and Priority is an integer not less than zero, the meaning of which varies depending on the extension point.
This release defines three extension points: build, edit and reconcile, which allow tools to contribute to, respectively, building projects, editing source files and reconciling source models.
To build a project, open a file in the top directory of the project and click Build. To export the project into a runnable object file on the local file system, click Export. To run the object file, click Run.
A file is considered source-file if there exists one or more tools that build the file, possibly transforming it into another source file. This release includes a single build tool, Compile, which translates a Prolog source file (.pl) into a quick-load file (.ql).
Known issues include occurs check, logical update view, attributed variables among others.
Note that Google Play restricts the use of all-file-access permission in apps targeting Android 11 or later. To install X-Prolog with all-file-access permission, refer to https://github.com/xprolog/xp/releases.
got tool? The app depends on user-defined tools for editing and building projects. The tools are written in Prolog and are visible on devices with developer options. The app and tools exchange data through transfer variables and formatted output. This release includes trivial tools intended to demonstrate the app's tooling feature.
The app defines extension points at which transfer variables are available (to tools) and formatted output (from tools) is recognized. A tool may be configured to contribute to one or more extension points by specifying a context term.
A context term is read-term of the form context(Name, FileTypes, Priority) , where Name is the name of an extension point, FileTypes is a list of acceptable file types and Priority is an integer not less than zero, the meaning of which varies depending on the extension point.
This release defines three extension points: build, edit and reconcile, which allow tools to contribute to, respectively, building projects, editing source files and reconciling source models.
To build a project, open a file in the top directory of the project and click Build. To export the project into a runnable object file on the local file system, click Export. To run the object file, click Run.
A file is considered source-file if there exists one or more tools that build the file, possibly transforming it into another source file. This release includes a single build tool, Compile, which translates a Prolog source file (.pl) into a quick-load file (.ql).
Known issues include occurs check, logical update view, attributed variables among others.
Xem thêm
X-Prolog Varies with device APK cho Android Varies with device+
Phiên bản | Varies with device cho Android Varies with device+ |
Cập nhật | 2022-11-23 |
Lượt tải | 10.000++ |
Kích thước tập tin | 2.982.810 bytes |
Quyền | xem các quyền |
Cập nhật mới | Initial release |
Phiên bản cũ hơn:
- 1. LATEST. X-Prolog Varies with device APK (2022-11-23, 3 MB)
- 2. X-Prolog Varies with device APK (2022-10-30, 3 MB)
- 3. X-Prolog Varies with device APK (2022-10-16, 3 MB)
- 4. X-Prolog Varies with device APK (2022-07-02, 3 MB)
- 5. X-Prolog 1.0.59 APK (2022-06-06, 3 MB)
- 6. X-Prolog 1.0.57 APK (2021-07-16, 3 MB)
- 7. X-Prolog 1.0.56 APK (2021-07-02, 3 MB)
- 8. X-Prolog 1.0.55 APK (2021-05-21, 3 MB)
- 9. X-Prolog 1.0.54 APK (2021-05-17, 3 MB)
- 10. X-Prolog 1.0.53 APK (2021-05-08, 3 MB)
- 11. X-Prolog 1.0.52 APK (2021-05-04, 3 MB)
- 12. X-Prolog 1.0.50 APK (2021-05-01, 3 MB)
- 13. X-Prolog 1.0.49 APK (2021-04-18, 2 MB)
- 14. X-Prolog 1.0.48 APK (2021-04-03, 2 MB)
- 15. X-Prolog 1.0.47 APK (2020-12-23, 2 MB)
- 16. X-Prolog 1.0.46 APK (2020-11-04, 2 MB)
- 17. X-Prolog 1.0.45 APK (2020-10-21, 2 MB)
- 18. X-Prolog 1.0.42 APK (2020-10-18, 2 MB)
- 19. X-Prolog 1.0.41 APK (2020-10-11, 2 MB)
- 20. X-Prolog 1.0.40 APK (2020-10-04, 3 MB)
- 21. X-Prolog 1.0.38 APK (2020-07-12, 3 MB)
- 22. X-Prolog 1.0.36 APK (2020-06-17, 2 MB)
- 23. X-Prolog 1.0.35 APK (2020-06-13, 2 MB)
- 24. X-Prolog 1.0.33 APK (2020-06-05, 2 MB)
- 25. X-Prolog 1.0.32 APK (2020-03-14, 3 MB)
- 26. X-Prolog 1.0.30 APK (2020-03-04, 3 MB)
- 27. X-Prolog 1.0.26 APK (2020-02-19, 2 MB)
- 28. X-Prolog 1.0.25 APK (2018-09-27, 3 MB)
- 29. X-Prolog 1.0.24 APK (2018-09-19, 3 MB)
- 30. X-Prolog 1.0.23 APK (2018-06-16, 3 MB)
- 31. X-Prolog 1.0.22 APK (2018-06-09, 3 MB)
- 32. X-Prolog 1.0.8 APK (2017-09-06, 3 MB)
- 33. X-Prolog 1.0.6 APK (2017-06-30, 3 MB)
- 34. X-Prolog 1.0.0 APK (2017-06-17, 3 MB)
- 35. X-Prolog 1.0 APK (2017-06-15, 3 MB)
Xem thêm
Tương tự "X-Prolog"
Được yêu thích
Xem thêm