Incollection,

The Unification of Functional and Logic Languages.

, , and .
Logic Programming: Functions, Relations, and Equations, Prentice-Hall, (1986)

Meta data

Tags

Users

  • @dblp

Comments and Reviews