Your SlideShare is downloading. ×
0
Call Subsumption
Call Subsumption
Call Subsumption
Call Subsumption
Call Subsumption
Call Subsumption
Call Subsumption
Call Subsumption
Call Subsumption
Call Subsumption
Call Subsumption
Call Subsumption
Call Subsumption
Call Subsumption
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

Call Subsumption

167

Published on

Published in: Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
167
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
2
Comments
0
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

  • 1. Mecanismos avançados para manipulação de tabelas em sistemas Prolog com suporte para tabulação Flávio Manuel Fernandes Cruz Orientador: Ricardo Rocha Instituição: CRACS / FCUP
  • 2. Palavras-chave Prolog Tabulação Call-Subsumption YAP XSB Prolog
  • 3. Prolog SLD (Selective Linear Definite) é a estratégia de avaliação tradicional do Prolog Apesar de ser muito usada tem algumas lacunas... path(X, Y) :- path(X, Z), edge(Z, Y). path(X, Y) :- edge(X, Y). edge(1, 2). edge(2, 3).
  • 4. Prolog path(1, Z) path(1, Z), edge(Z, Y) CICLO INFINITO E agora?
  • 5. Tabulação A tabulação é uma forma diferente de avaliar Prolog Resolve as incapacidades da SLD quanto aos ciclos infinitos e computações redundantes Consiste em guardar numa tabela as soluções intermédias de determinados objectivos para que possam ser reutilizadas quando surgirem chamadas repetidas
  • 6. Tabulação 1. path(1, Z) 11. complete 2. path(1, Z), edge(Z, Y) 3. edge(1, Y) path(1, VAR0): 4. VAR0 = 2 Z=2 Z=3 7. VAR0 = 3 6. edge(2, Y) 9. edge(3, Y) 4. Y = 2 5. fail 7. Y = 3 8. fail 10. fail
  • 7. Call-Subsumption A extensão do YAP para Tabulação (YapTab) só suporta chamadas variantes (Call-Variance) O objectivo do trabalho é alterar o YapTab para também suportar Call-Subsumption
  • 8. Call-Subsumption Call-Variance só reaproveita soluções de um golo se este for variante de um já colocado na tabela. Exemplo: p(X, 1, Y) é variante de P(X, 1, Z) No entanto podemos fazer ainda melhor, reaproveitando as soluções de golos mais gerais caso existam Dizemos assim que um golo T1 subsume um golo T2 quando T1 é mais geral que T2: path(X, Y) subsume p(1, X) Com este mecanismo podemos reutilizar resultados computados e diminuir a redundância nas tabelas do engine, poupando espaço e tempo
  • 9. Perspectivas de solução O mecanismo de tabulação do XSB Prolog já implementa Call-Subsumption Existem dois artigos que descrevem soluções implementadas para o XSB A ideia principal será usar as TST (time stamped tries) como base e tentar melhorar a partir daí
  • 10. Plano de Trabalhos Estudo dos modelos de execução de tabulação em sistemas Prolog com particular ênfase na implementação do sistema YapTab (feito) Estudo dos algoritmos e estruturas de dados utilizados para suporte de Call-Subsumption e Common Global Trie (feito)
  • 11. Plano de Trabalhos Tentar reutilizar algoritmos e estruturas de dados do XSB Prolog e integrá-los na máquina do Yap (2,5 meses) Melhorar os algoritmos e estruturas de dados do XSB. O objectivo será que ambos, XSB e YAP, façam proveito das novas melhorias (2 meses)
  • 12. Plano de Trabalhos Testes e validação (1 mes) Escrita de 1 ou 2 artigos sobre o trabalho efectuado Dissertação! (1 mes)
  • 13. :- Fim. Obrigado pela vossa atenção! Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishna. A Thread in Time Saves Tabling Time. 1996. Ernie Johnson, C. R. Ramakrishnan, I.V. Ramakrishnan, Prasad Rao. A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs. 1999. Ricardo Rocha, Fernando Silva, Vítor Santos Costa. The YapTab Tabling System. 2003. http://github.com/flavioc/yap http://flaviocruz.net
  • 14. Call-Subsumption 1. path(X, Y) 11. complete path(VAR0, VAR1): 3. VAR0 = 1, VAR1 = 2 4. VAR0 = 2, VAR1 = 3 2. edge(X, Y) 7. edge(X, Z), path(Z, Y) 5. VAR0 = 3, VAR1 = 4 10. VAR0 = 1, VAR1 = 3 15. fail 13. VAR0 = 2, VAR1 = 4 17. VAR0 = 1, VAR1 = 4 3. X = 1 4. X = 2 5. X = 3 6. fail Y=2 Y=3 Y=4 8. path(2, Y) 11. path(3, Y) 14. path(4, Y) path(2, VAR0): 9. Y = 3 12. Y = 4 9. VAR0 = 3 16. VAR0 = 4 16. Y = 4 path(3, VAR0): path(X, Y) :- edge(X, Y). 12. VAR0 = 4 path(X, Y) :- edge(X,Z), path(Z, Y). edge(1, 2). edge(2, 3). edge(3, 4).

×