Implementation of a Plausible Reasoning in the Prolog Programming Language

IF 0.5 Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS Pub Date : 2023-09-01 DOI:10.3103/S0005105523030068

E. A. Efimova

引用次数: 0

Abstract

Features of the representation of a plausible reasoning in various implementations of the logical programming language Prolog are considered. A number of computer applications developed in Prolog are described, which contain examples of practical use of the JSM method of automatic research support.

Abstract Image

查看原文本刊更多论文

Prolog程序设计语言中合理推理的实现

考虑了逻辑编程语言Prolog的各种实现中合理推理的表示特征。介绍了在Prolog中开发的一些计算机应用程序，其中包括自动研究支持的JSM方法的实际使用示例。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS COMPUTER SCIENCE, INFORMATION SYSTEMS-

自引率

40.00%

发文量

期刊介绍： Automatic Documentation and Mathematical Linguistics is an international peer reviewed journal that covers all aspects of automation of information processes and systems, as well as algorithms and methods for automatic language analysis. Emphasis is on the practical applications of new technologies and techniques for information analysis and processing.