Companies using Logic and Programming