Compilers Software

OS OS

  • More...

Category Category

License License

Translations Translations

Programming Language Programming Language

  • More...

Status Status

  • More...

Audience Audience

User Interface User Interface

  • More...

Database Environment Database Environment

Freshness Freshness

Compilers Software

  • Trial SolarWinds Backup and you could receive a free Amazon Echo Dot Trial SolarWinds Backup and you could receive a free Amazon Echo Dot Icon
    SolarWinds Backup provides lightning-quick recovery that can restore business continuity after a disaster. For a limited time only, when you try SolarWinds Backup and store at least 100GB of selected data, you have the chance to receive a free Amazon Echo Dot.
  • CRM / Lead Management / Marketing Automation CRM / Lead Management / Marketing Automation Icon
    CRM / Lead Management / Marketing Automation Icon

    More than just software – it’s a solution customized specifically for your business. We strive to give customers exactly what they want.

    Don’t sign a long-term contract. At LeadMaster we earn your business every day with a month-to-month agreement. Solutions start at just $500 for the first month and $150/month after that for up to 3 users. Additional users are always available, again month-to-month. For the last 20 years we’ve helped people from virtually every industry increase sales by automating & improving their sales & marketing process and we think we can help you too.
  • Regulus

    Regulus is a Prolog-based toolkit for building spoken dialogue systems.

    Downloads: 18 This Week Last Update: See Project
  • FOML Icon

    FOML

    FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason about a model and its data (instance model, i.e., diagram) FOML is built as a semantic layer on top of PathLP - a compact logic rule language of guarded path expressions, an adaptation of a subset of F-logic.

    Downloads: 0 This Week Last Update: See Project
  • ECLiPSe CLP Icon

    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.

  • GNU Prolog Icon

    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.

    Downloads: 70 This Week Last Update: See Project
  • Flora-2 Icon

    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.

  • Get More. Spend Less. Get More. Spend Less. Icon
    Get More. Spend Less. Icon

    Build Your Phone System Online

    • Unlimited Calling 60+ Features
    • 98% Customer Satisfaction, Order Online
    • 24/7 US Based Support, No Contracts
  • Yet Another Prolog

    The Yap Prolog System is a ISO-compatible high-performance Prolog compiler. Yap is widely considered one of the fastest available Prolog systems. Yap supports coroutining, CLP(QR), CHR, and depth-bound search. Tabling and parallelism are in development.

  • pltc

    Prolog to Turbo C compiler with runtime for DOS

    Prolog to Turbo C compiler with runtime for DOS

    Downloads: 1 This Week Last Update: See Project
  • Galliwasp Icon

    Galliwasp

    Goal-directed answer-set programming

    Galliwasp is an answer set programming (ASP) system utilizing a unique top-down, goal-directed execution method.

    Downloads: 3 This Week Last Update: See Project
  • STALEMATE KDD Lab Icon

    STALEMATE KDD Lab

    The project provides an incubator for intelligent agent-assisted, AR gaming-oriented BI applications generated through the STALEMATE Knowledge-based System Design Environment (KBSDE), integrating Web-enabled knowledge bases, data mining and warehousing and directed at asset management and investment banking.

    Downloads: 0 This Week Last Update: See Project
  • Java Prolog Interoperability Engine

    JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.

    Downloads: 0 This Week Last Update: See Project
  • Detect and respond to threats with SolarWinds® Log & Event Manager. Detect and respond to threats with SolarWinds® Log & Event Manager. Icon
    Get comprehensive SIEM capabilities including:
    • Fast and easy compliance reporting and real-time event correlation
    • File integrity monitoring, real-time remediation, and USB device monitoring
  • Network Agents

    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: 0 This Week Last Update: See Project
  • SecFlow

    SecFlow - Secure Flow Analyzation for Java and .NET

    Downloads: 0 This Week Last Update: See Project
  • CommGen: Component Integration Platform

    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
  • Canna Prolog

    Prolog compiler and interpreter for the .Net 2.0 framework.

    Downloads: 0 This Week Last Update: See Project
  • MatForce

    MatForce is a compiler that translates MatLab scripts into self-contained C++ code, producing human-readable, extensible C++ sources that can be fitted to the needs of the encapsulating application.

    Downloads: 0 This Week Last Update: See Project
  • prolog on java

    Prolog on Java is a open source implementation of a Warram Abstract Machine on Java, using gnuprolog

    Downloads: 0 This Week Last Update: See Project
  • Mercury

    Mercury is a modern logic/functional programming language. The Mercury system includes a compiler, debugger, libraries, sample code, profilers, etc. Mercury is designed to be the successor of logic programming languages such as Prolog.

    Downloads: 0 This Week Last Update: See Project
  • Kiss Prolog

    Kiss Prolog is a new Prolog System based in Simplicity and Scalability. Kiss Prolog engine (AM) is about 10-30 times faster than commercial AM and about 10 times smaller.

    Downloads: 0 This Week Last Update: See Project
  • Previous
  • You're on page 1
  • Next

Get latest updates about Open Source Projects, Conferences and News.

No, Thank you