Bounded Choice Queries for Logic Programming
Abstract
Adding versatile interactions to goals and queries in logic programming is an essential task. Unfortunately, existing logic languages can take input from the user only via the read construct. We propose to add a new interactive goal to allow for more controlled and more guided participation from the user. We illustrate our idea via μprolog, an extension of Prolog with bounded choice goals.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.