Login / Signup
Combining Logic and Control to Characterize Global Invariants of Prolog Programs.
Livio Colussi
Elena Marchiori
Massimo Marchiori
Published in:
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)
Keyphrases
</>
prolog programs
control system
logic programs
control method
global information
logic programming
deontic logic