Reference work entry
Use of symbolic logic for problem representation and inferential reasoning. A common logic programming language is PROLOG, developed by French scientists in the early 1970s. It has been adopted by Japan as a standard. Artificial intelligence.
© Kluwer Academic Publishers 2001