What people are saying - Write a review
We haven't found any reviews in the usual places.
Representing Plans Designs and Global States Cl7
ASufﬁciency and the Deﬁniens
21 other sections not shown
9 arl A-sufﬁcient substitutions activity algorithm antecedent application arl arl arl Aronsson Artiﬁcial Intelligence atom axiom rule backtracking behaviour building calculated choice-of-method phase choicepoints Cond condition Conf construction control level database declarative declarative knowledge deﬁned deﬁniens operation deﬁnition-left eager evaluation efﬁcient evaluation example execution Extensions of Logic FAIL FAIL FAIL false 1 EXIT ﬁnd ﬁnished ﬁrst argument functional programming functor gives global Hom clause implementation inference rules instantiated interpreter Joumal of Logic language lazy evaluation Logic Programming meta level methods negation negation as failure Notes in Artiﬁcial object level deﬁnition object oriented programming operational semantics paper partial evaluation partial inductive deﬁnitions possible postconditions primitives Proc programming language Prolog proof term proviso deﬁnition quantiﬁed query representation retums rule deﬁnition rules and strategies satisﬁed scheduling phase search strategies section division ship class SICS Research Report SLD resolution speciﬁcation succeeds true true true uniﬁable uniﬁcation