compiler

Documentation

Index

• type Compiler
• type Context
  • func New() *Context
  • func (ctx *Context) Assemble(goal string) (*vm.VM, []vm.Addr, asm.Stream)
  • func (ctx *Context) Compile(rules ast.Rules) error
• type Heap
• type Refs
• type Rules

Types

type Compiler

type Compiler func(*Context, ast.Terms) asm.Stream

type Context

type Context struct {
	Signs map[string]*ast.Head
	Rules Rules
	Facts map[string]vm.Generator
	Heap  Heap
	Const map[vm.Addr]xsd.Value
	Index int
}

func New

func New() *Context

Create new instance of compiler

func (*Context) Assemble

func (ctx *Context) Assemble(goal string) (*vm.VM, []vm.Addr, asm.Stream)

Assemble the goal of σ-application into executable object. It returns virtual machine, target relation and stream itself

func (*Context) Compile

func (ctx *Context) Compile(rules ast.Rules) error

type Heap

type Heap map[string]vm.Addr

type Refs

type Refs map[string]*ast.Term

type Rules

type Rules map[string]Compiler