LEAF(ID:1234/lea002)


for Logic, Equations And Functions




References:
  • Barbuti, R. et al "LEAF: A Language which Integrates Logic, Equations and Functions" pp.201-238. view details
          in DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986 view details