Abstract
The aim of this presentation is to show how logic programming can be used to make formal specifications. This approach is illustrated by the project of standard PROLOG, as discussed in the ISO working group, which has been completely described by a formal specification.
Cite
CITATION STYLE
APA
Ed-Dbali, A. A., & Deransart, P. (1992). Software formal specification by logic programming: The example of standard PROLOG. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 636 LNCS, pp. 278–289). Springer Verlag. https://doi.org/10.1007/3-540-55930-2_19
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free