An nH-Prolog implementation

  • Bruce T. Smith
  • Donald W. Loveland
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 310)


  1. [1]
    D. W. Loveland. Near-Horn Prolog. In J. Lassez, editor, Logic Programming: Proceedings of the Fourth International Conference, The MIT Press, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Bruce T. Smith
    • 1
  • Donald W. Loveland
    • 2
  1. 1.University of North CarolinaChapel Hill
  2. 2.Duke UniversityDurham

Personalised recommendations