The Bousi Prolog User Manual In A Nutshell Version 1 04 Release April 2008 Pascual Julian Iranzo Clemente Rubio Manzano and Juan Gallardo Casero Department of Information Technologies and Systems University of Castilla La Mancha Pascual Julian uclm es Clemente Rubio Juan Gallardo alu uclm es 1 Introduction Bousi Prolog BPL for short is an extension of the Prolog language with an operational semantics based on the weak SLD resolution principle WSLD of 3
THE SWAM USER MANUAL IN A NUTSHELL Pascual Julidn Iranzo and Clemente Rubio Manzano Department of Information Technologies and Systems University of Castilla La Mancha Pascual Julian Clemente Rubio uclm es 1 Introduction Bousi Prolog BPL for short is an extension of the Prolog language with simi larity relations The implementation we are describing is based on a subset of the Warren Abstract Machine plus some new techniques incorporated inside it to deal wit