Complex indeterminates in Prolog and its application to discourse models

Authors:
K Mukai;H Yasukawa
Affiliations:
Institute for New Generation Computer Technology;Institute for New Generation Computer Technology
Venue:
New Generation Computing
Year:
1986

Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Unification: a multidisciplinary survey

ACM Computing Surveys (CSUR)
Logic programming as the integrator of the Fifth Generation Computer Systems project

Communications of the ACM
Translating a unification grammar with disjunctions into logical constraints

COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 2

Hi-index	0.02