An environment for logic programming. Francez, N., Goldenberg, S., Pinter, R. Y., Tiomkin, M. L., & Tsur, S. SIGPLAN Notices, 20(7):179-190, 1985.
An environment for logic programming. [link]Link  An environment for logic programming. [link]Paper  bibtex   
@article{journals/sigplan/FrancezGPTT85,
  author = {Francez, Nissim and Goldenberg, Shalom and Pinter, Ron Y. and Tiomkin, Michael L. and Tsur, Shalom},
  ee = {http://doi.acm.org/10.1145/17919.806839},
  interhash = {bb9dc463ee8f0506ef9e01674d33da08},
  intrahash = {87e5be73ac3b9146cc90f048e7f8c8c4},
  journal = {SIGPLAN Notices},
  number = 7,
  pages = {179-190},
  title = {An environment for logic programming.},
  url = {http://dblp.uni-trier.de/db/journals/sigplan/sigplan20.html#FrancezGPTT85},
  volume = 20,
  year = 1985
}

Downloads: 0