Szeredi, P., "Prolog a Very High Level Language Based on Predicate Logic"

[Proceedings] (1977) Second Hungarian Conference on Computer Science (June, 1977)  

Languages mentioned Prolog {1971} Logic programming language