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)
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)
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012