HUGINN
Methods of logic — Huginn