Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

 

(planet jaymccarthy/datalog:1:3)
(planet jaymccarthy/datalog:1:3/ast)
(planet jaymccarthy/datalog:1:3/eval)
(planet jaymccarthy/datalog:1:3/parse)
(planet jaymccarthy/datalog:1:3/pretty)
(planet jaymccarthy/datalog:1:3/runtime)
(planet jaymccarthy/datalog:1:3/sexp)
Abstract Syntax
Acknowledgments
assertion
assertion-clause
assertion-srcloc
assertion?
assume
assume!
clause
clause-body
clause-equal?
clause-head
clause-srcloc
clause?
constant
constant-datum
constant-equal?
constant-srcloc
constant?
current-theory
Datalog for PLT Scheme
Datalog for PLT Scheme
Datalog Language for DrScheme
Datalog Syntax
datum
datum-equal?
datum/c
eval-program
eval-program/fresh
eval-statement
Evaluation
fact
format-assertion
format-clause
format-constant
format-datum
format-literal
format-literals
format-program
format-query
format-retraction
format-statement
format-term
format-variable
Getting Started
immutable-theory/c
Lexing and Parsing
literal
literal-equal?
literal-predicate
literal-srcloc
literal-terms
literal?
make-assertion
make-clause
make-constant
make-immutable-theory
make-literal
make-mutable-theory
make-query
make-retraction
make-variable
mutable-theory/c
Parenthetical Datalog
Parenthetical Datalog Syntax
Parethetical Parser API
parse-clause
parse-literal
parse-program
parse-statement
Parser API
Pretty-Printing
program
program/c
prove
query
query-clause
query-srcloc
query?
retract
retract!
retraction
retraction-clause
retraction-srcloc
retraction?
Runtime System
safe-clause?
sexp->clause
sexp->literal
sexp->program
sexp->statement
sexp->term
srcloc/c
statement
statement/c
struct:assertion
struct:clause
struct:constant
struct:literal
struct:query
struct:retraction
struct:variable
stx->clause
stx->literal
stx->program
stx->statement
stx->term
term
term-equal?
term/c
theories
theory/c
Tutorial
variable
variable-equal?
variable-srcloc
variable-sym
variable?