Document (#14704)

Author
Deransart, P.
Ed-Dbali, A.A.
Cervoni, L.
Title
Prolog: the standard : Reference manual
Imprint
Berlin : Springer
Year
1996
Pages
XV,272 S
Isbn
3-540-59304-7
Abstract
This is the first reference manual on the ISO international standard of the programming language Prolog. It enables system developers, application programmers and Prolog users to work with any standard conforming processor
Object
Prolog

Similar documents (content)

  1. Assem, M. van; Gangemi, A.; Schreiber, G.: Conversion of WordNet to a standard RDF/OWL representation (2006) 0.30
    0.29548183 = sum of:
      0.29548183 = product of:
        0.80202216 = sum of:
          0.005017193 = weight(abstract_txt:this in 4641) [ClassicSimilarity], result of:
            0.005017193 = score(doc=4641,freq=2.0), product of:
              0.018818947 = queryWeight, product of:
                2.4130175 = idf(docFreq=10762, maxDocs=44218)
                0.007798927 = queryNorm
              0.2666033 = fieldWeight in 4641, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.4130175 = idf(docFreq=10762, maxDocs=44218)
                0.078125 = fieldNorm(doc=4641)
          0.013794109 = weight(abstract_txt:work in 4641) [ClassicSimilarity], result of:
            0.013794109 = score(doc=4641,freq=1.0), product of:
              0.046532948 = queryWeight, product of:
                1.5724709 = boost
                3.7943997 = idf(docFreq=2703, maxDocs=44218)
                0.007798927 = queryNorm
              0.29643747 = fieldWeight in 4641, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.7943997 = idf(docFreq=2703, maxDocs=44218)
                0.078125 = fieldNorm(doc=4641)
          0.018469013 = weight(abstract_txt:language in 4641) [ClassicSimilarity], result of:
            0.018469013 = score(doc=4641,freq=1.0), product of:
              0.056527603 = queryWeight, product of:
                1.7331359 = boost
                4.1820874 = idf(docFreq=1834, maxDocs=44218)
                0.007798927 = queryNorm
              0.32672557 = fieldWeight in 4641, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.1820874 = idf(docFreq=1834, maxDocs=44218)
                0.078125 = fieldNorm(doc=4641)
          0.024201846 = weight(abstract_txt:application in 4641) [ClassicSimilarity], result of:
            0.024201846 = score(doc=4641,freq=1.0), product of:
              0.067690924 = queryWeight, product of:
                1.8965642 = boost
                4.5764427 = idf(docFreq=1236, maxDocs=44218)
                0.007798927 = queryNorm
              0.3575346 = fieldWeight in 4641, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.5764427 = idf(docFreq=1236, maxDocs=44218)
                0.078125 = fieldNorm(doc=4641)
          0.07734798 = weight(abstract_txt:developers in 4641) [ClassicSimilarity], result of:
            0.07734798 = score(doc=4641,freq=1.0), product of:
              0.14686921 = queryWeight, product of:
                2.7936225 = boost
                6.7410603 = idf(docFreq=141, maxDocs=44218)
                0.007798927 = queryNorm
              0.5266453 = fieldWeight in 4641, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.7410603 = idf(docFreq=141, maxDocs=44218)
                0.078125 = fieldNorm(doc=4641)
          0.11302289 = weight(abstract_txt:standard in 4641) [ClassicSimilarity], result of:
            0.11302289 = score(doc=4641,freq=2.0), product of:
              0.21649082 = queryWeight, product of:
                5.8746595 = boost
                4.725219 = idf(docFreq=1065, maxDocs=44218)
                0.007798927 = queryNorm
              0.52206784 = fieldWeight in 4641, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.725219 = idf(docFreq=1065, maxDocs=44218)
                0.078125 = fieldNorm(doc=4641)
          0.5501691 = weight(abstract_txt:prolog in 4641) [ClassicSimilarity], result of:
            0.5501691 = score(doc=4641,freq=1.0), product of:
              0.78343445 = queryWeight, product of:
                11.175431 = boost
                8.988837 = idf(docFreq=14, maxDocs=44218)
                0.007798927 = queryNorm
              0.7022529 = fieldWeight in 4641, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.988837 = idf(docFreq=14, maxDocs=44218)
                0.078125 = fieldNorm(doc=4641)
        0.36842105 = coord(7/19)
    
  2. Karisiddappa, C.R.; Prasad, A.R.D.: Declarative programming and thesaurus construction (1993) 0.22
    0.21548821 = sum of:
      0.21548821 = product of:
        1.3647587 = sum of:
          0.036938027 = weight(abstract_txt:language in 3217) [ClassicSimilarity], result of:
            0.036938027 = score(doc=3217,freq=1.0), product of:
              0.056527603 = queryWeight, product of:
                1.7331359 = boost
                4.1820874 = idf(docFreq=1834, maxDocs=44218)
                0.007798927 = queryNorm
              0.65345114 = fieldWeight in 3217, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.1820874 = idf(docFreq=1834, maxDocs=44218)
                0.15625 = fieldNorm(doc=3217)
          0.22748254 = weight(abstract_txt:programming in 3217) [ClassicSimilarity], result of:
            0.22748254 = score(doc=3217,freq=2.0), product of:
              0.15074173 = queryWeight, product of:
                2.8302128 = boost
                6.829353 = idf(docFreq=129, maxDocs=44218)
                0.007798927 = queryNorm
              1.509088 = fieldWeight in 3217, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.829353 = idf(docFreq=129, maxDocs=44218)
                0.15625 = fieldNorm(doc=3217)
          1.1003382 = weight(abstract_txt:prolog in 3217) [ClassicSimilarity], result of:
            1.1003382 = score(doc=3217,freq=1.0), product of:
              0.78343445 = queryWeight, product of:
                11.175431 = boost
                8.988837 = idf(docFreq=14, maxDocs=44218)
                0.007798927 = queryNorm
              1.4045058 = fieldWeight in 3217, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.988837 = idf(docFreq=14, maxDocs=44218)
                0.15625 = fieldNorm(doc=3217)
        0.15789473 = coord(3/19)
    
  3. Tomasselli, G.: Erfahrungen beim Einsatz eines PROLOG-Programms auf Mikrorechnern : zur Erfassung und Prüfung bibliographischer Daten; PROLOG als Mittel zur Beschreibung bibliographischen Wissens (1989) 0.18
    0.18177761 = sum of:
      0.18177761 = product of:
        0.8634436 = sum of:
          0.004732894 = weight(abstract_txt:with in 2493) [ClassicSimilarity], result of:
            0.004732894 = score(doc=2493,freq=1.0), product of:
              0.020195834 = queryWeight, product of:
                1.0359367 = boost
                2.4997334 = idf(docFreq=9868, maxDocs=44218)
                0.007798927 = queryNorm
              0.23435001 = fieldWeight in 2493, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.4997334 = idf(docFreq=9868, maxDocs=44218)
                0.09375 = fieldNorm(doc=2493)
          0.031342957 = weight(abstract_txt:language in 2493) [ClassicSimilarity], result of:
            0.031342957 = score(doc=2493,freq=2.0), product of:
              0.056527603 = queryWeight, product of:
                1.7331359 = boost
                4.1820874 = idf(docFreq=1834, maxDocs=44218)
                0.007798927 = queryNorm
              0.55447173 = fieldWeight in 2493, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.1820874 = idf(docFreq=1834, maxDocs=44218)
                0.09375 = fieldNorm(doc=2493)
          0.16716485 = weight(abstract_txt:programming in 2493) [ClassicSimilarity], result of:
            0.16716485 = score(doc=2493,freq=3.0), product of:
              0.15074173 = queryWeight, product of:
                2.8302128 = boost
                6.829353 = idf(docFreq=129, maxDocs=44218)
                0.007798927 = queryNorm
              1.1089487 = fieldWeight in 2493, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.829353 = idf(docFreq=129, maxDocs=44218)
                0.09375 = fieldNorm(doc=2493)
          0.6602029 = weight(abstract_txt:prolog in 2493) [ClassicSimilarity], result of:
            0.6602029 = score(doc=2493,freq=1.0), product of:
              0.78343445 = queryWeight, product of:
                11.175431 = boost
                8.988837 = idf(docFreq=14, maxDocs=44218)
                0.007798927 = queryNorm
              0.84270346 = fieldWeight in 2493, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.988837 = idf(docFreq=14, maxDocs=44218)
                0.09375 = fieldNorm(doc=2493)
        0.21052632 = coord(4/19)
    
  4. Kokkoras, F.A.; Vlahavas, I.P.: COMFRESH : a common framework for expert systems and hypertext (1995) 0.18
    0.17804115 = sum of:
      0.17804115 = product of:
        1.127594 = sum of:
          0.007888156 = weight(abstract_txt:with in 2947) [ClassicSimilarity], result of:
            0.007888156 = score(doc=2947,freq=1.0), product of:
              0.020195834 = queryWeight, product of:
                1.0359367 = boost
                2.4997334 = idf(docFreq=9868, maxDocs=44218)
                0.007798927 = queryNorm
              0.39058334 = fieldWeight in 2947, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.4997334 = idf(docFreq=9868, maxDocs=44218)
                0.15625 = fieldNorm(doc=2947)
          0.01936762 = weight(abstract_txt:system in 2947) [ClassicSimilarity], result of:
            0.01936762 = score(doc=2947,freq=1.0), product of:
              0.03675606 = queryWeight, product of:
                1.3975483 = boost
                3.3723085 = idf(docFreq=4123, maxDocs=44218)
                0.007798927 = queryNorm
              0.5269232 = fieldWeight in 2947, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.3723085 = idf(docFreq=4123, maxDocs=44218)
                0.15625 = fieldNorm(doc=2947)
          1.1003382 = weight(abstract_txt:prolog in 2947) [ClassicSimilarity], result of:
            1.1003382 = score(doc=2947,freq=1.0), product of:
              0.78343445 = queryWeight, product of:
                11.175431 = boost
                8.988837 = idf(docFreq=14, maxDocs=44218)
                0.007798927 = queryNorm
              1.4045058 = fieldWeight in 2947, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.988837 = idf(docFreq=14, maxDocs=44218)
                0.15625 = fieldNorm(doc=2947)
        0.15789473 = coord(3/19)
    
  5. Leigh, W.; Paz, N.: Conventional and knowledge-based information retrieval with Prolog (1988) 0.16
    0.1639744 = sum of:
      0.1639744 = product of:
        1.0385046 = sum of:
          0.029550422 = weight(abstract_txt:language in 654) [ClassicSimilarity], result of:
            0.029550422 = score(doc=654,freq=1.0), product of:
              0.056527603 = queryWeight, product of:
                1.7331359 = boost
                4.1820874 = idf(docFreq=1834, maxDocs=44218)
                0.007798927 = queryNorm
              0.5227609 = fieldWeight in 654, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.1820874 = idf(docFreq=1834, maxDocs=44218)
                0.125 = fieldNorm(doc=654)
          0.12868355 = weight(abstract_txt:programming in 654) [ClassicSimilarity], result of:
            0.12868355 = score(doc=654,freq=1.0), product of:
              0.15074173 = queryWeight, product of:
                2.8302128 = boost
                6.829353 = idf(docFreq=129, maxDocs=44218)
                0.007798927 = queryNorm
              0.8536691 = fieldWeight in 654, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.829353 = idf(docFreq=129, maxDocs=44218)
                0.125 = fieldNorm(doc=654)
          0.8802706 = weight(abstract_txt:prolog in 654) [ClassicSimilarity], result of:
            0.8802706 = score(doc=654,freq=1.0), product of:
              0.78343445 = queryWeight, product of:
                11.175431 = boost
                8.988837 = idf(docFreq=14, maxDocs=44218)
                0.007798927 = queryNorm
              1.1236047 = fieldWeight in 654, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.988837 = idf(docFreq=14, maxDocs=44218)
                0.125 = fieldNorm(doc=654)
        0.15789473 = coord(3/19)