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
Index
C
|
D
|
E
|
F
|
I
|
M
|
N
|
O
|
P
|
Q
|
S
|
T
C
counting to infinity
D
disposition
pragma
E
errors
tutorial
F
format_exception() (built-in function)
functor
I
inst
pragma
M
mode
pragma
MyAnimal() (class)
N
null
O
operator
pragma
operators
evaluate.
quote.
P
pragma
disposition
inst
mode
operator
query mode
Q
qmode
query mode
pragma
quotation and evaluation
S
Shortest Path
Tutorial
syntax
quotation and evaluation
T
tutorial
errors
Tutorial
Hello World
Shortest Path
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
.