Email Address * *
Name
Subject *
Message * Logic Programming Frame Problem, Unification, Warren Abstract Machine, Belief Revision, Constraint Logic Programming, Stable Model Seman - 1230576819 - 9781230576817