Data/hora: 03/06/2024 07:36:09

Biblioteca(s): 	Embrapa Agricultura Digital.	
Data corrente: 	06/09/1996	
Data da última atualização: 	31/08/2007	
Autoria: 	KOWALSKI, R.	
Título: 	Logic as a computer language.	
Ano de publicação: 	1982	
Fonte/Imprenta: 	In: CLARK, K. L.; TARNLUND, S.-A. (Ed.). Logic programming. London: Academic Press, 1982.	
Páginas: 	p.3-16.	
Idioma: 	Inglês	
Conteúdo: 	Program development. Natural language versus formal language for program specification. Logic for databases. The horn clause subset of logic. Human problem-solving. Problem-reduction. Implications as conditions. Neation as failure. The distinction between specifications and programs. Functional versus relational notation. PROLOG. Other developments. Logic as a computer language for children. Acnowledgements.	
Categoria do assunto: 	--	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (4047-1) - ADD - PL - -- - 005.131 - CLA - 1986.00254 - DIS