Archive is a fully drag-and-drop multi-format archiver. Drag a directory onto it to create an archive. Drag an archive onto it to extract to a directory. It can also compress and decompress streams (for example, you could drag a .gz file onto Archive and from Archive into your text editor).
The Discrete Event Calculus Reasoner allows a programmer to add common-sense reasoning capabilities to programs. It supports deduction/temporal projection, abduction/planning, postdiction, and model finding. It allows default reasoning about action, change, space, and mental states. It is based on the event calculus, a comprehensive and highly usable logic-based formalism. It helps applications understand the world, make inferences, adapt to unexpected situations, and be more flexible.