XSB
XSB extends the standard functionality of Prolog (being a descendant of PSB- and SB-Prolog) to include implementations of OLDT (tabling) and HiLog terms. OLDT resolution is extremely useful for recursive query computation, allowing programs to terminate correctly in many cases where Prolog does not. HiLog supports a type of higher-order programming in wh ICh pred ICate symbols can be variable or structured. This allows unif ICation to be performed on the pred ICate symbols themselves in addition to the arguments of the pred ICates. Of course, Tabling and HiLog can be used together. Version 1.2 ports: Sun, Solaris, NeXT, Linux, 386 BSD, IRIX, HP-UX portability: Generally to 32-bit machines. interpreter, preprocessor(HiLog), documentation XSB research group / SUNY at Stony Brook . (130.245.1.15) E-mail: . (1993-07-28) In addition suitable contents: [ 2 ] [ 386 ] [ = ] [ @ ] [ ad ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ arg ] [ argument ] [ as ] [ at ] [ B ] [ b ] [ be ] [ bi ] [ bit ] [ bo ] [ BS ] [ BSD ] [ ca ] [ case ] [ cat ] [ ch ] [ cl ] [ co ] [ com ] [ con ] [ cu ] [ D ] [ dd ] [ de ] [ do ] [ doc ] [ document ] [ documentation ] [ du ] [ E ] [ ec ] [ ed ] [ edu ] [ er ] [ era ] [ es ] [ et ] [ extend ] [ fi ] [ fo ] [ for ] [ function ] [ functional ] [ functionality ] [ G ] [ ge ] [ gh ] [ gr ] [ group ] [ gu ] [ h ] [ HiLog ] [ HP ] [ HP-UX ] [ hr ] [ il ] [ in ] [ inc ] [ include ] [ int ] [ interpreter ] [ io ] [ IR ] [ IRIX ] [ is ] [ it ] [ la ] [ LDT ] [ li ] [ ls ] [ lu ] [ lv ] [ ly ] [ ma ] [ machine ] [ mail ] [ man ] [ mm ] [ mp ] [ ms ] [ N ] [ na ] [ nc ] [ ne ] [ ng ] [ ni ] [ no ] [ ns ] [ nu ] [ O ] [ om ] [ pe ] [ perf ] [ pl ] [ port ] [ portability ] [ pr ] [ preprocessor ] [ process ] [ processor ] [ program ] [ programming ] [ Prolog ] [ PS ] [ query ] [ rc ] [ re ] [ recursive ] [ resolution ] [ rete ] [ ro ] [ ru ] [ S ] [ sb ] [ SB-Prolog ] [ sc ] [ SD ] [ se ] [ si ] [ so ] [ Solaris ] [ solution ] [ st ] [ standard ] [ struct ] [ su ] [ Sun ] [ SUNY ] [ support ] [ sy ] [ T ] [ ] [ tar ] [ th ] [ to ] [ tp ] [ tr ] [ type ] [ um ] [ unifICation ] [ up ] [ us ] [ V ] [ va ] [ var ] [ variable ] [ ve ] [ win ] [ ws ] [ X ] [ XT ] [ Y ] [ Z ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (6600 Reads) |