Browse

OS OS

  • More...

Category Category

    • More...

License License

    • More...

Translations Translations

  • More...

Programming Language Programming Language

  • More...

Status Status

  • More...

Audience Audience

User Interface User Interface

  • More...

Database Environment Database Environment

Freshness Freshness

Top Apps

  • 2018 Thomson Reuters Top 100 Global Tech Leaders 2018 Thomson Reuters Top 100 Global Tech Leaders Icon
    2018 Thomson Reuters Top 100 Global Tech Leaders Icon

    See how tech-sector leadership is being redefined in today’s complex business environment.

    21st century technology-sector leadership requires not only optimal financial performance but also attention to many other factors, including management and investor confidence, risk and resilience, legal compliance, innovation, environmental impact, social responsibility, and reputation. Successfully managing these areas may determine which tech companies have the fortitude to succeed in the future. Here’s to those that made the list.
    Who are today’s top global tech leaders?
    Read the report
  • 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.

  • 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
  • SvenDev - AI Development Language

    A language named after Sven (The AI in the book \'The Turing Option\'), intended to simplify work on AI. Will (eventually) include librarys for Neural Networks, expert systems, symbolic logic, and more.

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

    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
  • Prolog Image Processing

    Prolog Image Processing is a (initially) MacOS based extension to OpenProlog which allows to use image processing function in the context of Prolog.

    Downloads: 0 This Week Last Update: See Project
  • Fishell - a front end to your system she

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

    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
  • pwig wrapper and interface generator

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

    medSLT - The Medical Speech Translator

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

    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
  • plimk

    SWI-Prolog interface to ImageMagick graphics processing library

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

    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: 0 This Week Last Update: See Project
  • 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: 40 This Week Last Update: See Project
  • 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
  • SLIE agent modelling software

    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
  • PyProlog

    A Python extension embedding SWI-Prolog.

    Downloads: 0 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
  • 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
  • XSB Icon

    XSB

    Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows.

    Downloads: 35 This Week Last Update: See Project
  • Ciao Prolog

    Ciao Prolog is a GPL licensed, extensible, nex generation Prolog system, offering a programming environment with plenty of capabilities and libraries. Too many to be listed here.

    Downloads: 0 This Week Last Update: See Project
  • The Towers of Hanoi

    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
  • Card Raytracer Benchmark

    Short C++/Java/C#/Python benchmark

    This is a short C++/Java/C#/Python benchmark. Based on Paul Heckbert's sources. Thank you Paul!

    Downloads: 0 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: 0 This Week Last Update: See Project
  • Chinese Language Formula

    Yes, finally. The author decide to schedule some of his busy time to release the "Chinese Language Formula"- Step By Step. It will take a while, but eventually Chinese Language Processing is no longer a problem.

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

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

No, Thank you