An implementation of Lambda Prolog focused on supporting higher-order and logic programming features.