Data/hora: 14/06/2024 00:42:46

Biblioteca(s): 	Embrapa Agricultura Digital.	
Data corrente: 	27/09/1996	
Data da última atualização: 	17/08/2007	
Autoria: 	KOWALSKI, R.	
Título: 	Logic as the Fifth Generation computer language.	
Ano de publicação: 	1983	
Fonte/Imprenta: 	In: THE FIFTH generation computer project. Maidenhead: Pergamon Infotech, 1983.	
Páginas: 	p.75-87.	
Idioma: 	Inglês	
Conteúdo: 	The use of logic as a foundation for database query languages is described; also the extra-logical features of PROLOG, and the use of logic as a computer language for children. The relationship between the use of logic for programming and its use for databases is illustrated clearly with the Horn Clause subset of logic. The procedural interpretation of Horn Clauses is identical to the problem reduction strategy in artificial intelligence, and problem reduction is discussed. The expressiveness of Horn Clauses can be improved by allowing implications as conditions. The use of PROLOG as a vehicle for the implementation of Expert Systems and functional and relational notation are examined.	
Palavras-Chave: 	Computer language; Logic.	
Categoria do assunto: 	--	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (4275-1) - ADC - PL - -- - 004.1 - PER - 1986.00130 - DIS