An introduction to Nova

Nova helps make programs easier to talk to, by organizing programs into rules and facts. Spidra is a specific impelementation of Nova.

Facts are sentences. Under the hood, they're called tuples. If you want Spidra to know something, you can just tell it: 

 || There are some pebbles
If you have more than one thing to tell Spidra, commas separate facts: 
 || I see some pebbles, I see some moss

Rules look like this: 

 | It's raining | I need to grab my coat
Tuples inside the | pipes are patterns for facts that Spidra will look for.

A rule can look for more than one pattern 

 
  | I see some pebbles, I see some moss | 
      I see pebbles and moss

When a rule is matched, the facts that it found are forgotten. So, given the starting facts 

 
  || I see some pebbles, I see some moss
and the rules 
 
  | I see some pebbles, I see some moss |
    I see pebbles and moss
The only facts that Spidra will know after running over those rules will be 
 
  || I see pebbles and moss

Spidra built by yumaikas as an implementation of Mira

Nova & Mira designed by wryl