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)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="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 ]