@article{programminginlogicwithoutlogic,
  title = {Programming in logic without logic programming},
  author = {Robert Kowalski and Fariba Sadri},
  year = {2016},
  eprint = {1601.00529},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1601.00529v2},
}