Star Craft Tactical Miniatures Combat
Justification of image choices
Rule Updates These languages and methodologies are basically concerned with facts that change –There is a set of fluents (fact) –There are static rules.