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)

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 ]