Showing page 1 of 1.

• 
  prodox

  Prodox provide a basic library to provide doxygen comments in a Prolog language file. With dedicated predicate (doxygen), user can comment Prolog files in doxygen format and generate a file ready to be used as input by doxygen.

  1 weekly downloads
• 
  FLORA-2

  FLORA-2 is a logic-based object-oriented language for building knowledge-intensive applications. It is based on F-logic, HiLog, and Transaction Logic. It also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more.

  21 weekly downloads
• 
  CHORD

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

  1 weekly downloads
• 
  PLUNITTEST

  PLUNITTEST is a unit test framework for Prolog. It has been tested with Sicstus prolog. It gives a framework for automated unit testing of prolog programs via continuous integration tools. It outputs an XML file like Junit XML.

  1 weekly downloads
• 
  GASPAR

  GASPAR implements an dialectical argumentation framework for instantiating the artificial intellect of a software agent. In this artilect, motivations are represented in mental faculties which argue why and how these motivations can be adopted.

  0 weekly downloads
• 
  CDAO 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.

  0 weekly downloads
• 
  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).

  21 weekly downloads
• 
  tabard

  GNU Prolog API for distributed multithreading programming built on top of the PM2 environment. The thread management is made with a user-level multithreading library and communication is made on top of Madeleine, the communication subsystem of PM2.

  0 weekly downloads
• 
  pycdep

  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.

  2 weekly downloads
• 
  PathLP

  PathLP logic programming language application.

  1 weekly downloads
• 
  Canna Prolog

  Prolog compiler and interpreter for the .Net 2.0 framework.

  0 weekly downloads
• 
  SemXQ Suite for Infosystem Intelligence

  The project will integrate viable aspects of the semantic web technologies for use with advanced Semantic SQLCLI based XML DBMS. The purpose of this project is develop a GUI Application for a Suite of ECM Services.

  0 weekly downloads
• 
  GeneralGamePrayer

  GGPrayer is an AI capable of playing any game described in the GameDescriptionLanguage defined in http://games.stanford.edu/.It uses Java to communicate to the gameserver and Prolog for reasoning. Info: http://bruno-wp.blogspot.com/search/label/Software

  1 weekly downloads
• 
  MatForce

  MatForce is a compiler that translates MatLab scripts into self-contained C++ code, producing human-readable, extensible C++ sources that can be fitted to the needs of the encapsulating application.

  0 weekly downloads
• 
  Mortemale: the cracking society

  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
• 
  Prolog Statistical Machine Translation

  PSMT is a statistical machine translation program written in prolog.

  1 weekly downloads
• 
  prolog on java

  Prolog on Java is a open source implementation of a Warram Abstract Machine on Java, using gnuprolog

  0 weekly downloads
• 
  tinyExpertSystem in Prolog

  quite simle expert system in ProLog with Natural Language Processing and heuristic guided search, search nodes are rated and negotation is built in. Full documentation included, can be reconfigured for different needs: medical, electronics, manufacturing

  0 weekly downloads
• 
  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.

  1 weekly downloads
• 
  Resolution of anaphora in Portuguese

  Tool for linguists and computer scientists interested in natural language processing (NLP) and related areas. It implements the Centering theory with proved extensions that enhance anaphora resolution for Portuguese documents.

  0 weekly downloads
• 
  IISA

  IISA - Intelligent Interface to Sequence Analysis is an expert system for biological sequence analysis using Bioperl and Prolog.

  1 weekly downloads
• 
  ConceptBase.cc

  A Database System for Metamodeling and Method Engineering

  10 weekly downloads
• 
  C#Prolog

  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-predicates, SQL-predicates, extendible.

  28 weekly downloads
• 
  Space and Semantics

  Closing the gap between Space and Semantics

  1 weekly downloads