Background
Sterling, Leon Samuel was born on May 17, 1955 in Melbourne, Victoria, Australia. Came to the United States, 1985. Son of Joseph and Ruth Rita (Harris) Sterling.
(This second edition contains revised chapters taking into...)
This second edition contains revised chapters taking into account recent research advances. More advanced exercises have been included, and "Part II The Prolog Language" has been modified to be compatible with the new Prolog standard. This is a graduate level text that can be used for self-study.
http://www.amazon.com/gp/product/B000OQI4Q2/?tag=2022091-20
(This new edition of The Art of Prolog contains a number o...)
This new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to take account of important recent research results, the references have been greatly expanded, and more advanced exercises have been added which have been used successfully in teaching the course. Part II, The Prolog Language, has been modified to be compatible with the new Prolog standard, and the chapter on program development has been significantly altered: the predicates defined have been moved to more appropriate chapters, the section on efficiency has been moved to the considerably expanded chapter on cuts and negation, and a new section has been added on stepwise enhancement—a systematic way of constructing Prolog programs developed by Leon Sterling. All but one of the chapters in Part III, Advanced Prolog Programming Techniques, have been substantially changed, with some major rearrangements. A new chapter on interpreters describes a rule language and interpreter for expert systems, which better illustrates how Prolog should be used to construct expert systems. The chapter on program transformation is completely new and the chapter on logic grammars adds new material for recognizing simple languages, showing how grammars apply to more computer science examples.
http://www.amazon.com/gp/product/0262192500/?tag=2022091-20
educator researcher computer scientist
Sterling, Leon Samuel was born on May 17, 1955 in Melbourne, Victoria, Australia. Came to the United States, 1985. Son of Joseph and Ruth Rita (Harris) Sterling.
Bachelor of Science with honors in Mathematics and Computer Science, University Melbourne, 1976. Doctor of Philosophy, Australian National University, Canberra, 1980.
Research fellow department artificial intelligence University Edinburgh, Scotland, 1980-1983. Dov Biegun postdoctoral fellow department applied mathematics and computer science Weizmann Institute of Science, Rehovot, Israel, 1983-1984. Assistant professor department computer engineering and science Case Western Reserve University, Cleveland, 1985-1989, associate director Center for Automation and Intelligent Systems Research, 1986-1989, director, 1989-1991, associate professor department computer engineering and science, 1989-1994, professor, since 1994.
General chairman North America Conference on Logic Programming, Case Western Reserve University, 1989. Invited lecturer Advanced School on Foundations of Logic Programming, Sardinia, Italy, 1988, 4th Asian School on Computer Science, Thailand, 1989. Consultant ALMEX Ticket Equipment Ltd., England, International Business Machines Corporation Science Center, Israel, Hal Robotics, Tel Aviv, Hadassah Hospital, Israel, Quintus Prolog, Palo Alto California, Artificial Intelligence-Ware, Cleveland, American Telephone & Telegraph Company, Columbus, Ohio, Chi Corporation, Cleveland, O'Connor & Associates, Chicago.
Member technical committee TC-12 Artificial Intelligence, since 1991. Chair poster program International Logic Programming Symposium, San Diego, 1991. Co-chair programs Artificial Intelligence '92 Australian Artificial Intelligence Conference, Hobart, 1992.
Reviewer, participant numerous seminars, conferences. Panelist numerous symposia.
(This second edition contains revised chapters taking into...)
(Programming examples include exercises in the text; does ...)
(Programming examples include exercises in the text; does ...)
(This new edition of The Art of Prolog contains a number o...)
Member Institute of Electrical and Electronics Engineers (reviewer journals), Association for Computing Machinery, American Association for Artificial Intelligence, International Joint Conference on Artificial Intelligence, Association Logic Programming (executive committee, area editor, guest editor Journal Logic Programming).
Married Miriam Camille Freilich, August 1, 1982. Children: Danya Z., Sara T.