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
»
User Manual
Edit on GitHub
User Manual
ΒΆ
Pragmas
Syntax
Disposition
More Detail
Requesting Evaluation
Disposition Defaults
Operators
Adding an operator
Removing an operator
Defaults
Execution
Insts and Modes
Query Modes
Builtins
Aggregators
Functions
Constants
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
.