A blag containing my current adventures in logic, haskell and agents.