Open Source Prolog Software

Prolog Software

Prolog Clear Filters

Browse free open source Prolog Software and projects below. Use the toggles on the left to filter open source Prolog Software by OS, license, language, programming language, and project status.

  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • Context for your AI agents Icon
    Context for your AI agents

    Crawl websites, sync to vector databases, and power RAG applications. Pre-built integrations for LLM pipelines and AI assistants.

    Build data pipelines that feed your AI models and agents without managing infrastructure. Crawl any website, transform content, and push directly to your preferred vector store. Use 10,000+ tools for RAG applications, AI assistants, and real-time knowledge bases. Monitor site changes, trigger workflows on new data, and keep your AIs fed with fresh, structured information. Cloud-native, API-first, and free to start until you need to scale.
    Try for free
  • 1
    GNU Prolog

    GNU Prolog

    The GNU Prolog native compiler

    GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.
    Leader badge
    Downloads: 149 This Week
    Last Update:
    See Project
  • 2

    C#Prolog

    C#Prolog -- A Prolog interpreter written in managed C#

    C#Prolog -- A Prolog interpreter written in C#. Can easily be integrated in C# programs. Characteristics: reliable and fairly fast interpreter, command line interface, Windows-interface, builtin DCG, XML- and JSON-predicates, SQL-predicates, extendible.
    Leader badge
    Downloads: 42 This Week
    Last Update:
    See Project
  • 3
    XSB
    Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
    Leader badge
    Downloads: 77 This Week
    Last Update:
    See Project
  • 4

    Datalog Educational System

    Deductive Database with Datalog, SQL, RA, TRC, DRC

    The Datalog Educational System (DES) is a deductive database with Datalog, SQL, Relational Algebra, Tuple Relational Calculus and Domain Relational Calculus as query languages developed mainly for education. It can be used from most common Prolog interpreters over any supported OS and from portable executables (Windows, Linux and MacOS).
    Leader badge
    Downloads: 110 This Week
    Last Update:
    See Project
  • AestheticsPro Medical Spa Software Icon
    AestheticsPro Medical Spa Software

    Our new software release will dramatically improve your medspa business performance while enhancing the customer experience

    AestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.
    Learn More
  • 5
    weed

    weed

    Heavily Xchat inspired beautiful irssi theme

    weed is a visually appealing theme for the irssi IRC client, inspired by XChat. It offers a modern and customizable interface, enhancing the user experience for irssi users who prefer a more aesthetic layout.​
    Downloads: 2 This Week
    Last Update:
    See Project
  • 6
    ECLiPSe CLP

    ECLiPSe CLP

    ECLiPSe Constraint Logic Programming System

    The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.
    Leader badge
    Downloads: 23 This Week
    Last Update:
    See Project
  • 7
    TerminusDB

    TerminusDB

    TerminusDB is a distributed database with a collaboration model

    A distributed document-oriented graph database with powerful version control, enabling collaboration and efficient knowledge graph management.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    Flora-2
    Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!
    Downloads: 8 This Week
    Last Update:
    See Project
  • 9
    EZOP is a category representing educational system.
    Leader badge
    Downloads: 17 This Week
    Last Update:
    See Project
  • Say goodbye to broken revenue funnels and poor customer experiences Icon
    Say goodbye to broken revenue funnels and poor customer experiences

    Connect and coordinate your data, signals, tools, and people at every step of the customer journey.

    LeanData is a Demand Management solution that supports all go-to-market strategies such as account-based sales development, geo-based territories, and more. LeanData features a visual, intuitive workflow native to Salesforce that enables users to view their entire lead flow in one interface. LeanData allows users to access the drag-and-drop feature to route their leads. LeanData also features an algorithms match that uses multiple fields in Salesforce.
    Learn More
  • 10
    Prosper is a web application development framework to augment Prolog applications with a web interface. It supports control flow in visual logic and promotes a clear separation of model from view.
    Downloads: 16 This Week
    Last Update:
    See Project
  • 11
    Linguistic Tree Constructor

    Linguistic Tree Constructor

    Syntax tree editor for rapid annotation of existing text

    Linguistic Tree Constructor (LTC) is a tool for drawing lingusitic syntax trees of already-existing text. It is a syntax editor, not a text editor, so the text has to exist already. It is best suited for large-scale, rapid creation of hand-annotated treebanks. The user can define their own node categories, and can label each node with labels, also definable by the user. LTC supports "generic", X-Bar and RRG trees. Supports interlinear texts in SIL SFM format.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 12
    Programming Language ADP

    Programming Language ADP

    ADP is a script language designed for Web database prgramming.

    ADP (Another Data Processor) is a programing language that is designed for Web database programing. It is a scripting language and a lightweight programming language in which it is possible to mix SQL easily. It is easy to install. ADP is base on Prolog. But ADP uses only the backtrack and unification. The syntax is original and likes a another scripting language, supports method call.
    Downloads: 15 This Week
    Last Update:
    See Project
  • 13
    A group of systems for building network-oriented intelligent agents, consisting an agent communications infrastructure, April - an agent construction programming language, Go! - a logic programming language and DialoX - an XML-based user interface engine
    Downloads: 5 This Week
    Last Update:
    See Project
  • 14
    AminePlatform

    AminePlatform

    Amine is a Multi-Layer Platform for the dev. of Intelligent Systems

    Amine is an Artificial Intelligence Multi-Layer Java Open Source Platform dedicated to the development of various kinds of Intelligent Systems and Agents (Knowledge-Based, Ontology-Based, Conceptual Graph -CG- Based, NLP, Reasoning and Learning, Natural Language Processing, etc.). Ontology, KB can be created and manipulated with various processes. CG theory is used as the main knowledge representation language. Amine provides two languages: PROLOG+CG which extends PROLOG with CG and Amine modules, and SYNERGY which is a visual activation/propagation based language. CGs are considered by SYNERGY as activable/executable graphs. See for more detail: //amine-platform.sourceforge.net/
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    ConceptBase.cc

    ConceptBase.cc

    A Database System for Metamodeling and Method Engineering

    ConceptBase.cc is a multi-user deductive and object-oriented database system for metamodeling and method engineering. Includes a graphical client that builds upon the logic-based features of the ConceptBase.cc server. The data model is O-Telos. ConceptBase.cc can represent information at the data level (example data, traces of process executions etc.), the class level (schemas, process definitions etc.), the metaclass level (constructs of modeling languages), the meta-metaclass level (constructs for defining modeling languages), and so forth. ConceptBase.cc is developed by the ConceptBase Team at University of Skövde (HIS). ConceptBase.cc supports Linux, Mac OS X and Windows. ConceptBase.cc is free software distributed under a FreeBSD-style license.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 16
    illness index

    illness index

    illness_index A Computer Program of a Medical Textbook.

    A computer scientist has attempted to program a textbook of British general practice (primary care) medicine, that is, Hodgkin K (1978) "Towards Earlier Diagnosis....", 4th Edition, Churchill Livingstone. If a patient types presenting findings (such as headache, cough), the program prompts the user for expansion/denial of appropriate findings, in order to construct a list of patient findings. The program also calculates a list of likely diseases, which the user can use the web to find out more about. The program has about 600 diseases and 1000 findings. Brought to you by Kit Free Software 2024 Ltd. Keywords - disease, health, healthcare, illnesses, illnessindex, illness_index.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 17
    XGP is an integrated development environment that extends GNU Prolog to work with Cocoa under Macintosh OS X. It provides user interface and graphics facilities largely compatible with MacProlog32 by LPA. Requires Mac OS X version 10.2.1 or greater.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 18
    A lightweight IDE for Artificial Intelligence. Started as GUI for the Euler reasoning engine. The sources can be N3, RDF, OWL, UML, eCore, plain XML or XSD, files or URL's. Wraps Drools (or CWM, FuXi) as N3 rules engines. Model based app. generation.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 19
    Some tools related to the Music Ontology - including domain-specific Semantic Web crawlers, audio collection management and mapping tools
    Downloads: 1 This Week
    Last Update:
    See Project
  • 20
    Odin is a Tool that aims to be a didatic resource for AI Teachers. It lets students visualize PROLOG programs in 3D simulations.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 21

    ProLogic

    Prolog wrapper for BWAPI

    Enables Prolog developers to create AI modules for StarCraft BroodWar by wrapping the BWAPI functions in Prolog predicates. For more information refer to the Project Wiki.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 22
    This is an implementation of a client/server-architecture poker(Limit Texas Hold'em) software in (SWI-)Prolog. It uses the extension XPCE for GUI's and sockets. Would gladly see users to help developing.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 23
    TuCSoN

    TuCSoN

    TuCSoN tuple-based coordination middleware

    TuCSoN (Tuple Centres Spread over the Network) is a tuple-based middleware for the coordination of distributed systems – including multi-agent systems, mobile agents and pervasive systems.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 24
    YANDES - Yet Another Natural Deduction System
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    A Practical Agent Programming Language
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next