Browse

OS OS

    • More...
  • More...
    • More...

Category Category

    • More...
    • More...
    • More...
    • More...

License License

    • More...

Translations Translations

  • More...

Programming Language Programming Language

  • More...

Status Status

  • More...

Audience Audience

    • More...

User Interface User Interface

    • More...
  • More...

Database Environment Database Environment

    • More...

Freshness Freshness

Top Apps

  • Searching for Affordable Business Phone Service? Searching for Affordable Business Phone Service? Icon
    Searching for Affordable Business Phone Service? Icon

    If you're on the hunt for business phone service that is reliable and budget-friendly, Voice over Internet Protocol (VoIP) is your answer.

    Today's small-to-medium-sized (SMB) businesses and large enterprises are saving on their monthly communications costs by making one simple decision: to switch to a VoIP service solution from their old, outdated Plain Old Telephone Service (POTS). By choosing a new VoIP service, these companies enjoy the flexibility, reliability, call features, and audio quality that only a VoIP service can provide. Plus, they cut their phone bill by up to 70%!
  • Compare Cell Phone Plans at Wirefly Compare Cell Phone Plans at Wirefly Icon
    Compare Cell Phone Plans at Wirefly Icon

    You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save.

    You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save. Enter what you need (minutes, data, texts) into Wirefly’s innovative plan comparison tools and see your savings instantly.
  • Linguistic Tree Constructor Icon

    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.

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

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

  • EulerSharp Icon

    EulerSharp

    Euler Yet another proof Engine

    EYE [1] is a reasoning engine supporting the Semantic Web layers [2]. It performs semibackward reasoning and it supports Euler paths [3]. Via N3 [4] it is interoperable with Cwm [5]. [1] http://eulersharp.sourceforge.net/README [2] http://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a [3] http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html [4] http://www.w3.org/TeamSubmission/n3/ [5] http://www.w3.org/2000/10/swap/doc/cwm

  • 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: 47 This Week Last Update: See Project
  • License This HTML5 Speed Test for Your ISP or Network License This HTML5 Speed Test for Your ISP or Network Icon
    License This HTML5 Speed Test for Your ISP or Network Icon

    Are you an ISP or network administrator looking for a reliable, accurate, & affordable HTML5 speed test that works on all devices?

    The SourceForge Speed Test measures Latency/Ping, Jitter, Download Speed, Upload Speed, Buffer Bloat, and Packet Loss. Upon completion, you can view detailed reports about your connection. This HTML5 speed test does not require Flash or Java, and works on all devices including tablets and smartphones. Host on your own infrastructure or use ours. For licensing, inquire today.
  • Datalog Educational System

    Deductive Database with Datalog, RA, TRC, DRC and SQL

    The Datalog Educational System (DES) is a deductive database with Datalog, SQL, Relational Algebra, Tuple Relational Calculus and Domain Relational Calculus as query languages developed mainly for education. It can be used from most common Prolog interpreters over any supported OS and from portable executables (Windows, Linux and MacOS).

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

  • EZOP

    EZOP is a category representing educational system.

    Downloads: 35 This Week Last Update: See Project
  • AminePlatform Icon

    AminePlatform

    Amine is a Multi-Layer Platform for the dev. of Intelligent System

    Amine is a Multi-Layer Java Open Source Platform dedicated to the development of various kinds of Intelligent Systems (Knowledge-Based, Ontology-Based, Conceptual Graph Based, NLP, etc.) and Intelligent Agents. See: //amine-platform.sourceforge.net/

  • XSB Icon

    XSB

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

    Downloads: 14 This Week Last Update: See Project
  • A Prolog Expert System

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

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

    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: 7 This Week Last Update: See Project
  • JLog/JScriptLog - Prolog in Java*

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

    Odin is a Tool that aims to be a didatic resource for AI Teachers. It lets students visualize PROLOG programs in 3D simulations.

    Downloads: 5 This Week Last Update: See Project
  • MARGO

    MARGO (Multiattribute ARGumentation framework for Opinion explanation), written in Prolog, is the engine developed in the ArguGRID project for decision making.

    Downloads: 3 This Week Last Update: See Project
  • OpenSHORE

    OpenSHORE is an XML based Semantic Document Repository (SDR) with a free definable meta model that builds up a semantic network from sections and relations in documents. The acronym SHORE means Semantic Hypertext Object Repository.

    Downloads: 3 This Week Last Update: See Project
  • PESS - Prolog Expert System Shell

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

    This project assembles the implementations of inference engines for CHORD, an object-oriented extension of CHRD.

    Downloads: 2 This Week Last Update: See Project
  • EulerGUI

    A lightweight IDE for Artificial Intelligence. Started as GUI for the Euler reasoning engine. The sources can be N3, RDF, OWL, UML, eCore, plain XML or XSD, files or URL's. Wraps Drools (or CWM, FuXi) as N3 rules engines. Model based app. generation.

    Downloads: 2 This Week Last Update: See Project
  • Prosper

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

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

    Downloads: 2 This Week Last Update: See Project
  • pltc

    Prolog to Turbo C compiler with runtime for DOS

    Prolog to Turbo C compiler with runtime for DOS

    Downloads: 2 This Week Last Update: See Project
  • s(ASP)

    Implements the stable model semantics without grounding.

    s(ASP) is an implementation of the stable model semantics of logic programming. Unlike similar systems, it does not employ any form of grounding. This allows s(ASP) to execute programs that are not finitely groundable, including those which make use of lists and terms. Work on s(ASP) is supported by the National Science Foundation under Grant No. 1423419. Details of how s(ASP) works can be found in the following paper: Marple, Kyle, Elmer Salazar, and Gopal Gupta. "Computing Stable Models of Normal Logic Programs Without Grounding." arXiv preprint arXiv:1709.00501 (2017) (https://arxiv.org/abs/1709.00501).

    Downloads: 2 This Week Last Update: See Project
  • DLog

    DLog is an Description Logic ABox reasoner that uses resolution. The basic idea is that a DL knowledge base is transformed into a Prolog program without any knowledge on the content of the ABox. The answers are obtained during normal Prolog execution.

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

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

No, Thank you