... the 3rd Logic Programming Conference, Uppsala, 1984. Farinas del Cerro, L., Arthaud, A., Molog: Programming in Modal Logic, Fifth Generation Computing journal, 1985. May, R., Logical ... Natural Language Understanding and Logic Programming H, V. Dahl and P. Saint-Dizier Edts, North Holland, 1987. Saint-Dizier, P., Dislog, Programming in Logic with Discontinuities, Computational ... language processing system based on principles of government and binding theory, in Logic Programming and Logic grammars, P. Saint-Dizier and S. Szpakowicz Edts, Ellis Horwood, 1989. Sells,...