The paper briefly introduces the Prolog programming language and its foundations in logical programming and mathematical logic. Prolog, along with Lisp, has been widely used in symbolic AI and remains among the top ten most commonly used languages for AI in general today.
ABSTRACT
The success of deep learning methods (deep neural networks), especially the success of systems like ChatGPT (GPT stands for Generative Pre-trained Transformer), which is based on a large language model (LLM), is truly impressive. However, these systems, belonging to statistical artificial intelligence (AI), are not without problems, particularly in the area of reasoning. In contrast, symbolic AI, although not in the spotlight today, excels in reasoning. Therefore, research teams in scientific institutions and large companies are currently making significant efforts to merge these two approaches, symbolic AI and statistical AI, into a hybrid approach.
The paper briefly introduces the Prolog programming language and its foundations in logical programming and mathematical logic. Prolog, along with Lisp, has been widely used in symbolic AI and remains among the top ten most commonly used languages for AI in general today.