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
Go From AI Idea to AI App Fast Icon
Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
Try Free
Rate This Project
Login To 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