Dyna

A logic-based language for dynamic programming. Equational inference rules derive theorems with associated values, eg probabilities in statistical AI.

Term object - Dyna

Table of contents. 1 Term classes. 2 How to use term objects. 3 Term constructors. 4 Primitive term objects. 5 Term I/O. 6 Term casts ...

DynaMITE - Dyna

From Dyna. DynaMITE (the Dyna Module for Iterative Training and Estimation) is a C++ library that is intended to make it easy to train weights using ...

Using the debugger - Dyna

Table of contents. 1 Navigating the Graph. 1.1 A note on speed 1.2 Scrolling and Zooming 1.3 Examining items and edges 1.4 Keyboard navigation ...

Current limitations and workarounds - Dyna

From Dyna. This website (dyna.org) documents the evolving design of the Dyna language. Some features documented on the site are designed but not yet ...

Chart object - Dyna

Table of contents. 1 What is a chart? 2 Constructing a chart. 3 Setting and querying chart values. 3.1 Asserting input from a file. 4 Retraction ...

List of keywords - Dyna

Table of contents. 1 Declaration names. 2 Literal constants. 3 Type names. 3.1 Primitive types 3.2 Computed types 3.3 C++ names for infix operators ...

Term - Dyna

Table of contents. 1 About Terms. 1.1 A note for Prolog programmers. 2 Terms and Types. 3 Primitive terms. 4 Structures. 5 Union types ...

Dynasty - Dyna

From Dyna. The Dyna visual debugger (called "Dynasty") allows you to explore the execution of a Dyna program. See screenshots. Dynasty is currently being ...

Install - Dyna

Table of contents. 1 Step 1: Compilation. 2 Step 2: Testing. 3 Step 3: Installation. 3.1 No installation 3.2 Public installation ...