Showing 20 open source projects for "prolog"

View related business solutions
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • Veeam Data Platform v13.1 - Get Your Free Trial Icon
    Veeam Data Platform v13.1 - Get Your Free Trial

    Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

    Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
    Try it Free
  • 1
    EulerSharp

    EulerSharp

    Euler Yet another proof Engine

    EYE [1] is a reasoning engine supporting the Semantic Web layers [2]. It performs controlled chaining and it supports Euler paths [3]. Via N3 [4] it is interoperable with Cwm [5]. [1] http://eulersharp.sourceforge.net/README [2] http://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a [3] http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html [4] http://www.w3.org/TeamSubmission/n3/ [5] http://www.w3.org/2000/10/swap/doc/cwm
    Downloads: 2 This Week
    Last Update:
    See Project
  • 2

    pltc

    Prolog to C compiler with runtime for DOS, Windows and Raspbian

    Prolog to C compiler with runtime for DOS (with Turbo C), Windows 10 64 bits and Raspbian (Raspberry Pi)
    Downloads: 5 This Week
    Last Update:
    See Project
  • 3

    IP-Array

    An iptables IPv4 firewall and traffic shaping program

    A Linux IPv4 iptables firewall and traffic shaper. It allows flexible rule creation, while also shipping with presets for common needs. Rules are written in simple XML, allowing various ways to group and nest the arguments. An interactive mode is available in order to build configuration files in a wizard based manner. Extensive documentation is also included.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Prolog+CG is a Java implementation of Prolog with extensions implementing a subset of the Conceptual Graph (CG) theory of John Sowa. CGs are first-class datatypes on a par with terms. Object oriented extensions are also included.
    Downloads: 19 This Week
    Last Update:
    See Project
  • PRTG Catches Network Issues Before They Cause Downtime Icon
    PRTG Catches Network Issues Before They Cause Downtime

    Threshold-based alerts flag problems early, so your team can act before users notice, not after.

    Reactive troubleshooting usually means hearing about a problem from frustrated users, not your monitoring tool. PRTG sets threshold-based alerts across devices, servers and applications, notifying your team by email, SMS or push the moment a metric crosses a set limit. That means catching a failing disk or overloaded server before it becomes an outage and getting time back from firefighting. Start a free trial and set your first alerts today.
    Download 30-Day Trial
  • 5

    MotOrBAC

    An OrBAC policy editor

    MotOrBAC is a tool to help you design and implement a security policy using the OrBAC (Organisation Based Access Control) model. It is developped using the OrBAC API, an implementation of the OrBAC model.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    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
  • 7
    linux-Adequate

    linux-Adequate

    (download) Linux Adequate"available approximately five days"

    linux Adequate Elite (based on):/ debian and "most other distro which based on debian" ****************************************************** (alot of apps in):/ "graphics, multimedia, games, internet, office, science&math, crossover, wine, utilities,development,system,education" ****************************************************** (interfacses):/ "gnome 3, gnome classic, gnome (no effects), kde plasma workspace, kde plasma (safe session), metacity, unity 3d,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Fi-shell is a front-end to your system shell. It provides nonblocking i/o (concurrency) and pattern maching that is both easy to remember and readable (logic programming)
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9
    A framework for building, deploying and managing well-described REST-ful Web services, including REST-ful Web Services realizations for RSS, XML Topic Maps, Structured Arguments, and Workflow.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Save Up to 91% on Cloud Compute With Spot VMs Icon
    Save Up to 91% on Cloud Compute With Spot VMs

    Automatic sustained-use discounts. One free VM per month. No negotiation needed.

    Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
    Start Free
  • 10
    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
  • 11
    The CommGen platform is intended to be a simple, scalable integration platform for small to medium problem sets. The architecture is simple, consisting of a distributed kernel, distributed O/S, agent and application layer.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    GNU Prolog API for distributed multithreading programming built on top of the PM2 environment. The thread management is made with a user-level multithreading library and communication is made on top of Madeleine, the communication subsystem of PM2.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    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
  • 14
    OpenESM project to promote software development of enterprise systems management. Focus areas are (Performance and Availability, Configuration Management, Data Warehousing, Reporting and Correlation).
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    Ignite is used to optimize the distribution of a given group of files whithin the smallest possible number medias (of any kind). Ignite is highly configurable and has a lot of options (using user-defined commands to burn the medias is only one of them).
    Downloads: 1 This Week
    Last Update:
    See Project
  • 16
    Multiplatform (MUltiple Language / Target Integration PLATform FOR Modules) implements a unified integration platform for multiple modules written in multiple languages (C, C++, Prolog, Java) and multiple target platforms (GNU/Linux, Solaris, Windows).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    The IMAGO (Intelligent Mobile Agent Gliding On-line) system is a platform used to develop and deploy Prolog based Mobile Agents.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    The Prolog Expert System Shell (PESS) is a software that generates ES using basically two components: Knowledge Base, used by the ES to guide its decisions making, and Inference Machine, cable of collection the rules and generating new facts.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 19
    XPL is the eXtensible Programming Language. XPL is an application of XML for interchange of computer programs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    The project will integrate viable aspects of the semantic web technologies for use with advanced Semantic SQLCLI based XML DBMS. The purpose of this project is develop a GUI Application for a Suite of ECM Services.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next