Predicate Logic as Programming Language (1974)

by R A Kowalski
Venue:Proccedings IFIP Congress, 569– 574