▁a ▁dialect ▁of ▁the ▁Pro log ▁programming ▁language ▁and ▁its ▁implementation ▁developed ▁at ▁St ony ▁Brook ▁University ▁in ▁collaboration ▁with ▁the ▁K athol ie ke ▁Univers iteit ▁Le u ven , ▁the ▁New ▁University ▁of ▁Lis bon , ▁U pp s ala ▁University ▁and ▁software ▁vendor ▁X SB , ▁Inc . ▁ ▁X SB ▁extends ▁Pro log ▁with ▁table d ▁resolution ▁and ▁Hi Log ▁( a ▁standard ▁extension ▁of ▁Pro log ▁perm itting ▁limited ▁higher - order ▁logic ▁programming ). ▁ ▁The ▁open ▁source ▁X SB ▁implementation ▁includes ▁an ▁interface ▁to ▁the ▁Java ▁programming ▁language . ▁ ▁History ▁ ▁X SB ▁was ▁originally ▁developed ▁at ▁St ony ▁Brook ▁University ▁by ▁David ▁S . ▁Warren , ▁Ter rance ▁Swift , ▁and ▁Kost is ▁S agon as . ▁It ▁was ▁based ▁on ▁the ▁S B - Pro log ▁language ▁that ▁was ▁also ▁developed ▁at ▁St ony ▁Brook ▁University ▁in ▁ 1 9 8 6 . ▁It ▁is ▁a ▁logic ▁programming ▁language . ▁ ▁Syntax ▁ ▁X SB ▁supports ▁several ▁standard ▁programming ▁language ▁data ▁types ▁such ▁as ▁In te gers , ▁Flo ating ▁Point ▁numbers , ▁and ▁At oms . ▁▁ ▁In te gers ▁in ▁X SB ▁can ▁be ▁interpreted ▁in ▁multiple ▁bases . ▁By ▁default ▁integers ▁are ▁interpreted ▁in ▁base ▁ 1 0 ▁but ▁can ▁be ▁interpreted ▁in ▁a ▁range ▁of ▁bases ▁from ▁ 2 ▁to ▁ 3 6 . ▁ ▁At oms ▁are ▁similar ▁to ▁Str ings . ▁They ▁are ▁a ▁sequence ▁of ▁characters . ▁ ▁External ▁links ▁ ▁X SB ▁ ▁X SB