Titlebook: Logic Programming ‘85; Proceedings of the 4 Eiiti Wada Conference proceedings 1986 Springer-Verlag Berlin Heidelberg 1986 Compiler.Constrai

青少年

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

modest

Fillet,Filet

,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.

容易懂得

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

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.

生存環(huán)境

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.

錯誤

值得尊敬

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