SPARKDOC: spark.io.oaa

agentStatus $op $list: A trigger has been set up to call this action whenever an agent gets connected to or disconnected from the facilitator.
oaaAddData $term $params: Adds a new data to the facilitator
oaaInit $host_str $port_num $name_str: Connect to facilitator
oaaPSolve $namestring $params $arg rest: args: Solve the OAA solvable with the given name
oaaRemoveData $term $params: Removes an data from the facilitator
oaaReplaceData $term1 $term2 $params: Replace an old data with a new data in the facilitator
oaaSetTrigger $type $triggerterm $actionterm $params: Set up a trigger. All parameters can be passed in spark form.
oaaSolve $namestring $arg rest: args: Solve the OAA solvable with the given name
oaaStart $host_str $port_num $name_str: Connect to facilitator
oaaStop: Disconnect from facilitator
ossShutdown: Called to disconnect from facilitator

CanSolve $goal: Determines whether the goal is solvable or not
ConnectedToOAA: Determines whether we are connected to the facilitator
IclString $icl $string: Convert between IclTerms and string representations of IclTerms
IclValue $icl $value: convert between Icl and SPARK values
OAAIclDataQString $icldataq $string: convert IclDataQ byte data into a string
OnlineAgent $agent
Solvable $string $symbol: The action is to be registered as solvable

generateIclTerm $string: Generate an IclTerm from a string
getAgentAddress: Get the address of this spark agent.
getOnlineAgents: Get a list of all the agents connected to the facilitator.
oaaStruct $functorsymbol rest: args: Construct a structure. Similar to @@ but takes a functor symbol rather than string.
oaaVar $name: Existentially quantified variable to send to OAA
rawOAA $goal $params

SPARK Documentation