Document (#14705)

Author

Clocksin, W.F.
Mellish, C.S.

Title

Programming in Prolog

Issue

4th ed.

Imprint

Berlin : Springer

Year

1994

Pages

XIV,281 S

Isbn

3-540-58350-5

Object

Prolog

Similar documents (content)

1. Deransart, P.; Ed-Dbali, A.A.; Cervoni, L.: Prolog: the standard : Reference manual (1996) 2.25

   2.2537105 = sum of:
     2.2537105 = sum of:
       0.53346276 = weight(abstract_txt:programming in 5634) [ClassicSimilarity], result of:
         0.53346276 = score(doc=5634,freq=1.0), product of:
           0.49992463 = queryWeight, product of:
             6.829353 = idf(docFreq=129, maxDocs=44218)
             0.07320234 = queryNorm
           1.0670863 = fieldWeight in 5634, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             6.829353 = idf(docFreq=129, maxDocs=44218)
             0.15625 = fieldNorm(doc=5634)
       1.7202477 = weight(abstract_txt:prolog in 5634) [ClassicSimilarity], result of:
         1.7202477 = score(doc=5634,freq=2.0), product of:
           0.86606896 = queryWeight, product of:
             1.3162063 = boost
             8.988837 = idf(docFreq=14, maxDocs=44218)
             0.07320234 = queryNorm
           1.9862711 = fieldWeight in 5634, product of:
             1.4142135 = tf(freq=2.0), with freq of:
               2.0 = termFreq=2.0
             8.988837 = idf(docFreq=14, maxDocs=44218)
             0.15625 = fieldNorm(doc=5634)
   

2. Karisiddappa, C.R.; Prasad, A.R.D.: Declarative programming and thesaurus construction (1993) 1.97

   1.9708292 = sum of:
     1.9708292 = sum of:
       0.7544303 = weight(abstract_txt:programming in 3217) [ClassicSimilarity], result of:
         0.7544303 = score(doc=3217,freq=2.0), product of:
           0.49992463 = queryWeight, product of:
             6.829353 = idf(docFreq=129, maxDocs=44218)
             0.07320234 = 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.216399 = weight(abstract_txt:prolog in 3217) [ClassicSimilarity], result of:
         1.216399 = score(doc=3217,freq=1.0), product of:
           0.86606896 = queryWeight, product of:
             1.3162063 = boost
             8.988837 = idf(docFreq=14, maxDocs=44218)
             0.07320234 = 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)
   

3. Leigh, W.; Paz, N.: Conventional and knowledge-based information retrieval with Prolog (1988) 1.40

   1.3998893 = sum of:
     1.3998893 = sum of:
       0.4267702 = weight(abstract_txt:programming in 654) [ClassicSimilarity], result of:
         0.4267702 = score(doc=654,freq=1.0), product of:
           0.49992463 = queryWeight, product of:
             6.829353 = idf(docFreq=129, maxDocs=44218)
             0.07320234 = 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.97311914 = weight(abstract_txt:prolog in 654) [ClassicSimilarity], result of:
         0.97311914 = score(doc=654,freq=1.0), product of:
           0.86606896 = queryWeight, product of:
             1.3162063 = boost
             8.988837 = idf(docFreq=14, maxDocs=44218)
             0.07320234 = 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)
   

4. 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) 1.28

   1.2842301 = sum of:
     1.2842301 = sum of:
       0.5543908 = weight(abstract_txt:programming in 2493) [ClassicSimilarity], result of:
         0.5543908 = score(doc=2493,freq=3.0), product of:
           0.49992463 = queryWeight, product of:
             6.829353 = idf(docFreq=129, maxDocs=44218)
             0.07320234 = 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.7298393 = weight(abstract_txt:prolog in 2493) [ClassicSimilarity], result of:
         0.7298393 = score(doc=2493,freq=1.0), product of:
           0.86606896 = queryWeight, product of:
             1.3162063 = boost
             8.988837 = idf(docFreq=14, maxDocs=44218)
             0.07320234 = 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)
   

5. Kokkoras, F.A.; Vlahavas, I.P.: COMFRESH : a common framework for expert systems and hypertext (1995) 0.61

   0.6081995 = sum of:
     0.6081995 = product of:
       1.216399 = sum of:
         1.216399 = weight(abstract_txt:prolog in 2947) [ClassicSimilarity], result of:
           1.216399 = score(doc=2947,freq=1.0), product of:
             0.86606896 = queryWeight, product of:
               1.3162063 = boost
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.07320234 = 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.5 = coord(1/2)