Email Address * *
Name
Subject *
Message * Logic programming Frame problem, Unification, Warren abstract machine, Belief revision, Constraint logic programming, Stable model semantics - 1156524113 - 9781156524114