Costas-Tyros_rus_MS

[Abramson/Dahl]

Harvey Abramson and Veronica Dahl, "Logic Grammars",

Springer Verlag, 1989.

[Cedric et all]

de Carvalho, C. L., Costa Pereira, A. E. and da Silva Julia, R.

M. "Data flow Synthesis for Logic Programs". In: System

Analysis Modeling Simulation, Vol 36, pp. 349 366, 1999.

[Warren]

David S. Warren. "Computing With Logic: Logic Program

ming With Prolog". Addison Wesley / January 1988.

[Lewis Caroll]

Lewis Caroll. The Game of Logic. Hard Press, 2006.

[Sterling and Shapiro]

Sterling and Shapiro. "The Art of Prolog". MIT Press / Janu

ary 1986.

[Стерлинг Л., Шапиро Э. «Искусство программирования

на языке Пролог». Пер. с англ. Сопрунова С. Ф., Шабано

ва Ю. Г. Под ред. Дадаев Ю. Г. М.: Мир, 1990. – прим.

пер.]

[Coelho/Cotta]

Coelho, H. and Cotta, J. "Prolog by Example". (1988) Berlin:

Springer Verlag.

[HowToSolveItWithПролог]

Helder Coelho, Carlos Cotta, Luis Moniz Pereira. "How To

Solve It With Prolog". Ministerio do Equipamento Social.

Laboratorio Nacional de Engenharia Civil.

[Pereira/Shieber]

F.C.N. Pereira and S.M. Shieber. "Prolog and Natural

Language Analysis". CSLI Publications, 1987.

[Gazdar/Mellish]

Gazdar, G., and C.S. Mellish. "Natural Language Processing

in Prolog". Addison Wesley.

[John Hudges]

John Hughes. Why Functional Programming Matters. Com

puter Journal, vol. 32, number 2, pages 98 107, 1989.

[Wadler & Bird]

Richard Bird and Philip Wadler. Introduction to Functional

Programming. Prentice Hall (1988).

[John Backus]

John Backus. Can Programming be Liberated from the Von

Newman Style? Communications of the ACM, 21(8):613

641, August 1978.

[Gries]

David Gries. The Science of programming – New York :

Springer Verlag, cop.1981. X,366p.

[Dijkstra]

E. Dijkstra, W. Feijen: A Method of Programming, Addison

Wesley Publishing Company.

[Cohn]

Cohn, P. G. Logic Programming, Expressivity versus Efficien

cy. State University of Campinas. 1991.

[Yamaki]

Kimie Yamaki. Combining partial evaluation and automatic

control insertion to increase the efficiency of Prolog pro

grams. State University of Campinas. 1990.

[Gentzen]

Gerhard Karl Erich Gentzen. "Die Widerspruchsfreiheit der

reinen Zahlentheorie",Mathematische Annalen, 112: 493

565.(1936)

[Robinson]

Robinson, J. A. Theorem Proving on the Computer. Journal

of the Association for Computing Machinery. Vol. 10, N. 12,

pp 163 174.