• Datalog

  • Referenced in 293 articles [sw20023]
  • used as a query language for deductive databases. In recent years, Datalog has found...
  • XSB

  • Referenced in 144 articles [sw13877]
  • Logic Programming and Deductive Database system for Unix and Windows. XSB Prolog. It is being...
  • HiLog

  • Referenced in 51 articles [sw01580]
  • order and modular logic programming, and deductive databases...
  • DLV

  • Referenced in 33 articles [sw04640]
  • deductive database system, based on disjunctive logic programming, which offers front-ends to several advanced...
  • MMP/Geometer

  • Referenced in 14 articles [sw00584]
  • area method and the geometric deductive database method. With these methods, we can not only...
  • PROTOS-L

  • Referenced in 7 articles [sw02876]
  • details from the user of a module. Database access and modification is fully embedded ... recursive as well as recursive function free deduction rules can be defined. PROTOS-L also ... database inference engine realizing a deductive database component, with a window manager realizing the interface...
  • kLog

  • Referenced in 6 articles [sw10403]
  • entity/relationship data modeling, logic programming, and deductive databases. Access by the kernel to the rich...
  • Asparagus

  • Referenced in 5 articles [sw08841]
  • having its roots in Nonmonotonic Reasoning, Deductive Databases and Logic Programming with negation as failure...
  • Pengines

  • Referenced in 5 articles [sw12408]
  • developing a (web) interface for a deductive database, functionality required by the client is provided...
  • HySpirit

  • Referenced in 4 articles [sw20096]
  • inference engine for hypermedia retrieval in large databases. HySpirit is a retrieval engine for hypermedia ... concepts from information retrieval (IR) and deductive databases. The logical view on IR models retrieval...
  • SYGRAF

  • Referenced in 4 articles [sw21247]
  • Horn logic programs can be implemented using database techniques, namely, mostly bottom-up in combination ... extension to the common approach to deductive databases, function symbols are allowed to appear...
  • Spatial-Yap

  • Referenced in 2 articles [sw13884]
  • Logic-Based Geographic Information System. Coupled deductive database systems join together logic programming systems ... years have seen the evolution of relational database management systems in order to enable them ... describe the application of the MYDDAS deductive database system to the handling of spatial data ... order to obtain a spatial deductive database system, that can be used as a geographic...
  • DrawCAD

  • Referenced in 2 articles [sw01611]
  • DrawCAD: using deductive object-relational databases in CAD. Computer-Aided Design (CAD) involves ... other objects they contain. Deductive object-relational databases can be used to compute the complete ... Relationlog object-relational deductive database system. It facilitates the creation of graphical objects by reusing ... systems can be developed, using deductive object-relational databases to store and manage data...
  • MYDDAS

  • Referenced in 3 articles [sw13885]
  • development of a highly efficient deductive database system, based on the coupling of the MySQL...
  • LogiQL

  • Referenced in 2 articles [sw28900]
  • that previously required multiple programming languages and databases. In this first book to cover LogiQL ... design, implement, and query deductive databases using this new programming language. LogiQL’s declarative approach...
  • MixLog

  • Referenced in 1 article [sw01565]
  • simple generalization of Prolog, deductive databases, and other rule-based systems. We show how both ... Prolog and deductive database programs can be coded directly in MixLog; both SLD resolution...
  • CDOL

  • Referenced in 5 articles [sw02639]
  • integration of deductive, object-oriented and active database technology. CDOL provides sublanguages for the expression...
  • OLDTNF

  • Referenced in 1 article [sw02188]
  • method for handling recursive queries in deductive databases...
  • BAYES-NEAREST

  • Referenced in 4 articles [sw02847]
  • combination with the Bayesian Network in the deduction phase. For those data bases in which ... known Naive Bayes classifier in some standard databases; the results obtained by the new algorithm...
  • VIRT

  • Referenced in 2 articles [sw02513]
  • further study of VIRT include construction of database management systems, construction of case systems, construction ... various profiles (numerical calculations, symbolic processing, deductive inference, user interface) that require integration into...