Interactive Synthesis of Definite-Clause Grammars.

Juergen Haas Bharat Jayaraman

Published in: JICSLP (1992)

Keyphrases

definite clause
context free grammars
logic programs
pac learnability
inductive logic programming
predicate invention
programming language
computer graphics
functional programs
machine learning
knowledge base
theoretical analysis
grammatical inference