Журнал «Современная Наука»

Russian (CIS)English (United Kingdom)
 MOSCOW +7(495)-142-86-81

Logical programming of solvers for local geometric problems

Novikov Pavel Vladimirovich  (PhD (candidate of Engineering Science), associate Professor, Moscow Aviation Institute (national research University), department of computing machines, systems and networks )

The article introduces the concept of a local geometric problem from the position of the clausal form of logic. The abilities of logical programming of local geometric problem are investigated. The features of programming symmetric binary relations and transitive geometric properties in the PROLOG language are shown. Domains types and predicates have been created to implement the basic concepts of geometry. The functioning of various solvers of local geometric problems is investigated.

Keywords:local geometric problem, logical program, binary relations, transitive geometric properties, problem solver
 

Read the full article …

Citation link:
Novikov P. V. Logical programming of solvers for local geometric problems // Современная наука: актуальные проблемы теории и практики. Серия: Естественные и Технические Науки. -2022. -№10. -С. 91-98 DOI 10.37882/2223-2966.2022.10.23
LEGAL INFORMATION:
Reproduction of materials is permitted only for non-commercial purposes with reference to the original publication. Protected by the laws of the Russian Federation. Any violations of the law are prosecuted.
© ООО "Научные технологии"

Terms Publications

Issues of the journals (Archive)

ECONOMICS AND LAW
HUMANITIES
NATURAL AND TECHNICAL SCIENCES
COGNITION

Серия - Natural and Technical Sciences