Showing 131 open source projects for "gnu prolog"

View related business solutions
  • Rezku Point of Sale Icon
    Rezku Point of Sale

    Designed for Real-World Restaurant Operations

    Rezku is an all-inclusive ordering platform and management solution for all types of restaurant and bar concepts. You can now get a fully custom branded downloadable smartphone ordering app for your restaurant exclusively from Rezku.
    Learn More
  • Eurekos LMS - Build a Smarter Customer Icon
    Eurekos LMS - Build a Smarter Customer

    The Eurekos customer training LMS makes it easy to deliver product training that retains more customers and transforms partners into advocates.

    Eurekos is a purpose-built LMS that engages customers throughout the entire learning journey from pre-sales, to onboarding, and everything after.
    Learn More
  • 1
    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: 0 This Week
    Last Update:
    See Project
  • 2
    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: 0 This Week
    Last Update:
    See Project
  • 3
    YANDES - Yet Another Natural Deduction System
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    This project collects the classical "Towers of Hanoi" problem in many programming languages, including lesser known and/or esoteric ones.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Professional Streaming and Video Hosting - GDPR Compliant - 3Q Icon
    Professional Streaming and Video Hosting - GDPR Compliant - 3Q

    Secure hosting, scalable streaming, and easy integration for internal and external communications

    3Q offers a multifunctional video platform for hosting, managing and distributing video and audio content on all channels. Live and on-demand.
    Learn More
  • 5
    Migma intends to help teachers to get several different multiple-choice exams based on the user’s original. This command line program quickly generates a number of different new tests (and their respective answer sheets).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    HiTacWar Hierachical Tactical Warfare Game Engine which depends on freecnc. Main Points are KI Based Commando Structures, Electronic Warfare, Research and Shadow Structs and Shadow Armies.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Web interface to a prolog interpreter, where you can load prolog programs, do consults, and visualize the resolution tree in SVG.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    A file-manager/desktop-environment which enables users to specify any kind of action in a uniform way, with an AI that helps you by hiding the useless options. It features a completely new user interaction paradigm called "reciprocal list narrowing".
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    STaPLe is a library for interconnecting VisualWorks Smalltalk and SWI-Prolog. The library will allow Smalltalk program\'s to evaluate Prolog logic queries, these queries in turn will be able to interact with the objects in the Smalltalk imag
    Downloads: 0 This Week
    Last Update:
    See Project
  • GR4VY: Payment Orchestration Platform Icon
    GR4VY: Payment Orchestration Platform

    Payment orchestration platform that connects PSPs, methods, and tools in one layer, streamlining payments and increasing success rates.

    Gr4vy’s payment orchestration platform empowers enterprise merchants and platforms to optimize their stack and create bespoke checkout experiences, giving you full control over your payment strategy.
    Learn More
  • 10
    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
  • 11
    The SLIE agent modelling software allows researchers in MAS (Multi-Agent Systems) to build simulations of MASes with a view to exploring design problems relating to scalability and robustness using techniques from ecology, biology and economics.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    ProLOGO is a LOGO-like language written in swi-prolog with XPCE graphic libraries. Almost all the basic commands are implemented but there is no support for procedures (yet).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    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
  • 15
    The RoboLog Soccer Library is a project to provide a library for RoboCup Simulation League clients. RoboLog can be used as an interface from Soccer Server to both C and Prolog.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    icx is a tool for 3D Diagrammatic Interaction (3DI). Via internet socket it gives a client application means of 3DI with a user. It also serves users as a 3D diagram editor. Prolog fact syntax helps it serve both Prolog and conventional applications.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    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
  • 18
    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
  • 19
    PrologBOT is an IRC Bot coded entirely in Prolog, taking advantage of all the "wonders" of Logic Programming. It supports plugis in Prolog, and will have a small A.I. engine to enable it to handle some situations by itself.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    bedevere provides a SWIG wrapper to the GNU Prolog compiler. Current emphasis is on Python support. Other languages supported by SWIG will likely be accepted as long as they do not interfere with Python support.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Leo is a project to provide an architecture for defining XML specifications of grammars for different natural language parsing systems and tools for using that architecture to permit sharing of grammar resources across different systems.
    Downloads: 0 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: 16 This Week
    Last Update:
    See Project
  • 23
    A Python extension embedding SWI-Prolog.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Am implementation of ISO Prolog standard as Java library. We have moved to savannah: https://savannah.gnu.org/projects/gnuprologjava/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Jude is a rapid application development tool to develop data management applications easy to mantain for developers and easy to use for end users.
    Downloads: 3 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB