F-logic was originally developed for deductive databases, but is now most frequently used for semantic technologies, especially the semantic web.
F-logic was originally designed for deductive databases and has since become a key technology in semantic applications, including the semantic web.