hello world 1     hello world 2     hello world 3     Venus likes milk     Pluto likes bones     Nikki likes cheese     equality predicate     branching choice     Boolean calculator     proof verifying: De Morgan's law     sat solver: knights and knaves     planning: wolf, goat, cabbage