S-logic: a higher order logic for deductive databases

Cleary, John G.Liu, Mengchi2005-07-212005-07-211990Liu, M. (1990). S-logic: a higher order logic for deductive databases (Master's thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/109750315619767http://hdl.handle.net/1880/17851Bibliography: p. 109-112.vii, 129 leaves ; 30 cm.engUniversity of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission.QA 76.9 L58 1990Deductive data basesS-logic (Computer program language)S-logic: a higher order logic for deductive databasesmaster thesis10.11575/PRISM/10975QA 76.9 L58 1990