On Applying Or-Parallelism and Tabling to Logic Programs
Report
Share
•4 likes•681 views
![Introduction ,[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/on-applying-orparallelism-and-tabling-to-logic-programs-13202/75/on-applying-orparallelism-and-tabling-to-logic-programs-2-2048.jpg?cb=1668326973)
![Parallelism within Prolog ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/on-applying-orparallelism-and-tabling-to-logic-programs-13202/75/on-applying-orparallelism-and-tabling-to-logic-programs-3-2048.jpg?cb=1668326973)
![Parallelism within Prolog ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/on-applying-orparallelism-and-tabling-to-logic-programs-13202/75/on-applying-orparallelism-and-tabling-to-logic-programs-4-2048.jpg?cb=1668326973)
![Or-Parallelism drawbacks ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/on-applying-orparallelism-and-tabling-to-logic-programs-13202/75/on-applying-orparallelism-and-tabling-to-logic-programs-7-2048.jpg?cb=1668326973)
![Wam, Warren Abstract Machine ,[object Object],[object Object],PDL : area used for unification process. Trail : array of address that points to variables memorized into heap or local stack resetted upon backtracking. Stack : containts environments and choice points . Heap : Memorize variables than can’t be stored in the stack. Code area : contains instruction for wam and Prolog compiled code.](https://image.slidesharecdn.com/on-applying-orparallelism-and-tabling-to-logic-programs-13202/75/on-applying-orparallelism-and-tabling-to-logic-programs-8-2048.jpg?cb=1668326973)
![How Or-Parallelism is implemented? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/on-applying-orparallelism-and-tabling-to-logic-programs-13202/75/on-applying-orparallelism-and-tabling-to-logic-programs-9-2048.jpg?cb=1668326973)
![Environment copying ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],N2 N5 N3 N4 N1 Q P Node without alternatives Node with alternatives Alt 1 Alt 2 Alt 3 Alt 1 Alt 2 Alt 3](https://image.slidesharecdn.com/on-applying-orparallelism-and-tabling-to-logic-programs-13202/75/on-applying-orparallelism-and-tabling-to-logic-programs-10-2048.jpg?cb=1668326973)
![Tabling (YapTab) ,[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/on-applying-orparallelism-and-tabling-to-logic-programs-13202/75/on-applying-orparallelism-and-tabling-to-logic-programs-12-2048.jpg?cb=1668326973)
![Tabling (YapTab) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/on-applying-orparallelism-and-tabling-to-logic-programs-13202/75/on-applying-orparallelism-and-tabling-to-logic-programs-13-2048.jpg?cb=1668326973)
![SLG-resolution ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/on-applying-orparallelism-and-tabling-to-logic-programs-13202/75/on-applying-orparallelism-and-tabling-to-logic-programs-14-2048.jpg?cb=1668326973)
![Or-Parallelism and Tabling (OPTYap) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/on-applying-orparallelism-and-tabling-to-logic-programs-13202/75/on-applying-orparallelism-and-tabling-to-logic-programs-16-2048.jpg?cb=1668326973)
![[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],An OPT Example :-table a/1. a(X):-a(X). a(X):-b(X). b(1). b(X):- … b(X):- … ?-a(X). ?- a(X). a(X) b(X) {X/1} W2 W1 a(X) {X/1} Shared Nodes Answer Subgoal](https://image.slidesharecdn.com/on-applying-orparallelism-and-tabling-to-logic-programs-13202/75/on-applying-orparallelism-and-tabling-to-logic-programs-17-2048.jpg?cb=1668326973)
![Performance, non-tabled programs ,[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/on-applying-orparallelism-and-tabling-to-logic-programs-13202/75/on-applying-orparallelism-and-tabling-to-logic-programs-18-2048.jpg?cb=1668326973)
![Performance, tabled programs ,[object Object],[object Object]](https://image.slidesharecdn.com/on-applying-orparallelism-and-tabling-to-logic-programs-13202/75/on-applying-orparallelism-and-tabling-to-logic-programs-19-2048.jpg?cb=1668326973)
![Index / References ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/on-applying-orparallelism-and-tabling-to-logic-programs-13202/75/on-applying-orparallelism-and-tabling-to-logic-programs-20-2048.jpg?cb=1668326973)
On Applying Or-Parallelism and Tabling to Logic Programs
•4 likes•681 views
Report
Share
Lecture about Or-Parallelism and Tabling applied to Logic Programming
More Related Content
What's hot
What's hot(20)
Viewers also liked
Viewers also liked(17)
Similar to On Applying Or-Parallelism and Tabling to Logic Programs
Similar to On Applying Or-Parallelism and Tabling to Logic Programs(20)
More from Lino Possamai
More from Lino Possamai(6)
Recently uploaded
Recently uploaded(20)
On Applying Or-Parallelism and Tabling to Logic Programs
- 1. On Applying Or-Parallelism and Tabling to Logic Programs Possamai Lino Department of Computer Science University of Venice www.possamai.it/lino Logic Programming Lecture February 2, 2007
- 6. An Or-Parallelism Example p(L):-s(L,M),t(M,L). p(K):-r(K). q(1). q(2). s(2,3). s(4,5). t(3,3). t(3,2). r(1). r(3). ?- t(X,3),p(Y),q(Y). p(Y),q(Y) s(L,M),t(M,L),q(L) {X/3} {Y/L} r(K),q(K) {Y/K} t(5,4),q(4) t(3,2),q(2) {L/2,M/3} {L/4, M/5} {K/1} {K/3} q(1) q(3) W1 W1 W2 W1 W3 W2 W4 W1 q(2) Success Fail Success Fail
- 11. Tabling (YapTab)
- 15. ?-table path. path(X,Z):-path(X,Y),path(Y,Z). path(X,Z):-arc(X,Z). arc(a,b). arc(b,c). Tabling, an example ?-path(a,Z). path(a,Y),path(Y,Z) arc(a,Z) path(b,Z) path(b,Z) path(b,Y),path(Y,Z) arc(b,Z) path(c,Z) path(c,Z) path(c,Y),path(Y,Z) arc(c,Z) {Z/b} fail fail {Z/c} fail fail fail fail path(a,Z) path(b,Z) path(c,Z) {Z/b} {Z/c} {Z/c} {Z/c} path(c,Z) fail path(a,Y),path(Y,Z) Generator Node Consumer Node Interior Node Answer Subgoal