cram_pl: alexandria | babel | cffi | cl_store | cl_utilities | cram_execution_trace | cram_language | cram_math | cram_reasoning | cram_test_utilities | cram_utilities | designators | gsd | gsll | lisp_unit | liswip | process_modules | split_sequence | synchronization_tools | trivial_features | trivial_garbage

Package Summary

This package provides a bridge between SWI Prolog and common lisp. It allows for evaluating arbitrary Prolog queries in common lisp programs, and the implementation of predicates in lisp.

• Author: Lorenz Moesenlechner
• License: BSD
• Repository: tum-ros-pkg
• Source: git http://code.in.tum.de/git/cram-pl.git