leuchtkraft (cargo): A logical programming language
Keywords: logical-programming|programming-language