Dyna
Tutorial
Hello World
Shortest Path in a Graph
When Things Go Wrong
What is Dyna?
The Basics of Dyna
Counting Words in a Corpus
User Manual
Pragmas
Builtins
Specification of the Dyna Language
Introduction
How to read this specification
Terms (i.e., ground terms)
Patterns (i.e., non-ground terms)
Dynabases
Inspecting and modifying dynabases
Dyna programs
Concrete syntax
Standard library
Analyzing program execution
Controlling program execution
Foreign dynabases
Appendices
Bibliography
Dyna
Docs
»
Edit on GitHub
Please activate JavaScript to enable the search functionality.
Read the Docs
v: latest
Versions
latest
0.4.0
Downloads
PDF
HTML
Epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.