T-resolution parametrically generalizes standard resolution with respect to a first-order theory T (the parameter). The inherent power of its derivation rule, however, makes it difficult to develop efficient unrestricted T -resolution based systems. CLP(X) parametrically extends Horn clause logic program- ming with respect to a domain of computation X . The theory T underlying the domain X is fixed a-priori and can not be modified (extended) by the user. In this paper we present the parametric logic programming language T logic programming (TLP) which extends the CLP-scheme by giving the possibility of acting on the theory T. The scheme is embedded into (linear) T-resolution; however, its syntax ensures that three rules (simple instances of the general T-resolution rule) are sufficient to implement the derivation process.

On T Logic Programming

DOVIER, Agostino;A. Formisano;
1997

Abstract

T-resolution parametrically generalizes standard resolution with respect to a first-order theory T (the parameter). The inherent power of its derivation rule, however, makes it difficult to develop efficient unrestricted T -resolution based systems. CLP(X) parametrically extends Horn clause logic program- ming with respect to a domain of computation X . The theory T underlying the domain X is fixed a-priori and can not be modified (extended) by the user. In this paper we present the parametric logic programming language T logic programming (TLP) which extends the CLP-scheme by giving the possibility of acting on the theory T. The scheme is embedded into (linear) T-resolution; however, its syntax ensures that three rules (simple instances of the general T-resolution rule) are sufficient to implement the derivation process.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11390/853980
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact