Logic-based programming language for the StegaSpider Surveillance System intelligent agent. Shows the state-action pairs with conditional statements. Screenshot from StegaSpider GUI.