Sign in
Flow Analysis of Prolog Programs.
Heikki Mannila
Esko Ukkonen
Published in:
SLP (1987)
Keyphrases
</>
flow analysis
prolog programs
logic programs
information flow
answer set programming
forensic analysis
answer sets
machine learning
case study
relational databases
intelligent agents
constraint satisfaction