Instructions

This code exemplifies the Kotlin DSL for Prolog described in this paper.

The DSL is implemented as part of the tuProlog project.

You can run the example by executing the following command on a *nix shell:

./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.