Showing page 1 of 4.

• 
  pyclp Interface to ECLiPSe

  Python interface to ECLiPSe Constraint Logic Programming.

  13 weekly downloads
• 
  tabdual

  Tabled abduction in logic programs.

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

  0 weekly downloads
• 
  Regulus

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

  0 weekly downloads
• 
  ECLiPSe CLP

  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.

  0 weekly downloads
• 
  2APL

  A Practical Agent Programming Language

  0 weekly downloads
• 
  XSB

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

  0 weekly downloads
• 
  Yet Another Prolog

  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.

  0 weekly downloads
• 
  GNU Prolog

  The GNU Prolog native compiler

  0 weekly downloads
• 
  TuCSoN

  TuCSoN tuple-based coordination middleware

  0 weekly downloads
• 
  Prolog Physic Simulation

  A Simulation based on SWI Prolog

  1 weekly downloads
• 
  Flipper

  Flipper is a program that does randomised local search for satisfiability of 3 variable prenex sentences in the pure predicate calculus. It does so by proving satisfiability relative to given decidable theories.

  2 weekly downloads
• 
  CHORD

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

  0 weekly downloads
• 
  STALEMATE KDD Lab

  The project provides a testbed for a class of integrated Web-enabled knowledge-base, data-mining and -warehousing applications generated through the STALEMATE Knowledge-based System Design Environment (KBSDE).

  0 weekly downloads
• 
  MARGO

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

  0 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
• 
  Functional Grammar

  A modular language generator based on the theory of Functional Grammar (FG) by Simon C. Dik. Implemented using Java for the user interface, ANTLR for the input format parser and Prolog for the grammar and lexicon module, treating underlying linguistic st

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

  0 weekly downloads
• 
  LogicMOO Simulated World

  Use a language CycL or KIF to represent shared ontological integration with a first person MOO system to provide debugging and agent facilities.

  0 weekly downloads
• 
  iDocs

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

  0 weekly downloads
• 
  CommGen: Component Integration Platform

  The CommGen platform is intended to be a simple, scalable integration platform for small to medium problem sets. The architecture is simple, consisting of a distributed kernel, distributed O/S, agent and application layer.

  0 weekly downloads
• 
  CxProlog plugin for Code::Blocks IDE

  A plugin for Code::Blocks IDE to support CxProlog.

  0 weekly downloads
• 
  ALPprolog

  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.

  0 weekly downloads
• 
  Trindikit

  TRINDIKIT is a toolkit for building and experimenting with dialogue systems based on information states, that has been developed in the TRINDI and SIRIDUS projects.

  0 weekly downloads
• 
  AINT

  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

  0 weekly downloads

• Back
• 1
• 2
• 3
• 4
• Next