Search Results for "linux programming"

ADP (Another Data Processor) is a programing language that is designed for Web database programing. It is a scripting language and a lightweight programming language in which it is possible to mix SQL easily. It is easy to install. ADP is base on Prolog. But ADP uses only the backtrack and unification. The syntax is original and likes a another scripting language, supports method call.

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.

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.

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

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

This project is about implementing a logic-programming based, reasoning engine for an agent. We started with an implementation of the iff-proof procedures, by Kowalski and Fung, as an any-time algorithm written in Prolog.

THIS PROJECT HAS MOVED TO GitHub, PLEASE VISIT: https://github.com/ssardina-agts/indigolog ------------- IndiGolog is a high-level programming language where programs are executed incrementally to allow for interleaved action, planning, sensing, and exogenous events.

droite is a correction of eS expression parsers implemented in many different programming languages. Its usefulness is the same as JSON but droite utilizes eS expression, a Gauche scheme interpreter friendly S expression variant.

Galliwasp is an answer set programming (ASP) system utilizing a unique top-down, goal-directed execution method.

A Practical Agent Programming Language

Python interface to ECLiPSe Constraint Logic Programming.

Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.

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.

TOY is a constraint functional logic system, designed to support the main declarative programming styles and their combination

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.

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

Extrospective agent program is a software agent architecture extending the well known BDI paradigm. This project is in collaboration with A&A framework by Alessandro Ricci, and Jason agent programming project by Jomi F. Hübner and Rafael H. Bordin.

Fi-shell is a front-end to your system shell. It provides nonblocking i/o (concurrency) and pattern maching that is both easy to remember and readable (logic programming)

An implementation of a webserver written in the high level programming language Mercury (http://www.mercury.cs.mu.oz.au).

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.

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

Virtual Reality Environment based on Internet to teach Logic and Functional Programming

Simple Object Oriented Programming Framework for Prolog

This project collects the classical "Towers of Hanoi" problem in many programming languages, including lesser known and/or esoteric ones.

A group of systems for building network-oriented intelligent agents, consisting an agent communications infrastructure, April - an agent construction programming language, Go! - a logic programming language and DialoX - an XML-based user interface engine