资料来源 : Free On-Line Dictionary of Computing

O-Logic
     
        An {object-oriented} deductive language/database system.