Paper Info
Title
Event Logic Programming
Abstract
We present a new concurrent (constraint) logic programming language based on partially ordered event structures. A system is modeled as: (a) a set of concurrent processes, which are Prolog programs extended with event goals declaring program points of interest, and (b) a constraint store which imposes restrictions on the event goals execution order. The constraint store acts as a coordination entity which on the one hand encapsulates the system synchronization requirements, and on the other hand, provides a declarative specification of the system concurrency issues. This produces a powerful formalism which at the same time, overcome the deficiencies of traditional concurrent logic programming languages and preserve the benefits of declarative programming.
Year
DOI
Venue
2001
10.1007/3-540-44743-1_31
Parallel Computing Technologies
Keywords
Field
DocType
system concurrency issue,system synchronization requirement,event goals execution order,event logic programming,logic programming language,event structure,constraint store act,concurrent process,event goal,constraint store,declarative programming,point of interest,partial order
Constraint satisfaction,Fifth-generation programming language,Concurrent logic programming,Programming language,Computer science,Constraint programming,Concurrent constraint logic programming,Logic programming,Concurrent object-oriented programming,Constraint logic programming
Conference
Volume
ISSN
ISBN
2127
0302-9743
3-540-42522-5
Citations 
PageRank 
References 
0
0.34
8
Authors
2
Name
Order
Citations
PageRank
Rafael Ramirez174.58
Andrew Santosa214613.36