ntax (with which you could write things like [1,2] [3,4] [5,6] to append three lists (using an "empty" infix syntax). Also, as Reddy notes, his approach cannot treat all logic programs as functional programs without somehow extending the basic framework, for example with ad hoc mechanisms to support set-valued functions. This seems an interesting area for further research. Our Eqlog system (see vol.1, No.2, Logic Programming Jnl.) is misleadingly characterized in Reddy's papers and Prolog Digest note, and also in Lindstrom's paper and Malachi's Digest note on Tablog. Eqlog has an equational sublanguage with logical variables, and uses narrowing to solve equations for values of the logical variables (this sublanguage has the syntax of OBJ2, for which see POPL8