concept symbolic ★★ seed
Logic Programming
Programming paradigm based on formal logic. Prolog (1972) became the primary language. Japan's Fifth Generation Computer project (1982) was built on it.
#logic
#prolog
#formal-reasoning
Programming paradigm based on formal logic. Prolog (1972) became the primary language. Japan's Fifth Generation Computer project (1982) was built on it.