DLog download | SourceForge.net

DLog is an Description Logic ABox reasoner that uses resolution. The basic idea is that a DL knowledge base is transformed into a Prolog program without any knowledge on the content of the ABox. The answers are obtained during normal Prolog execution.

Project Activity

See All Activity >

License

Academic Free License (AFL)

Follow DLog

DLog Web Site

Other Useful Business Software

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Get Started Free

Rate This Project

User Reviews

Be the first to post a review of DLog!

Additional Project Details

Operating Systems

Linux, Windows

Intended Audience

Information Technology, Science/Research

Programming Language

C, Prolog

Database Environment

ODBC

Related Categories

Prolog Artificial Intelligence Software, Prolog Mathematics Software, C Artificial Intelligence Software, C Mathematics Software

Registered

2007-09-12

Similar Business Software

Pylon

Pylon is an All-in-one B2B Support Platform for modern B2B businesses. We bring together everything a post-sales teams team needs including a ticketing system, B2B omnichannel integrations (Slack Connect, Microsoft Teams), modern chat widget, knowledge base, AI support bot, account...

See Software
JAMS

JAMS is an automation orchestration and job scheduling solution that runs, monitors, and manages critical IT processes from a single console, from simple batch jobs to complex, cross-platform workflows. JAMS automates jobs across Windows, Linux, UNIX, IBM i, z/OS, and OpenVMS, with native...

See Software
Coursebox AI

Transform your content into engaging eLearning experiences with Coursebox, the #1 AI-powered eLearning authoring tool. Our platform automates the course creation process, allowing you to design a structured course in seconds. Simply make edits, add any missing elements, and your course is ready...

See Software
StackAI

StackAI is an enterprise AI automation platform to build end-to-end internal tools and processes with AI agents in a fully compliant and secure way. Designed for large, regulated organizations, it enables teams to automate complex workflows across operations, compliance, finance, IT, and support...

See Software
AddSearch

AddSearch is a unified search, AI-answers, and conversational-AI platform used by 1,800+ organizations. Three layers in one platform: keyword search with AI ranking and personalization; content-grounded AI answers with no hallucinations; conversational AI with multi-turn dialogue. Built for...

See Software
Google Workspace

Google Workspace with Gemini integrates premium AI into Gmail, Docs, Drive, Meet, and more, helping businesses work smarter, not harder. Draft emails faster, generate ideas, and summarize documents effortlessly with AI-powered assistance. Manage tasks, schedule meetings, and stay organized...

See Software