Showing 136 open source projects for "prolog"

View related business solutions
  • Demo Series - Small Business Backup By Veeam Icon
    Demo Series - Small Business Backup By Veeam

    Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

    Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
    Watch Demo Series
  • 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
  • 1
    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
  • 2
    A Prolog expert system supporting querying and extending the knowledge base from a command-line interface using a format oriented on natural language, with the aim of being maintainable by the domain expert (i.e. without requiring programming skills).
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    PSMT is a statistical machine translation program written in prolog.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    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
  • One Monitoring Tool for IT, OT and Cloud | Free Trial Icon
    One Monitoring Tool for IT, OT and Cloud | Free Trial

    Vendor-agnostic monitoring across on-prem servers, cloud platforms and OT devices, all in one dashboard. No more tool sprawl.

    Modern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.
    Try PRTG Free
  • 5
    PrologTab plugin integrates a Prolog inference engine with the Protege-2000 knowledge base.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    LAOS (Linguistic Agents On Squares) is an implementation of the blocks world domain with interacting agents in Prolog.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    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
  • 8
    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: 0 This Week
    Last Update:
    See Project
  • 9
    Simple Object Oriented Programming Framework for Prolog
    Downloads: 1 This Week
    Last Update:
    See Project
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Start Free
  • 10
    Virtual Reality Environment based on Internet to teach Logic and Functional Programming
    Downloads: 1 This Week
    Last Update:
    See Project
  • 11
    Proshee is a Prolog type-inference system written in Prolog but depending on the banshee project in C (banshee.sourceforge.net). At present it manages very simple type-inference, but it has some problems with lists that need to be overcome.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    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
  • 13
    A general purpose Java interface for Prolog implementations.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 14
    Rulz.NET: proposed rules-based programming language for Mono & Microsoft.NET. Similar to stripped-down Prolog, the rules are actually entered in C# and you can use Visual Studio to step through the code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    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
  • 16
    Simple IDE for prolog with common interpreter.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17
    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
  • 18
    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
  • 19
    HyperSpider (Java app) collects the link structure of a website. Data import/export from/to database and CSV-files. Export to Graphviz DOT, Resource Description Framework (RDF/DC), XML Topic Maps (XTM), Prolog, HTML. Visualization as hierarchy and map.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 20
    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
  • 21
    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: 1 This Week
    Last Update:
    See Project
  • 22
    ...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: 2 This Week
    Last Update:
    See Project
  • 23
    JProlog is a complete IDE (Integrated Development Environment) for the Prolog language, written in Java2. It provide a Prolog interpreter, an easy-to-use extension package and a full graphics IDE.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 24
    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
  • 25
    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