Index

• accumulator 13.1
• alternative 2.3
• anonymous variable 17.3.1
• arity 17.6.1
• backtracking 16.3
• backtracks 16.1
• Backus-Naur Format 2.1
• bindings 2.6
• body 17.1.1
• chain of continuations 13.7
• closure 5 5 5 5
• cons cells 8.4
• consequent 2.3
• constraint network 17.6.3
• continuation 13.2
• continuation passing style 13
• definition 10.1
• dependancy-directed backtracking 16.5 17.6.3
• dot notation 8.4.1
• Environment 3
• escape procedures 26
• Evaluator 3
• expression 2.1 10.1
• first class objects 13.5
• function 5 5 5
• functor 17.6.1 17.6.1
• head 17.1.1
• hygenic macros 9.2.2
• implicitly typed language 17.3.1
• iterator 27
• lambda calculus 2.5
• Lisp 1.2
• list 2.1
• Null Object Pattern 22
• number 2.1
• operator precedence 17.6.1
• operators 17.6.1
• pairs 8.4
• Parameter Object 16.5.1
• pattern 17.2
• pattern matching 17
• pattern variables 17.1.1 17.2
• Primitive Operations 3
• Print System 3
• Prolog 13
• PScheme 2
• pythagorean triples 16.2.3
• Reader 3
• repl 3
• rule 17.1.1
• Scheme 1.2
• sequence 10.3
• sequences 10.1
• side effects 10.1 10.1
• significant expressions 25
• simple expression 25
• special form 2.3
• statement 10.1 10.1
• string 2.1
• structure 17.2
• Structure 3
• symbol 2.1
• tail call 13.1
• Tail Call Elimination 33
• tail call optimization 13
• tail position 13.1
• tail recursion 13
• tail recursive 13.1
• tail-call optimization 13.1
• test 2.3
• the cut 17.6.2
• trampoline 13.4
• unification 16.5 17
• variable assignment 10.1 10.1

• > 16.4
• >= 16.4
• < 16.4
• <= 16.4
• * 2.2
• amb 16.1
• and 16.4
• begin 10.3
• call-with-current-continuation 25
• call/cc 25
• car 8.3
• cdr 8.3
• cons 8.4
• define 2.4
• eq? 16.2.1 16.4
• error 15
• Eval 3
• eval 9.2.3
• exit 14
• global variables 2.4
• if 2.3
• init 12.1
• instantiate 17.3.2
• lambda 2.5
• let 2.6
• let* 7.1
• letrec 6.1
• list 8.2
• macro 9
• make-class 12.1
• new-env 17.3.2
• number 2.1
• number? 17.3.2
• operator precedence 2.2
• or 16.4
• pair? 17.3.2
• polymorphism 3
• print 13.6.9
• Print 3
• quote 8.1
• root 12.1
• set! 10.2
• spawn 14
• string 2.1
• substitute 17.3.2
• super 12.1.1
• symbol 2.1
• this 12.1.1
• unify 17.3.1
• unquote 9.2.2
• var? 17.3.2

