Login / Signup
A Calculus for the Construction of Modular Prolog Programs.
Donald Sannella
Lincoln A. Wallen
Published in:
J. Log. Program. (1992)
Keyphrases
</>
prolog programs
logic programs
real world
machine learning
information systems
expert systems
answer set programming