Open Source Prolog Software Development Software

Prolog Software Development Software

View 5979 business solutions

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

  • The Most Powerful Software Platform for EHSQ and ESG Management Icon
    The Most Powerful Software Platform for EHSQ and ESG Management

    Addresses the needs of small businesses and large global organizations with thousands of users in multiple locations.

    Choose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
    Learn More
  • GWI: On-demand Consumer Research Icon
    GWI: On-demand Consumer Research

    For marketing agencies and media organizations requiring a solution to get consumer insights

    Need easy access to consumer insights? Our intuitive platform is the answer. Get the ultra-reliable research that brands and agencies need to stay ahead of changing consumer behavior.
    Learn More
  • 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: 190 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: 36 This Week
    Last Update:
    See Project
  • 3
    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.
    Leader badge
    Downloads: 80 This Week
    Last Update:
    See Project
  • 4
    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: 3 This Week
    Last Update:
    See Project
  • Electronic Lab Notebook (ELN) Software Icon
    Electronic Lab Notebook (ELN) Software

    Ideal for any lab. Whether you’re just starting up, a small or large academic institution, or a globally operating company.

    eLabJournal is an all-in-one Electronic Lab Notebook (ELN) software that includes sample tracking and protocol management modules.
    Learn More
  • 5
    XSB
    Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
    Leader badge
    Downloads: 33 This Week
    Last Update:
    See Project
  • 6
    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: 13 This Week
    Last Update:
    See Project
  • 7
    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: 38 This Week
    Last Update:
    See Project
  • 8
    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: 17 This Week
    Last Update:
    See Project
  • 9
    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: 8 This Week
    Last Update:
    See Project
  • PairSoft | AP Automation and Doc Management Icon
    PairSoft | AP Automation and Doc Management

    Free your team from manual processes.

    Streamline operations and elevate your team's efficiency with PairSoft. Our AP automation, procurement, and document management solutions eliminate manual processes, cut costs, and free your team to focus on strategic initiatives. Experience our state-of-the-art invoice-to-pay solution, now integrated with advanced AI technology for faster, smarter results. Our customers report a significant 70% reduction in approval times and annual savings of $62,000 in employee hours. At PairSoft, we aim to transform your business operations through automation. Explore the future of automation at pairsoft.com, where you can leverage cutting-edge features like invoice capture, OCR, and comprehensive AP automation to transform your workflow. Whether you are a small business or a large enterprise, our solutions are designed to scale with your needs, providing robust functionality and ease of use. Join the growing number of businesses that trust PairSoft.
    Learn More
  • 10
    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: 11 This Week
    Last Update:
    See Project
  • 11
    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: 8 This Week
    Last Update:
    See Project
  • 12
    Sun Profile Project.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 13
    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: 5 This Week
    Last Update:
    See Project
  • 14
    PWIG is a SWIG extension that allows new language modules to be developed on Python. Includes a PWIG wrapper generator for SWI-Prolog and Logtalk.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 15
    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: 3 This Week
    Last Update:
    See Project
  • 16
    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: 1 This Week
    Last Update:
    See Project
  • 17
    JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 18
    Simple Object Oriented Programming Framework for Prolog
    Downloads: 2 This Week
    Last Update:
    See Project
  • 19

    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: 2 This Week
    Last Update:
    See Project
  • 20
    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.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 21
    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
  • 22
    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
  • 23
    PrologDoc is a small Prolog tool to document your Prolog applications, much like the better-known Javadoc does for Java. Its aim is to be simple but useful and freely usable.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 24
    SecFlow - Secure Flow Analyzation for Java and .NET
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    TOY is a constraint functional logic system, designed to support the main declarative programming styles and their combination
    Downloads: 1 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • Next
MongoDB Logo MongoDB