
Just making this up until the real thing comes along.

So from a wrapper we have access to the host etb nodes logic_state so
we can grok the rules, facts, and claims. 

Similarly we can ask theother nodes in the network. 

This example shows some of this.

Here are some instructions:

Fire up an etb in this directory:

./start 8765

in another term establish a client connection to it:

../../etb_clients/etb-shell/etb-shell -p 8765

Now ask it about its state (from the client)

/ > meta(X)

Not much happening, though now ask it again:

/ > meta(X)

Now start another etb in say ../make

./start 8764

and establish a client connection (in another term)

../../etb_clients/etb-shell/etb-shell -p 8764

do some stuff:

load(etb-make)

now returning to the etb-client talking to the node listeneing on port 8765:

/ > connect(localhost, 8764)

/ > meta(X)



================

Checklists

Establishing Checklists

Synthetic Claims?  (Sociological claims rather than logical)

Formal and Semi-formal claims (page 2 vmcai)
