search

sto0pkid / AutoNomic

A p2p nomic game
5 stars 0 forks source link

Output is too verbose by default #7

Open sto0pkid opened 1 year ago

sto0pkid commented 1 year ago

Output of # autonomic < tests/examples/socrates:

#mode = kb
( sssssh )
#mode = commands
#mode = query
query size: 1
COMPILE QUERY
RUN
Getting value of thing: <:mortal>
  Is unboundVar or value.
  returning: <:mortal>
Getting value of thing: <Y>
  Is unboundVar or value.
  returning: <Y>
Getting value of thing: <Y>
  Is unboundVar or value.
  returning: <Y>
Getting value of thing: <:mortal>
  Is unboundVar or value.
  returning: <:mortal>
unifying: Y with :socrates
Getting value of thing: <Y>
  Is unboundVar or value.
  returning: <Y>
Getting value of thing: <:socrates>
  Is unboundVar or value.
  returning: <:socrates>
That's all, folks, 0 results.
1 unifys, 1 steps.
#mode = commands

Note: some characters related to color-coding have been removed from the output for clarity