Tabling, Rational Terms, and Coinduction Finally Together!
To appear in Theory and Practice of Logic Programming (TPLP). Tabling is a commonly used technique in logic programming for avoiding cyclic behavior of logic programs and enabling more declarative program definitions. Furthermore, tabling often improves computational performance. Rational term are t...
Guardado en:
| Autores principales: | , , |
|---|---|
| Format: | Artículo |
| Udgivet: |
2014
|
| Fag: | |
| Online adgang: | https://arxiv.org/abs/1405.2794 http://arxiv.org/abs/1405.2794 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|