Showing 65 open source projects for "gnu prolog"

View related business solutions
  • Contract Management Software | Concord Icon
    Contract Management Software | Concord

    AI-powered contract management that helps businesses track spending, negotiate smarter, and never miss deadlines.

    Concord serves small and mid-sized businesses and Fortune 500 companies. This robust, web-based platform is used by human resource, sales, procurement, and legal teams, and virtually anyone who deals with contracts.
    Learn More
  • Empower Your Workforce and Digitize Your Shop Floor Icon
    Empower Your Workforce and Digitize Your Shop Floor

    Benefits to Manufacturers

    Easily connect to most tools and equipment on the shop floor, enabling efficient data collection and boosting productivity with vital insights. Turn information into action to generate new ideas and better processes.
    Learn More
  • 1
    A collection of tools for working with the comparative data analysis ontology including import/export facilities for common phylogenetic file formats, and also a triple-store framework.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    PhyloPattern is a Java/Prolog API, helpful to simulate human reading of phylogenetic trees. Bioinformatician can: annotate trees, apply complex patterns to a tree to search specific architectures or extract information, compare trees with dynamically gen
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    MARGO (Multiattribute ARGumentation framework for Opinion explanation), written in Prolog, is the engine developed in the ArguGRID project for decision making.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    A modular language generator based on the theory of Functional Grammar (FG) by Simon C. Dik. Implemented using Java for the user interface, ANTLR for the input format parser and Prolog for the grammar and lexicon module, treating underlying linguistic st
    Downloads: 0 This Week
    Last Update:
    See Project
  • No-Nonsense Code-to-Cloud Security for Devs | Aikido Icon
    No-Nonsense Code-to-Cloud Security for Devs | Aikido

    Connect your GitHub, GitLab, Bitbucket or Azure DevOps account to start scanning your repos for free.

    Aikido provides a unified security platform for developers, combining 12 powerful scans like SAST, DAST, and CSPM. AI-driven AutoFix and AutoTriage streamline vulnerability management, while runtime protection blocks attacks.
    Learn More
  • 5
    SecFlow - Secure Flow Analyzation for Java and .NET
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    This project assembles the implementations of inference engines for CHORD, an object-oriented extension of CHRD.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    The Virtual Storyteller is a multi-agent framework for generating stories based on a concept called emergent narrative.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Extrospective agent program is a software agent architecture extending the well known BDI paradigm. This project is in collaboration with A&A framework by Alessandro Ricci, and Jason agent programming project by Jomi F. Hübner and Rafael H. Bordin.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    AntWar! is a virtual life simulator. The player must extends the base ants classes to create their own colonys whose must survive in the warfield.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Silverware is an enterprise-grade hospitality platform built for hotels, resorts, and complex multi-venue operations. Icon
    Silverware is an enterprise-grade hospitality platform built for hotels, resorts, and complex multi-venue operations.

    Silverware powers high-end hospitality environments

    Silverware is built for hotel, resort, and multi-venue hospitality operators who need enterprise-grade control, deep integrations, and always-on reliability to run complex operations at scale.
    Learn More
  • 10
    Component (library, framework) refactoring may affect existing applications, where the client code used previous component versions. Our tool preserves applications binary-compatible by generating an adaptation layer out of change history.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 11
    iDocs is a intellectual document work flow with text mining options project.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    JLog is a Prolog interpreter written in Java. It is fast and perfectly suited for education. It includes source editor, query panels, online help, animation primitives, and a GUI debugger. JScriptLog is Prolog in JavaScript.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13
    GGPrayer is an AI capable of playing any game described in the GameDescriptionLanguage defined in http://games.stanford.edu/.It uses Java to communicate to the gameserver and Prolog for reasoning. Info: http://bruno-wp.blogspot.com/search/label/Software
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    The PeerTrust system uses policies to describe trust and security requirements. Such policies are a component of Peertrust run-time system that can negotiate to establish trust among systems on the Semantic Web
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    The Rule Based Service Level Agreement (RBSLA) project focuses on knowledge representation concepts for service level management of IT services. At the core are rule-based languages to describe contracts and service level agreements in a formal way.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    This project will provide an interface for using Lightweight Communications Calculus (LCC) to control agents in the Unreal Tournament enviroment. It consists of a prolog-style interperter, LCC parser/IDE,a GUI / LCC editor and interfaces to the Gamebots
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    OpenESM project to promote software development of enterprise systems management. Focus areas are (Performance and Availability, Configuration Management, Data Warehousing, Reporting and Correlation).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Sun Profile Project.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 19
    Mopsos is a word prediction framework, intended to aid research and development regarding inter- and next-word prediction algorithms by providing a standarized environment to facilitate testing and ranking.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    The Semantic Web Service Composer is a prototyp for semi-automatic data flow design between Semantic Web services described in different domain ontologies. More info: http://citeseer.ist.psu.edu/viewdoc/versions?doi=10.1.1.60.9276
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Generic Roster Generator. GRoG automates the process, often complex and error prone, that every boardgames and wargames player knows very well: the construction of rosters.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    bddshell is a command line program for deductive database-based analysis. Its primary focus is software vulnerability detection. It acts as a front-end to a number of other programs, such as bddbddb and joeq.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    PrologTab plugin integrates a Prolog inference engine with the Protege-2000 knowledge base.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    This is a prolog-like programming language based on the fuzzy logic. It includes the class-libraries for fuzzy logic, probability theory and method of resolution, all made in C++. Java releases possible in the future.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    8. Mai 2005: We have discontinued SourceForge as a download place for our open source projects. You can now download these projects directly from the XLOG Technologies GmbH web site at http://www.xlog.ch/omonia.
    Downloads: 13 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB