Document (#14704)

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.2544034 = sum of:
     2.2544034 = sum of:
       0.5324535 = weight(abstract_txt:programming in 5702) [ClassicSimilarity], result of:
         0.5324535 = score(doc=5702,freq=1.0), product of:
           0.4992041 = queryWeight, product of:
             6.82627 = idf(docFreq=130, maxDocs=44421)
             0.07312985 = queryNorm
           1.0666047 = fieldWeight in 5702, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             6.82627 = idf(docFreq=130, maxDocs=44421)
             0.15625 = fieldNorm(doc=5702)
       1.7219499 = weight(abstract_txt:prolog in 5702) [ClassicSimilarity], result of:
         1.7219499 = score(doc=5702,freq=2.0), product of:
           0.8664844 = queryWeight, product of:
             1.3174717 = boost
             8.993418 = idf(docFreq=14, maxDocs=44421)
             0.07312985 = queryNorm
           1.9872832 = fieldWeight in 5702, product of:
             1.4142135 = tf(freq=2.0), with freq of:
               2.0 = termFreq=2.0
             8.993418 = idf(docFreq=14, maxDocs=44421)
             0.15625 = fieldNorm(doc=5702)
   

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

   1.9706054 = sum of:
     1.9706054 = sum of:
       0.7530029 = weight(abstract_txt:programming in 3285) [ClassicSimilarity], result of:
         0.7530029 = score(doc=3285,freq=2.0), product of:
           0.4992041 = queryWeight, product of:
             6.82627 = idf(docFreq=130, maxDocs=44421)
             0.07312985 = queryNorm
           1.5084069 = fieldWeight in 3285, product of:
             1.4142135 = tf(freq=2.0), with freq of:
               2.0 = termFreq=2.0
             6.82627 = idf(docFreq=130, maxDocs=44421)
             0.15625 = fieldNorm(doc=3285)
       1.2176025 = weight(abstract_txt:prolog in 3285) [ClassicSimilarity], result of:
         1.2176025 = score(doc=3285,freq=1.0), product of:
           0.8664844 = queryWeight, product of:
             1.3174717 = boost
             8.993418 = idf(docFreq=14, maxDocs=44421)
             0.07312985 = queryNorm
           1.4052215 = fieldWeight in 3285, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             8.993418 = idf(docFreq=14, maxDocs=44421)
             0.15625 = fieldNorm(doc=3285)
   

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

   1.4000448 = sum of:
     1.4000448 = sum of:
       0.42596275 = weight(abstract_txt:programming in 653) [ClassicSimilarity], result of:
         0.42596275 = score(doc=653,freq=1.0), product of:
           0.4992041 = queryWeight, product of:
             6.82627 = idf(docFreq=130, maxDocs=44421)
             0.07312985 = queryNorm
           0.85328376 = fieldWeight in 653, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             6.82627 = idf(docFreq=130, maxDocs=44421)
             0.125 = fieldNorm(doc=653)
       0.97408205 = weight(abstract_txt:prolog in 653) [ClassicSimilarity], result of:
         0.97408205 = score(doc=653,freq=1.0), product of:
           0.8664844 = queryWeight, product of:
             1.3174717 = boost
             8.993418 = idf(docFreq=14, maxDocs=44421)
             0.07312985 = queryNorm
           1.1241772 = fieldWeight in 653, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             8.993418 = idf(docFreq=14, maxDocs=44421)
             0.125 = fieldNorm(doc=653)
   

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.2839034 = sum of:
     1.2839034 = sum of:
       0.5533418 = weight(abstract_txt:programming in 2561) [ClassicSimilarity], result of:
         0.5533418 = score(doc=2561,freq=3.0), product of:
           0.4992041 = queryWeight, product of:
             6.82627 = idf(docFreq=130, maxDocs=44421)
             0.07312985 = queryNorm
           1.108448 = fieldWeight in 2561, product of:
             1.7320508 = tf(freq=3.0), with freq of:
               3.0 = termFreq=3.0
             6.82627 = idf(docFreq=130, maxDocs=44421)
             0.09375 = fieldNorm(doc=2561)
       0.7305615 = weight(abstract_txt:prolog in 2561) [ClassicSimilarity], result of:
         0.7305615 = score(doc=2561,freq=1.0), product of:
           0.8664844 = queryWeight, product of:
             1.3174717 = boost
             8.993418 = idf(docFreq=14, maxDocs=44421)
             0.07312985 = queryNorm
           0.8431329 = fieldWeight in 2561, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             8.993418 = idf(docFreq=14, maxDocs=44421)
             0.09375 = fieldNorm(doc=2561)
   

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

   0.60880125 = sum of:
     0.60880125 = product of:
       1.2176025 = sum of:
         1.2176025 = weight(abstract_txt:prolog in 3015) [ClassicSimilarity], result of:
           1.2176025 = score(doc=3015,freq=1.0), product of:
             0.8664844 = queryWeight, product of:
               1.3174717 = boost
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.07312985 = queryNorm
             1.4052215 = fieldWeight in 3015, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.15625 = fieldNorm(doc=3015)
       0.5 = coord(1/2)