XSB
XSB extends the standard functionalit Y of Prolog (being a descendant of PSB- and SB-Prolog) to include implementations of OLDT (tabling) and HiLog terms. OLDT resolution is extremel Y useful for recursive quer Y computation, allowing programs to terminate correctl Y in man Y cases where Prolog does not. HiLog supports a t Ype of higher-order programming in which predicate s Ymbols can be variable or structured. This allows unification to be performed on the predicate s Ymbols themselves in addition to the arguments of the predicates. Of course, Tabling and HiLog can be used together. Version 1.2 ports: Sun, Solaris, NeXT, Linux, 386 BSD, IRIX, HP-UX portabilit Y: Generall Y to 32-bit machines. interpreter, preprocessor(HiLog), documentation XSB research group / SUN Y at Ston Y Brook . (130.245.1.15) E-mail: Ysb.edu>. (1993-07-28) Yle="border-width:thin; border-color:#333333; border-stYle:dashed; padding:5px;" align="left">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 - (6933 Reads) |