青少年
发表于 2025-3-28 17:23:11
Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R, simulators. Target languages of PIM-R are Prolog and Concurrent Prolog. PIM-R executes Prolog programs in OR parallel and Concurrent Prolog programs in AND parallel. The simulation results show that PIM-R is able to exploit the parallelism in Prolog and Concurrent Prolog programs.
incite
发表于 2025-3-28 22:19:19
http://reply.papertrans.cn/59/5879/587898/587898_42.png
modest
发表于 2025-3-29 02:14:01
http://reply.papertrans.cn/59/5879/587898/587898_43.png
Fillet,Filet
发表于 2025-3-29 06:08:49
,Proedit — a screen oriented Prolog programming environment, A new execution model is proposed, which is based on the box model, but has been extended so that control flow between subgoals is displayed over time. It is written for VM/Prolog which runs under the VM/CMS operating system. The system is actually being used by researchers in IBM laboratories.
容易懂得
发表于 2025-3-29 10:23:07
Software prototyping with MENDEL,ics such as: 1) meta inference, 2) object concurrency, 3) linkage to C language, 4) propositional temporal logic, 5) Prolog predicates for performance prediction simulator. The object generation in MENDEL, that is a program tranformation of concurrency and temporal dependence requirement specifications, is also described.
refine
发表于 2025-3-29 14:52:14
Retrieval of software module functions using first-order predicate logical formulae,amming environment in which specifications of software modules are formalized using first-order predicate logical formulae. This method uses resolution and heuristics to determine reusability of current modules in the library. A prototype system has been developed using C-Prolog on a VAX11/780.
生存环境
发表于 2025-3-29 17:38:50
Temporal logic programming language Tokio programming in Tokio,TL operators. We will discuss how those temporal operators work. Some simple execution examples of Tokio are also included. Finally, we compare and contrast Tokio with other logic programming languages. Tokio is especially well suited for hardware description. We are now developing a total logic design assistance system based on Tokio.
错误
发表于 2025-3-29 23:07:27
http://reply.papertrans.cn/59/5879/587898/587898_48.png
值得尊敬
发表于 2025-3-30 01:06:40
Heuristic prolog: Logic program execution by heuristic search,ogic programs by heuristic (best-first) search in addition to depth-first search. The user can specify both the nodes in the search tree to be executed concurrently and priority of the nodes by means of a special built-in predicate. Some example programs in Heuristic Prolog are included to show the capability of the language.
Bureaucracy
发表于 2025-3-30 05:08:09
http://reply.papertrans.cn/59/5879/587898/587898_50.png