Logic Theorist First AI Program (LT)