A Calculus for the Construction of Modular Prolog Programs.

Donald Sannella Lincoln A. Wallen

Published in: SLP (1987)

Keyphrases

prolog programs
logic programs
construction process
answer set programming
real time
database systems
modular structure