Functional and Logic ProgrammingYukiyoshi Kameyama, Peter J. Stuckey · First published 2004Open the Tome