▁technical ▁summary ▁ ▁Program ming ▁in ▁T abled ▁Pro log : ▁draft ▁of ▁a ▁book ▁about ▁X SB ▁programming ▁by ▁David ▁S . ▁Warren ▁of ▁St ony ▁Brook ▁University ▁ ▁The ▁X SB ▁System ▁Program mer ' s ▁Man ual ▁by ▁Ter rance ▁Swift , ▁David ▁S . ▁Warren , ▁and ▁others ▁ ▁Information ▁on ▁St ony ▁Brook ▁Pro log ▁ ▁References ▁ ▁T . ▁Swift ▁and ▁D . S . ▁Warren ▁( 2 0 1 1 ), ▁X SB : ▁Ext ending ▁the ▁Power ▁of ▁Pro log ▁using ▁Tab ling . ▁Theory ▁and ▁Pract ice ▁of ▁Log ic ▁Program ming ▁( TP LP ), ▁Cambridge ▁University ▁Press , ▁ 2 0 1 1 . ▁ ▁K . ▁S agon as ▁and ▁T . ▁Swift ▁and ▁D . S . ▁Warren ▁( 1 9 9 4 ), ▁X SB ▁as ▁an ▁E fficient ▁D ed uct ive ▁Database ▁Engine . ▁Pro ceed ings ▁of ▁the ▁AC M ▁S IG MO D ▁International ▁Conference ▁on ▁the ▁Management ▁of ▁Data , ▁ 1 9 9 4 . ▁ ▁T . ▁Swift ▁and ▁D . S . ▁Warren ▁( 1 9 9 5 ), ▁An ▁abstract ▁machine ▁for ▁SL G ▁resolution : ▁De finite ▁programs . ▁Pro ceed ings ▁of ▁the ▁Sym pos ium ▁on ▁Log ic ▁Program ming , ▁ 1 9 9 5 . ▁ ▁Category : Log ic ▁programming ▁languages <0x0A> </s> ▁Marine ▁Pav il ion ▁may ▁refer ▁to : ▁ ▁Marine ▁Pav il ion , ▁a ▁villa ▁in ▁the ▁Royal ▁Pav il