A LOGIC PROGRAMMING EXTENSION FOR C CALLED CLOG
A aplicação de linguagens declarativas baseadas na programação em lógica tem sido bastante difundida devido ao grande interesse hoje existente na área de Inteligência Artificial. Porém, o uso destas linguagens ainda não é muito evidente devido à restrições de desempenho, portabilidade, capacid...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
1993
|
| Online Access: | http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=8753@1 http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=8753@2 |
| Summary: | A aplicação de linguagens declarativas baseadas na
programação em lógica tem sido bastante difundida devido
ao grande interesse hoje existente na área de
Inteligência
Artificial. Porém, o uso destas linguagens ainda não é
muito evidente devido à restrições de desempenho,
portabilidade, capacidade de integração com outras
linguagens, etc. O presente trabalho contém a definição
e
implementação de uma extensão de programação em lógica
para o C, denominada CLog, que têm como objetivo suprir
as
deficiências acima, permitindo, principalmente, a
implementação de aplicações que apresentem
características
de programação em lógica integrada à programação
imperativa em um mesmo ambiente de desenvolvimento.
=== The use of declarative languages based in logic
programming has been spread out due to the great interest
in Artificial Intelligence. However, the use of these
languages is not evident yet due to performance,
portability, integration to other languages capability and
other restrictions. This work contains the definition and
implementation of a logic programming extension for C
called Clog, which intends to cover the above
deficiencies, allowing, mainly, the implementation of
applications that have logic programming characteristics
integrated to interative programming in the same
development environment. |
|---|