Publication:3992583
From MaRDI portal
zbMath0672.68032MaRDI QIDQ3992583
Veronica Dahl, Harvey Abramson
Publication date: 23 January 1993
PROLOG; natural language processing; logic programming; parsing; formal language theory; logic grammars
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68Q45: Formal languages and automata
68N20: Theory of compilers and interpreters
03B65: Logic of natural languages
68T50: Natural language processing
Related Items
A demonstrably correct compiler, A generalized approach to metaprogramming in logic grammars, The evolution of stochastic regular motifs for protein sequences, A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG