An introduction to logic programming through Prolog

Authors:
Michael Spivey
Affiliations:
Oriel College, Oxford, UK
Venue:
An introduction to logic programming through Prolog
Year:
1996

Citing 0
Cited 2

Fast, accurate call graph profiling

Software—Practice & Experience
One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract