Did you know ... Search Documentation:
Embedding in Prolog Programs