Transaction Logic Programming

Anthony J. Bonner, Michael Kifer. Transaction Logic Programming. In ICLP-Workshops on Implementation of Logic Programming Systems. pages 257-279, 1993.

@inproceedings{BonnerK93,
  title = {Transaction Logic Programming},
  author = {Anthony J. Bonner and Michael Kifer},
  year = {1993},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/BonnerK93},
  cites = {0},
  citedby = {0},
  pages = {257-279},
  booktitle = {ICLP-Workshops on Implementation of Logic Programming Systems},
}