SPLAT documentation

• 1 Overview
  • 1.1 Reasons for using SPLAT
    • 1.1.1 Small implementation, modest scope
    • 1.1.2 Integration of continuous and discrete actions
    • 1.1.3 Memory access control without full knowledge representation
• 2 Installing and loading the software
  • 2.1 Installation
  • 2.2 Loading
• 3 The define-splat syntax form
  • 3.1 (name . args)
  • 3.2 (local-vars (arg val) ...)
  • 3.3 (preconditions . body)
  • 3.4 (initializer . body)
  • 3.5 (finalizer . body)
  • 3.6 (wait-for fluent-list . body)
  • 3.7 (event-handler (event fluent-list . body) (action . body))
  • 3.8 (method context . body)
• 4 The define-behavior syntax form
  • 4.1 (name . args)
  • 4.2 (local-vars (arg val) ...)
  • 4.3 (enable . body)
  • 4.4 (disable . body)
  • 4.5 (control . body)
• 5 Possibly useful data types and methods
  • 5.1 <splat>
    • 5.1.1 (finish (self <splat>) return-code)
    • 5.1.2 (method-finish (self <splat>) return-code)
    • 5.1.3 (check-completion (self <splat>))
    • 5.1.4 (start-task (child <splat>) (parent <splat>))
    • 5.1.5 (wait-for-task (child <splat>) (parent <splat>))
    • 5.1.6 (run-top-level (child <splat>))
    • 5.1.7 (run (self <splat>))
    • 5.1.8 (sequence-actions a1 a2 ... an)
    • 5.1.9 (parallel-actions a1 a2 ... an)
    • 5.1.10 (wait-for-pred (self <splat>) fluent-list pred)
    • 5.1.11 (wait-forever (self <splat>))
  • 5.2 <splat-behavior>
    • 5.2.1 (enable (behav <splat-behavior>))
    • 5.2.2 (disable (behav <splat-behavior>))
    • 5.2.3 (check-for-disable (self <splat-behavior>))
  • 5.3 <splat-fluent> and <splat-predicated-action>
    • 5.3.1 (make <splat-fluent>)
    • 5.3.2 (make <splat-predicated-action>)
    • 5.3.3 (set-fluent! (fluent <splat-fluent>) value)
    • 5.3.4 (get-fluent (fluent <splat-fluent>) value)
    • 5.3.5 (enable (action <splat-predicated-action>))
    • 5.3.6 (disable (action <splat-predicated-action>))

The SPLAT system, including this manual, is free software; you may redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2, or (at your option) any later version.

This is distributed in the hope that it will be useful, but without any warranty; without even the implied warranty of merchantability or fitness for a particular purpose. See the GNU General Public License for more details.