Email Address * *
Name
Subject *
Message * Articles On Logic Programming, including Frame Problem, Unification (computing), Warren Abstract Machine, Ramification Problem, Guarded Command Language, Qualification Problem, Default Logic, Occurs Check, Clausal Normal Form - 1243284579 - 9781243284570