Book Chapter
Linguistic definition of generic models in computer vision
P. Fretwell and P. J. Goillau
Lecture Notes in Computer Science, 1988, Volume 301, Pattern Recognition, Pages 306-314
Journal Article
Automatic Test Suite generation
Doug Arnold, Dave Moffat, Louisa Sadler and Andrew Way
Machine Translation, 1993, Volume 8, Numbers 1-2, Pages 29-38
Journal Article
A generalized approach to metaprogramming in logic grammars
Thomas Wilmes
New Generation Computing, 1990, Volume 8, Number 3, Pages 211-223
Journal Article
Complex indeterminates in Prolog and its application to discourse models
Kuniaki Mukai and Hideki Yasukawa
New Generation Computing, 1985, Volume 3, Number 4, Pages 441-466
Book Chapter
A new top-down parsing algorithm for left-recursive DCGs
Mark-Jan Nederhof
Lecture Notes in Computer Science, 1993, Volume 714, Progamming Language Implementation and Logic Programming, Pages 108-122
Book Chapter
Formal specification of interactive languages using definite clause grammars
Weidong Dang
Lecture Notes in Computer Science, 1989, Volume 348, Programming Languages Implementation and Logic Programming, Pages 283-291
Book Chapter
Declarative graphics
Richard Helm and Kim Marriott
Lecture Notes in Computer Science, 1986, Volume 225, Third International Conference on Logic Programming, Pages 513-527
Book Chapter
A practical implementation of DCGs
Jukka Paakki
Lecture Notes in Computer Science, 1991, Volume 477, Compiler Compilers, Pages 224-225
Book Chapter
Profit: A system integrating logic programming and attribute grammars
Jukka Paakki
Lecture Notes in Computer Science, 1991, Volume 528, Programming Language Implementation and Logic Programming, Pages 243-254
Book Chapter
A simple transformation from Prolog-written metalevel interpreters into compilers and its implementation
Gustaf Neumann
Lecture Notes in Computer Science, 1992, Volume 592, Logic Programming, Pages 349-360