The “Hamming problem” in Prolog

  title={The “Hamming problem” in Prolog},
  author={David Hemmendinger},
  journal={ACM SIGPLAN Notices},
Dijkstra [1] attributes to Hamming the problem of generating the set {213)5 k [ i,j,k >_0} in increasing order. Kahn and MacQueen [4] showed how to solve the problem with a stream-processing program that could be implemented with concurrent processes, and since then it has often been cited as an example of a problem whose concurrent solutions are simpler than sequential ones. In fact, however, the solution in Prolog is scarcely more complex than the concurrent ones. 
3 Citations

Datalog as a Lingua Franca for Provenance Querying and Reasoning

The Open Provenance Model provides a small, extensible core for representing and exchanging provenance information in a technology-neutral manner, but as pointed out by [15], the temporal semantics of OPM graphs is only partially defined in [20], leading to ambiguous or incompletely specified situations.

Modeling, Analysis, and Optimization of Data-Driven Scientfic Workflows

Modeling, Analysis, and Optimization of Data-Driven Scientific Workflows by SVen K OHLer, in partial satisfaction of the requirements for the degree of doctor of philosophy in computer science in the office of graduate studies of the University of California, Davis.

A Brief Tour Through Provenance in Scientific Workflows and Databases

This chapter provides a high-level “sightseeing tour” of some of those different notions and uses of provenance in scientific workflows and databases.



Parallel logic programming in parlo9

In this age of modern era, the use of internet must be maximized, as one of the benefits is to get the on-line parallel logic programming in parlog book, as the world window, as many people suggest.

Coroutines and Networks of Parallel Processes

Ce langage de programmation permet aussi de clarifier les relations entre plusieurs concepts : coroutines, appel par necessite, structures de donnees dynamiques et calcul parallele.

Functional programming - application and implementation

  • P. Henderson
  • Computer Science
    Prentice Hall International Series in Computer Science
  • 1980

Limit) :- H1 < H2, !, update rear

  • Limit) :- H1 < H2, !, update rear

Functional Programming: Application and Implementation, Prentice-Hall

  • Englewood Cliffs, N. J.,
  • 1980

A Discipline of Programming, Prentice-Hall

  • Englewood Cliffs, N. J.,
  • 1976