Title: Debugger for a parallel logic programing language Fleng
Abstract: For the programming environment of a parallel logic programming language, it is an important problem to develop a debugger. However it is difficult to debug parallel programs by observing their execution traces. Using the characteristics of logic programming languages, one solution to this problem is debugging using declarative semantics programs. However parallel logic programming languages (Concurrent Prolog, GHC, etc.) are not pure logic programming languages because of their new primitives for synchronization. We must consider the causality relation between input and output because some operational meaning must be added to the declarative semantics for parallel logic programs. Hence, in this paper, we introduce a communicating process model to represent execution of parallel logic programs. And we present extended algorithmic debugging using this model.
Publication Year: 1991
Publication Date: 1991-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
Cited By Count: 1
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot