Programming languages such as LISP and PROLOG were developed, and mathematical and logical models such as the Robinson resolution were discovered. * Applications period (1980-present), when uses of AI techniques in military, industry, medicine, and other services have shown the financial sector that a new segment for investment is open.