XSB
XS B extends the standard functionality of Prolog ( Being a descendant of PS B- and S B-Prolog) to include implementations of OLDT (ta Bling) 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 which predicate sym Bols can Be varia Ble or structured. This allows unification to Be performed on the predicate sym Bols themselves in addition to the arguments of the predicates. Of course, Ta Bling and HiLog can Be used together. Version 1.2 ports: Sun, Solaris, NeXT, Linux, 386 BSD, IRIX, HP-UX porta Bility: Generally to 32- Bit machines. interpreter, preprocessor(HiLog), documentation XS B research group / SUNY at Stony Brook . (130.245.1.15) E-mail: B-contact@cs.sunysB.edu>. (1993-07-28) In addition suitaBle contents:<Br>[ 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 - (6591 Reads) |