Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems

Tang Dong Xing, Enrico Pontelli, Gopal Gupta, Manuel Carro. Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. In ICLP. pages 93-106, 1994. [doi]

@inproceedings{XingPGC94,
  title = {Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems},
  author = {Tang Dong Xing and Enrico Pontelli and Gopal Gupta and Manuel Carro},
  year = {1994},
  tags = {optimization, parallel programming, logic programming, programming, logic, program optimization},
  researchr = {https://researchr.org/publication/XingPGC94},
  cites = {0},
  citedby = {0},
  pages = {93-106},
  booktitle = {ICLP},
}