Collections, Sets, and Facts
Wednesday, April 27, 2011
2:43 PM
Collections, Sets, and Facts
Bud has its roots in Prolog: logic programming
It is perhaps best to think of a bud collection as a set of facts.
A fact, once known, is not forgotten. 
But a fact, once known, remains known. 
This is the crux of logical monotonicity.  
You can do only two things with collections: 
Create new collections from them. 
Merge sets of facts into them. 