A logical operational semantics of full Prolog: part 1. Selection core and control

Authors:
Egon Börger
Affiliations:
-
Venue:
CSL '89 Proceedings of the third workshop on Computer science logic
Year:
1990

Citing 0
Cited 3

Modelling Prolog control

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Zooming In, Zooming Out

Journal of Logic, Language and Information
High Level System Design and Analysis Using Abstract State Machines

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract