TWO-LEVEL PROLOG.

• Type: Article in International Conference Proceedings Book
• Date: 1984

Authors

Antonio Porto (Author) Other

Conference proceedings International

Title: FGCS

Pages: 356-360

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

Tokyo, Jpn

Indexing

Scopus - 0 Citations

Other information

Authenticus ID: 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.

Language: English

Type (Professor's evaluation): Scientific