TWO-LEVEL PROLOG.

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 1984

Autores

Antonio Porto (Autor) Outra

Ata de Conferência Internacional

Título: FGCS

Páginas: 356-360

Fifth Generation Computer Systems 1984, Proceedings of the International Conference.

Tokyo, Jpn

Indexação

Scopus - 0 Citações

Outras Informações

ID Authenticus: P-007-46Z

Abstract (EN): Two-level Prolog is introduced as an alternative to Prolog. It features clauses with head, body and conditions that can be read at two levels: at the object level, as an implication from the conjunction of conditions and body to the head; and at the meta-level, as an implication from the conditions to the meta-predicate 'execution step', whose arguments are head and body. Both implications may have two forms, normal and exclusive. Exclusive implications achieve the effect of Prolog's cut in a more restrained and principled way. Two-level Prolog is easily implemented on top of Prolog, as each of its clauses can be translated into two Prolog clauses. It is argued that Two-level Prolog promotes a more reliable programming style than Prolog, and is better suited for writing interpreters.

Idioma: Inglês

Tipo (Avaliação Docente): Científica