Functional and Logic Programming

  Abstract