A Correction to the Denotational Semantics for the Prolog of Nicholson and Foo

Abstract

article Free Access Share on Technical correspondence: a correction to the denotational semantics for the Prolog of Nicholson and Foo Authors: Alan Finlay Monash Univ. Monash Univ.View Profile , Lloyd Allison Monash Univ. Monash Univ.View Profile Authors Info & Claims ACM Transactions on Programming Languages and SystemsVolume 15Issue 1Jan. 1993 pp 206–208https://doi.org/10.1145/151646.151652Published:01 January 1993Publication History 0citation179DownloadsMetricsTotal Citations0Total Downloads179Last 12 Months5Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF