Grammatical unification
From MaRDI portal
Publication:789185
DOI10.1016/0020-0190(82)90096-5zbMath0532.68089MaRDI QIDQ789185
Jan Małuszyński, Jorgen Fischer Nilsson
Publication date: 1982
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(82)90096-5
context-free grammars; logic programming; Horn clause; grammatical unification; manipulation of symbolic structures; Prolog systems; resolution logic
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
- Natural language communication with computers
- Initial Algebra Semantics and Continuous Algebras
- Horn clause computability
- A Machine-Oriented Logic Based on the Resolution Principle