Only released in EOL distros:
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 | liswip | process_modules | split_sequence | synchronization_tools | trivial_features | trivial_garbage
Package Summary
No API documentation
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 git://code.in.tum.de/git/cram-pl
Package Summary
No API documentation
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 git://code.in.tum.de/git/cram-pl
Contents