• PScm
• v0.0.0
• as_string() 3.8
• $GlobalEnv 1
• Print() 3.8
• ReadEvalPrint() 1
• v0.0.1
• ReadEvalPrint() 4.3
• v0.0.2
• ReadEvalPrint() 5.1
• v0.0.3
• ReadEvalPrint() 6.1.2
• v0.0.4
• ReadEvalPrint() 7.3
• v0.0.5
• ReadEvalPrint() 8.6
• v0.0.6
• ReadEvalPrint() 9.3
• v0.0.7
• ReadEvalPrint() 10.4
• v0.0.8
• ReadEvalPrint() 11.3
• v0.0.9
• ReadEvalPrint() 12.2.6
• v0.1.2
• Print() 25
• ReadEvalPrint() 25
• repl() 25
• trampoline() 25 14
• v0.1.9
• ReadEvalPrint() 13.6.9
• v0.1.10
• new_thread() 14
• ReadEvalPrint() 14
• trampoline() 14
• v0.1.11
• Error() 15.2
• ReadEvalPrint() 15.1
• repl() 16.3.7
• v0.1.12
• ReadEvalPrint() 16.4.4
• repl() 16.3.7
• v0.1.13
• ReadEvalPrint() 17.3.2
• PScm::Class
• v0.0.9
• _populate_methods_hash() 12.2.1
• Apply() 12.2.2
• get_method() 12.2.3
• make_instance() 12.2.2
• new() 12.2.1
• v0.1.9
• Apply() 13.6.9
• v0.1.11
• Apply() 15.2
• make_instance() 15.2
• PScm::Class::Root
• v0.0.9 12.2.2
• v0.1.11
• make_instance() 15.2
• PScm::Closure
• v0.0.2
• _apply() 5.2
• as_string() 5.3
• new() 5.1
• v0.0.5
• _apply() 8.5.3 9.2
• v0.1.2
• _apply() 25
• v0.1.6
• _apply() 13.6.6
• PScm::Closure::Function
• v0.0.2
• _symbol() 5.3
• Apply() 5.2 25
• v0.0.5
• Apply() 8.5.3 9.2
• v0.1.2
• Apply() 25
• PScm::Closure::Macro
• v0.0.6
• _symbol() 9.2
• Apply() 9.2
• v0.1.6
• Apply() 13.6.6
• PScm::Closure::Method
• v0.0.9 12.2.3
• v0.1.9
• ApplyMethod() 13.6.9
• PScm::Continuation
• v0.1.2
• Apply() 25
• Bounce() 25
• cont() 25
• Cont() 25
• new() 25
• v0.1.12 16.3.1
• PScm::Continuation::Bounce
• v0.1.12 16.3.3
• PScm::Continuation::Cont
• v0.1.12 16.3.3
• PScm::Continuation::Fail
• v0.1.12 16.3.3
• PScm::Env
• v0.0.0
• LookUp() 2
• new() 2
• v0.0.1
• Extend() 4.1.2
• LookUp() 4.1.2
• new() 4.1.2
• v0.0.3
• _eval_values() 6.1.2
• _lookup_ref() 6.1.1
• Assign() 6.1.1 10.2
• ExtendRecursively() 6.1.2
• LookUp() 6.1.1
• v0.0.4
• ExtendIteratively() 7.2
• v0.0.5
• _populate_bindings() 8.5.4
• Extend() 8.5.4
• ExtendIteratively() 8.5.4
• ExtendRecursively() 8.5.4
• ExtendUnevaluated() 8.5.4
• v0.0.6
• top() 9.2.3
• v0.0.8
• Define() 11.1
• v0.0.9
• _lookup_method() 12.2.3
• _lookup_method_here() 12.2.3
• _lookup_method_in_super() 12.2.3
• Apply() 12.2.4
• call_method() 12.2.3
• v0.1.2
• Extend() 25
• v0.1.3
• _eval_values() 13.6.3
• _map_bindings() 13.6.3
• ExtendRecursively() 13.6.3
• v0.1.4
• ExtendIteratively() 13.6.4
• v0.1.9
• Apply() 13.6.9
• call_method() 13.6.9
• CallMethodOrDie() 13.6.9 15.2
• v0.1.11
• CallMethodOrDie() 15.2
• ExtendUnevaluated() 15.2
• v0.1.12
• LookUpHere() 16.3.8
• LookUpNoError() 16.3.8
• UnSet() 16.3.8
• v0.1.13
• Keys() 17.3.2
• Resolve() 17.3.2
• ResolveAll() 17.3.2
• PScm::Env::Super
• v0.0.9 12.2.5
• v0.1.9
• Apply() 13.6.9
• PScm::Expr
• v0.0.0
• Eval() 3.5.1
• isTrue() 6
• value() 3.4
• v0.0.1
• Eval() 4.3
• v0.0.5
• strings() 8.5.1
• v0.0.6
• is_unquote() 9.2.2
• Quote() 9.2.2
• quote_rest() 9.2.2
• v0.1.2
• Eval() 25
• v0.1.5
• map_eval() 13.6.5
• v0.1.6
• Quote() 13.6.6
• quote_rest() 13.6.6
• v0.1.11
• display_string() 15.1
• v0.1.12
• Eq() 16.4.3
• Eval() 16.3.2
• is_retry() 16.3.8
• v0.1.13
• Instantiate() 17.3.2
• ResolveTerm() 17.3.2
• Substitute() 17.3.2
• Unify() 17.3.2
• UnifyType() 17.3.2
• PScm::Expr::Atom
• v0.0.0
• as_string() 3.8
• new() 3.4
• value() 3.4
• v0.1.12
• Eq() 16.4.3
• PScm::Expr::List
• v0.0.0
• as_string() 3.8
• Eval() 3.5.3
• first() 3.5.3
• new() 3.4 8.5.1
• rest() 3.5.3
• value() 3.4
• v0.0.1
• Eval() 4.3 25
• v0.0.5 8.5.1
• v0.1.2
• Eval() 25 13.7
• map_eval() 25
• PScm::Expr::List::Null
• v0.0.5 8.5.1
• strings() 8.5.1
• v0.1.12
• Eq() 16.4.3
• PScm::Expr::List::Pair
• v0.0.5 8.5.1
• map_eval() 25
• v0.0.6
• Quote() 9.2.2
• quote_rest() 9.2.2 13.6.6
• v0.1.5
• map_eval() 13.6.5
• v0.1.6
• Quote() 13.6.6
• quote_rest() 13.6.6
• v0.1.11
• map_eval() 16.3.2
• v0.1.12
• Eq() 16.4.3
• map_eval() 16.3.2
• v0.1.13
• Instantiate() 17.3.2
• ResolveTerm() 17.3.2
• Substitute() 17.3.2
• UnifyType() 17.3.2
• PScm::Expr::Number
• v0.0.0 3.4
• PScm::Expr::String
• v0.0.0
• as_string() 3.8
• v0.1.11
• display_string() 15.1
• PScm::Expr::Symbol
• v0.0.0
• Eval() 3.5.2
• v0.0.1 4.3
• v0.0.6
• is_unquote() 9.2.2
• v0.1.2
• Eval() 25 15.2
• v0.1.11
• Eval() 15.2
• v0.1.12
• is_retry() 16.3.8
• PScm::Expr::Var
• v0.1.13
• Instantiate() 17.3.2
• is_anon() 17.3.2
• Substitute() 17.3.2
• Unify() 17.3.2
• PScm::Primitive
• v0.0.0
• _check_type() 5
• Apply() 5
• v0.0.1
• Apply() 4.3 25
• v0.0.5
• Apply() 8.5.2
• v0.1.2
• Apply() 25
• v0.1.10
• Apply() 15.2
• v0.1.11
• Apply() 15.2
• PScm::Primitive::Car
• v0.0.5 8.3
• PScm::Primitive::Cdr
• v0.0.5 8.3
• PScm::Primitive::Compare
• v0.1.12 16.4.2
• PScm::Primitive::Cons
• v0.0.5 8.5.1
• PScm::Primitive::Eq
• v0.1.12 16.4.3
• PScm::Primitive::Instantiate
• v0.1.13 17.3.2
• PScm::Primitive::List
• v0.0.5 8.2
• PScm::Primitive::Lt
• v0.1.12 16.4.2
• PScm::Primitive::Multiply
• v0.0.0
• _apply() 5
• PScm::Primitive::NewEnv
• v0.1.13 17.3.2
• PScm::Primitive::Substitute
• v0.1.13 17.3.2
• PScm::Primitive::Subtract
• v0.0.0
• _apply() 5
• PScm::Primitive::TypeCheck
• v0.1.13 17.3.2
• PScm::Primitive::TypeCheck::Pair
• v0.1.13 17.3.2
• PScm::Read
• v0.0.0
• _next_token() 4
• new() 4
• Read() 4
• v0.0.5
• _next_token() 8.5.5
• Read() 8.5.5
• read_list() 8.5.5
• read_list_element() 8.5.5
• v0.0.6
• _next_token() 9.2.2
• Read() 9.2.2
• v0.1.2
• _read() 25
• Read() 25
• v0.1.12
• Read() 16.3.7
• v0.1.13
• _next_token() 17.3.2
• PScm::SpecialForm::Amb
• v0.1.12 16.3.4
• PScm::SpecialForm::And
• v0.1.12 16.4.1
• PScm::SpecialForm::Begin
• v0.0.7 10.3
• v0.1.7
• Apply() 13.6.7
• apply_next() 13.6.7
• v0.1.12 16.4.1
• PScm::SpecialForm::CallCC
• v0.1.2 25
• PScm::SpecialForm::Define
• v0.0.8 11.2
• v0.1.8
• Apply() 13.6.8
• v0.1.12
• Apply() 16.3.5
• PScm::SpecialForm::Error
• v0.1.11
• Apply() 15.1
• do_error() 15.1
• new() 15.1
• PScm::SpecialForm::Eval
• v0.0.6 9.2.3
• PScm::SpecialForm::Exit
• v0.1.10 14
• PScm::SpecialForm::If
• v0.0.0
• Apply() 6
• v0.0.1 4.3
• Apply() 25
• v0.0.5
• Apply() 8.5.2
• v0.1.2
• Apply() 25
• PScm::SpecialForm::Lambda
• v0.0.2 5.1
• v0.1.2
• Apply() 25
• PScm::SpecialForm::Let
• v0.0.1 4.4
• v0.0.3
• Apply() 6.1.2
• UnPack() 6.1.2
• v0.0.5
• Apply() 8.5.2
• UnPack() 8.5.2
• unpack_bindings() 8.5.2
• v0.1.2
• Apply() 25
• v0.1.12
• Apply() 16.3.2
• PScm::SpecialForm::LetRec
• v0.0.3 6.1.2
• Apply() 13.6.3
• v0.0.5
• Apply() 8.5.2
• v0.1.3
• Apply() 13.6.3
• PScm::SpecialForm::LetStar
• v0.0.4 7.2
• v0.0.5
• Apply() 8.5.2
• v0.1.4
• Apply() 13.6.4
• PScm::SpecialForm::Macro
• v0.0.6
• Apply() 9.1
• v0.1.6
• Apply() 13.6.6
• PScm::SpecialForm::MakeClass
• v0.0.9 12.2.1
• v0.1.9
• Apply() 13.6.9
• PScm::SpecialForm::Or
• v0.1.12 16.4.1
• PScm::SpecialForm::Print
• v0.1.9 13.6.9
• PScm::SpecialForm::Quote
• v0.0.5 8.1
• v0.0.6
• Apply() 9.2.2
• v0.1.5
• Apply() 13.6.5
• v0.1.6
• Apply() 13.6.6
• PScm::SpecialForm::Sequence
• v0.1.12 16.4.1
• PScm::SpecialForm::Set
• v0.0.7 10.2
• v0.1.7
• Apply() 13.6.7
• v0.1.10
• Apply() 15.2
• v0.1.11
• Apply() 15.2
• v0.1.12
• Apply() 16.3.6
• PScm::SpecialForm::Spawn
• v0.1.10 14
• PScm::SpecialForm::Unify
• v0.1.13 17.3.2
• PScm::Token
• v0.0.0 4
• PScm::Token::Close
• v0.0.0 4
• PScm::Token::Dot
• v0.0.5 8.5.5
• PScm::Token::Open
• v0.0.0 4
• PScm::Token::Quote
• v0.0.6 9.2.2
• PScm::Token::Unquote
• v0.0.6 9.2.2