Towards a More Declarative Programming Style.

Luigia Aiello Giuseppe Attardi Gianfranco Prini

Published in: Formal Description of Programming Concepts (1977)

Keyphrases

declarative programming
answer set programming
logic programming
logic programs
data structure
expert systems
search problems