Prolog s Control Constructs in a Functional Setting - Axioms and Implementation

Ralf Hinze. Prolog s Control Constructs in a Functional Setting - Axioms and Implementation. Int. J. Found. Comput. Sci., 12(2):125-170, 2001.

@article{Hinze01,
  title = {Prolog s Control Constructs in a Functional Setting - Axioms and Implementation},
  author = {Ralf Hinze},
  year = {2001},
  tags = {Prolog},
  researchr = {https://researchr.org/publication/Hinze01},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Found. Comput. Sci.},
  volume = {12},
  number = {2},
  pages = {125-170},
}