fulcrum
发表于 2025-3-26 22:26:18
http://reply.papertrans.cn/75/7412/741117/741117_31.png
骚扰
发表于 2025-3-27 04:35:41
http://reply.papertrans.cn/75/7412/741117/741117_32.png
创作
发表于 2025-3-27 05:35:11
Using the Reform inference system for parallel Prolog,amming language Prolog. We retain the sequential left-to-right depth-first backtracking scheme with one exception: the recursion levels of a recursive program, including the head unifications at each level, are computed in parallel. We discuss criteria for when a program is amenable to this kind of
osteocytes
发表于 2025-3-27 13:11:48
Random competition: A simple, but efficient method for parallelizing inference systems, processors solve the same task without any communication. Their programs only differ in the initialization of the random number generator used for branch selection in depth first backtracking search. This model, called random competition, permits us to calculate analytically the parallel performanc
ALOFT
发表于 2025-3-27 15:30:14
Parallel and efficient implementation of the compartmentalized connection graph proof procedure: Resolution to unification,heorem prover. Whilst the research has as it main goal the development of a language in which programs can be written with much less explicit control than PROLOG and its existing successors, a secondary goal is to exploit the immense parallelism inherent in the connection graph. This is what is in f
流动性
发表于 2025-3-27 18:17:45
Constraint satisfaction via partially parallel propagation steps,heir finite domains, the admissible combinations of values form a set of .-tuples which represents the globally consistent solution. This article presents a parallel approach to global constraint satisfaction.