METHOD FOR PARALLELIZING PROGRAMS IN A LOGICAL PROGRAMMING ENVIRONMENT IN A COMPUTER SYSTEM Russian patent published in 2019 - IPC G06F16/2458 G06F9/54 

FIELD: information technology.

SUBSTANCE: invention relates to a method for paralleling programs in a logical programming environment. Predicates are formed, at satisfaction of which in process of logical output initial data D from files or databases are converted into facts of logic program knowledge base. Algorithm is decomposed into separate steps, which are predicates, which are left part of logic program rule, which realizes algorithm. Predicate is formed to break the initial data into parts for operation of one of the plurality of work processes. Predicate is formed to merge the results of operation of a plurality of work processes into a single intermediate model of knowledge in the form of facts of a logical program knowledge base. Main working process data receiving predicate is formed, which is configured to receive data from a plurality of work processes. Main working process predicate is formed, which is the right part of the rule. Working process predicate are formed, wherein these predicates are the right-hand part of the rules. Multiple working processes and a main working process are launched for execution, thereby performing the following actions: in process of logical output, predicates representing application steps, starting from the first one at multiple working processes, are successively satisfied.

EFFECT: providing paralleling of logic programming tasks (algorithms) which do not have a list homomorphism.

1 cl