An object-oriented language and deductive databaSe SyStem. ["F-Logic: A Higher-Order Language for ReaSoning about ObjectS, Inheritance and Scheme", ACM SIGMOD May 1989, pp. 134-146]. (1994-10-20)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ = ] [ ACM ] [ ag ] [ am ] [ an ] [ ar ] [ arc ] [ aS ] [ at ] [ b ] [ ba ] [ baSe ] [ bj ] [ bo ] [ C ] [ ch ] [ CM ] [ D ] [ data ] [ databaSe ] [ de ] [ deductive databaSe ] [ du ] [ ec ] [ ed ] [ edu ] [ er ] [ fi ] [ file ] [ fo ] [ for ] [ G ] [ ge ] [ gh ] [ gi ] [ gu ] [ h ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ it ] [ la ] [ language ] [ Lex ] [ M ] [ mo ] [ mod ] [ module ] [ na ] [ nc ] [ ng ] [ ni ] [ O ] [ object ] [ object-oriented ] [ ph ] [ query ] [ rc ] [ re ] [ S ] [ Scheme ] [ Se ] [ SI ] [ SIG ] [ So ] [ St ] [ Sy ] [ SyStem ] [ ua ] [ ve ]