Irascible
发表于 2025-3-23 11:40:48
Heuristics applied in tree manipulation algorithm synthesis,des Unfold/Fold transformation, some heuristic knowledge is necessary, for example avoiding re-execution of the same pattern of transformations. In this paper, we describe these heuristic knowledge in transformation. We also present B-tree insertion algorithm synthesis as a fair size example.
Hay-Fever
发表于 2025-3-23 14:41:47
Zero : Frame + prolog,is a general purpose frame-based knowledge representation language and is an extension of FMS which was developed by us. The extension is a feature to handle Prolog programs as attached procedures in the form of a set of clauses which is activated by a message sent from another frame. By combination
美食家
发表于 2025-3-23 19:37:19
http://reply.papertrans.cn/59/5879/587898/587898_13.png
震惊
发表于 2025-3-24 00:49:45
,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-24 02:40:10
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 specificati
关节炎
发表于 2025-3-24 09:50: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-24 10:42:16
http://reply.papertrans.cn/59/5879/587898/587898_17.png
insomnia
发表于 2025-3-24 14:53:58
Implementation of temporal logic programming language Tokio,hich are: the unification of the temporal variable, reduction including temporal operator, and interval control. The implementation of Tokio includes automatic interval length determination and stream-like temporal variable representation. At the end of this report, an abbreviated version of a Tokio
Collar
发表于 2025-3-24 23:00:27
http://reply.papertrans.cn/59/5879/587898/587898_19.png
变异
发表于 2025-3-25 02:40:58
http://reply.papertrans.cn/59/5879/587898/587898_20.png