Embedding Prolog Programs

• fli-emb-ove: Overview
• fli-emb-lay: The Embedding Layer
• fli-emb-how: How Embedding Works
• fli-emb-sum: Summary of Functions