https://github.com/tuprolog/prolog-dsl-example
https://github.com/tuprolog/prolog-dsl-example
Last synced: 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/tuprolog/prolog-dsl-example
- Owner: tuProlog
- Created: 2020-09-11T10:47:33.000Z (almost 6 years ago)
- Default Branch: master
- Last Pushed: 2023-12-15T05:59:16.000Z (over 2 years ago)
- Last Synced: 2025-12-26T13:44:22.926Z (6 months ago)
- Language: Kotlin
- Size: 60.5 KB
- Stars: 2
- Watchers: 1
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
## Instructions
This code exemplifies the Kotlin DSL for Prolog described in [this paper](http://woa2020.apice.unibo.it/wiki/papers/paper14/).
The DSL is implemented as part of the [tuProlog project](http://apice.unibo.it/xwiki/bin/view/Tuprolog/WebHome?language=en).
You can run the example by executing the following command on a *nix shell:
```bash
./gradlew run
```
whereas on Windows you should write:
```
.\gradlew run
```
This will compile & launch the `Example.kt` class.
Feel free to edit it and play with our DSL.
Try to import this project into your favourite IDE and let its code-completion facility drive your coding.