ABACUS logicus