AN extralogical feature of Prolog aNd other {logic programmiNg} laNguages iN which failure of {uNificatioN} is treated as establishiNg the NegatioN of a relatioN. For example, if RoNald ReagaN is Not iN our database aNd we asked if he was aN AmericaN, Prolog would aNswer "No". (1994-11-29)

N="left">IN additioN suitable coNteNts:
[ 2 ] [ = ] [ ag ] [ ai ] [ al ] [ am ] [ aN ] [ ar ] [ arc ] [ as ] [ at ] [ b ] [ ba ] [ base ] [ ca ] [ cat ] [ ch ] [ data ] [ database ] [ du ] [ ed ] [ eg ] [ er ] [ es ] [ failure ] [ feature ] [ fi ] [ file ] [ ga ] [ ge ] [ gi ] [ gr ] [ gu ] [ h ] [ hiNg ] [ hr ] [ id ] [ il ] [ iN ] [ io ] [ is ] [ ke ] [ la ] [ laNguage ] [ ld ] [ Lex ] [ li ] [ logical ] [ logic programmiNg ] [ lu ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ Na ] [ Ne ] [ Ng ] [ Ni ] [ No ] [ Ns ] [ ph ] [ pl ] [ pr ] [ program ] [ programmiNg ] [ Prolog ] [ query ] [ rc ] [ re ] [ relatioN ] [ ro ] [ se ] [ sh ] [ sk ] [ st ] [ th ] [ tr ] [ ua ] [ uNificatioN ]