OSI-Approved Open Source (97)
- GNU General Public License version 2.0 (51)
- GNU Library or Lesser General Public License version 2.0 (23)
- GNU General Public License version 3.0 (6)
- BSD License (5)
- Academic Free License (4)
- GNU Library or Lesser General Public License version 3.0 (4)
- Apache License V2.0 (3)
- Common Development and Distribution License (3)
- MIT License (3)
- Apache Software License (2)
- Artistic License (2)
- Mozilla Public License 1.0 (2)
- Affero GNU Public License (1)
- Common Public License 1.0 (1)
- ISC License (1)
- Public Domain (6)
- Other License (3)
- Linux (105)
- Windows (94)
- Grouping and Descriptive Categories (84)
- Mac (76)
- Modern (31)
- BSD (29)
- Android (26)
- Artificial Intelligence
- Medical Science Apps.
- Human Machine Interfaces
- Information Analysis
- Interface Engine/Protocol Translator
- Ecosystem Sciences
- Mechanical and Civil Engineering
- Programming Language: Prolog ×
Amine is a Multi-Layer Platform dedicated to Intelligent System3 weekly downloads
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.21 weekly downloads
ECLiPSe Constraint Logic Programming System75 weekly downloads
ALPprolog is a Prolog implementation of an action programming language. With ALPprolog you can program strategies for autonomous agents in dynamic domains like e.g. the Wumpus world.1 weekly downloads
THIS PROJECT HAS MOVED TO BITBUCKET, PLEASE VISIT: https://bitbucket.org/ssardina/indigolog ------------- IndiGolog is a high-level programming language where programs are executed incrementally to allow for interleaved action, planning, sensing, and exogenous events.
A collection of tools for working with the comparative data analysis ontology including import/export facilities for common phylogenetic file formats, and also a triple-store framework.
Relier Québec et Tadoussac avec un téléphone Andoid à voile.
Python interface to ECLiPSe Constraint Logic Programming.1 weekly downloads
IMDb Relational Dataset Generator2 weekly downloads
Implemented in Flora-2/XSB, F-OWL is an inference engine for the standard Web Ontology Language OWL. A set of Java API is provided for applications to assert and query OWL ontology statements.1 weekly downloads
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.92761 weekly downloads
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.2 weekly downloads
We are going to implement a pipeline for named entity classification based on Lucene and GATE.
A Framework for Implementing Three Laws of Robotics. It is based on my ongoing PhD research on that topic. See roland.pri.ee/doktor and roland.pri.ee/wiki/doktor for more details. The system implements a parser for a declarative language and a planner
Yo Ho Ho And A Bottle Of Rum - Fifteen men on a dead man's chest. This is a project for solving a sudoku with the help of Prolog programming language. The program will be able not to only solve a defined sudoku but enumerate all available in a dimension
A Practical Agent Programming Language1 weekly downloads
A plugin for Code::Blocks IDE to support CxProlog.1 weekly downloads
This project aims to create a universal, XML-like format for the formal, language-independent, context-free representation of human-written text.
CPViz is an open-source visualization toolkit for finite domain constraint programming. It provides visualization for search trees, variables and global constraints through a post-mortem analysis of trace logs.1 weekly downloads
Our idea is to deploy a society of computational agents that collaborate in order to achieve the shared goal of decrypting a chunk of ciphertext or recovering a password from an hash by means of a dictionary-based attack.3 weekly downloads
A Computer Program of a Medical Textbook of General Practice.1 weekly downloads
Logic Program Updates System
Tabled abduction in logic programs.
The GNU Prolog native compiler118 weekly downloads