Search Results for "python prolog"

EYE [1] is a reasoning engine supporting the Semantic Web layers [2]. It performs controlled chaining 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

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

Syllog is a system for teaching various forms of logic, including syllogistic logic. It consists of a student-facing Java Applet that runs in the student's browser, and a teacher-facing, server-based logging facility for recording the answers given by students. The student-facing part simply poses questions, to which the student must provide an answer. The teacher-oriented logging facility then logs the answers anonymously for further investigation by the teacher.

PyCLP is a Python library to interface ECLiPSe Constraint Programmig System. This module try to implement a pythonic interface to ECLiPSe ( http://www.eclipseclp.org ) by compromising on a little bit on performance.

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

CIOS Audio Core is the infrastructure and subsystem in Collective Intelligence Operation System. It is a cross platforms audio abstract interface, supports including Mac OS X, Linux, Android, iPhone OS and Windows 7.

Python interface to ECLiPSe Constraint Logic Programming.

linux Adequate Elite (based on):/ debian and "most other distro which based on debian" ****************************************************** (alot of apps in):/ "graphics, multimedia, games, internet, office, science&math, crossover, wine, utilities,development,system,education" ****************************************************** (interfacses):/ "gnome 3, gnome classic, gnome (no effects), kde plasma workspace, kde plasma (safe session), metacity, unity 3d, unity 2d, xbmc...

pyIRDG is a program written in Python to generate relational datasets in Prolog format. It uses data from the Internet Movie Database in combination with IMDbPY as backend. A graphical user interface written in pyQt allows the user to link multiple entities together as model for the generation process. The big four entities are Title, Person, Company and Character. Many attributes can be chosen for adding to the output .pl file. Three types of constraints on attributes are available to limit...

This project aims to be a easy-to-use toolkit of algorithms and utilities for semantic data mining. So far all algorithms are implemented as web services and we provide widgets for their use in the Orange4WS data mining platform.

PyCDep is a tool to analyze include dependencies between files in C and C++ programs. PyCDep itself is written in python. It dumps all the facts in a prolog database which can be queried. Visualization is possible by dumping graphviz (.dot) files.

Some More Individual - Yes! A couple of projects around Semantic Web technologies to help to establish a better accessible Web and personalize this access.

Some tools related to the Music Ontology - including domain-specific Semantic Web crawlers, audio collection management and mapping tools

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.

AntWar! is a virtual life simulator. The player must extends the base ants classes to create their own colonys whose must survive in the warfield.

iDocs is a intellectual document work flow with text mining options project.

Artificial Intelligence program - keyword based chat, personal voice in/out, animated 3D character, natural language recognition and translation, neural network based strong AI, personality, tone recognition

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.

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.

A Python extension embedding SWI-Prolog.

XPathLog to Datalog translator.

Investigation the concept of speed knowledge acquisition through speed reading and visual display. The initial version should be based on the concept provided by Dictator and should be a variable speed reader, handling TeX formatted files. Project design