cram_pl: alexandria | babel | cffi | cl_store | cl_utilities | cram_designators | cram_execution_trace | cram_language | cram_math | cram_process_modules | cram_projection | cram_reasoning | cram_test_utilities | cram_utilities | gsd | gsll | lisp_unit | split_sequence | synchronization_tools | trivial_features | trivial_garbage

Stack Summary

A set of libraries for implementing AI enabled robot control programs.

• Author: Maintained by Lorenz Moesenlechner
• License: GPL,Public domain,,trivial-features,babel,cffi,BSD,MIT
• Repository: tum-ros-pkg
• Source: git http://code.in.tum.de/git/cram-pl.git

This stack contains the Lisp part of the CRAM (Cognitive Robotic Abstract Machine) framework, developed at the Technische Universität München (http://ias.in.tum.de/research/cram). The common sense reasoning part can be found in the knowrob stack. It contains libraries for reasoning and high level robot control for Steel Bank Common Lisp (http://www.sbcl.org).

Overview

• CRAM Language is the core of CRAM. It contains extensions to common lisp especially designed for writing transparent robot control programs.

• CRAM Reasoning contains an implementation of a Prolog like interpreter and the RETE algorithm.

• CRAM Math contains some basic math tools, including geometry functions for dealing with poses.

• Liswip provides a bridge between Common Lisp and SWI Prolog.

• Designators

• Process Modules

Installation

You can check out the current version of the cram_pl stack with

git clone git://code.in.tum.de/git/cram-pl.git cram_pl

or add the following line to your rosinstall file:

- git: {local-name: stacks/cram_pl, uri: 'http://code.in.tum.de/git/cram-pl.git', version: unstable_released}