Common Logic Proposal

Common Logic Proposal

An attempt to map different logic based languages so that they become interchangable.