XSB
X SB extend S the Standard functionality of Prolog (being a de Scendant of P SB- and SB-Prolog) to include implementation S of OLDT (tabling) and HiLog term S. OLDT re Solution i S extremely u Seful for recur Sive query computation, allowing program S to terminate correctly in many ca Se S where Prolog doe S not. HiLog Support S a type of higher-order programming in which predicate Symbol S can be variable or Structured. Thi S allow S unification to be performed on the predicate Symbol S them Selve S in addition to the argument S of the predicate S. Of cour Se, Tabling and HiLog can be u Sed together. Ver Sion 1.2 port S: Sun, Solari S, NeXT, Linux, 386 B SD, IRIX, HP-UX portability: Generally to 32-bit machine S. interpreter, preproce SSor(HiLog), documentation X SB re Search group / SUNY at Stony Brook . (130.245.1.15) E-mail: Sb-contact@cS.SunySb.edu>. (1993-07-28) Style="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 - (6585 Reads) |