Document (#11562)

Author

Tomasselli, G.

Title

Erfahrungen beim Einsatz eines PROLOG-Programms auf Mikrorechnern : zur Erfassung und Prüfung bibliographischer Daten; PROLOG als Mittel zur Beschreibung bibliographischen Wissens

Source

Zentralblatt für Bibliothekswesen. 103(1989) H.2, S.65-69

Year

1989

Abstract

Outlines the advantages of knowledge-based systems, developed as a form of artificial intelligence and transformed into partially effective expert systems, including the concept of logical programming or defining all relevant knowledge to satisfy logical conditions or IF-THEN rules, instead of a traditional, algorithmic programming language. Links the features of PROLOG to these concepts, along with its capacity as a machine language for future 5th generation computers, including microcomputers. Examines how logical programming allows bibliographical data and processes to be described, and the development of the inter-library bibliographic data base DALIS for producing booklists for state libraries.

Aid

PROLOG

Similar documents (content)

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

   0.20259804 = sum of:
     0.20259804 = product of:
       1.688317 = sum of:
         0.058540072 = weight(abstract_txt:language in 5702) [ClassicSimilarity], result of:
           0.058540072 = score(doc=5702,freq=1.0), product of:
             0.0898244 = queryWeight, product of:
               1.306834 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.016479157 = queryNorm
             0.6517168 = fieldWeight in 5702, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.15625 = fieldNorm(doc=5702)
         0.38492683 = weight(abstract_txt:programming in 5702) [ClassicSimilarity], result of:
           0.38492683 = score(doc=5702,freq=1.0), product of:
             0.36088985 = queryWeight, product of:
               3.2081614 = boost
               6.82627 = idf(docFreq=130, maxDocs=44421)
               0.016479157 = 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.24485 = weight(abstract_txt:prolog in 5702) [ClassicSimilarity], result of:
           1.24485 = score(doc=5702,freq=2.0), product of:
             0.626408 = queryWeight, product of:
               4.226662 = boost
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.016479157 = 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)
       0.12 = coord(3/25)
   

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

   0.17797808 = sum of:
     0.17797808 = product of:
       1.4831507 = sum of:
         0.058540072 = weight(abstract_txt:language in 3285) [ClassicSimilarity], result of:
           0.058540072 = score(doc=3285,freq=1.0), product of:
             0.0898244 = queryWeight, product of:
               1.306834 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.016479157 = queryNorm
             0.6517168 = fieldWeight in 3285, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.15625 = fieldNorm(doc=3285)
         0.54436874 = weight(abstract_txt:programming in 3285) [ClassicSimilarity], result of:
           0.54436874 = score(doc=3285,freq=2.0), product of:
             0.36088985 = queryWeight, product of:
               3.2081614 = boost
               6.82627 = idf(docFreq=130, maxDocs=44421)
               0.016479157 = 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)
         0.88024193 = weight(abstract_txt:prolog in 3285) [ClassicSimilarity], result of:
           0.88024193 = score(doc=3285,freq=1.0), product of:
             0.626408 = queryWeight, product of:
               4.226662 = boost
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.016479157 = 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)
       0.12 = coord(3/25)
   

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

   0.17594835 = sum of:
     0.17594835 = product of:
       1.0996772 = sum of:
         0.04071008 = weight(abstract_txt:knowledge in 653) [ClassicSimilarity], result of:
           0.04071008 = score(doc=653,freq=2.0), product of:
             0.06493669 = queryWeight, product of:
               1.1111388 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.016479157 = queryNorm
             0.62691957 = fieldWeight in 653, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.125 = fieldNorm(doc=653)
         0.04683206 = weight(abstract_txt:language in 653) [ClassicSimilarity], result of:
           0.04683206 = score(doc=653,freq=1.0), product of:
             0.0898244 = queryWeight, product of:
               1.306834 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.016479157 = queryNorm
             0.52137345 = fieldWeight in 653, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.125 = fieldNorm(doc=653)
         0.30794144 = weight(abstract_txt:programming in 653) [ClassicSimilarity], result of:
           0.30794144 = score(doc=653,freq=1.0), product of:
             0.36088985 = queryWeight, product of:
               3.2081614 = boost
               6.82627 = idf(docFreq=130, maxDocs=44421)
               0.016479157 = 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.7041936 = weight(abstract_txt:prolog in 653) [ClassicSimilarity], result of:
           0.7041936 = score(doc=653,freq=1.0), product of:
             0.626408 = queryWeight, product of:
               4.226662 = boost
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.016479157 = 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)
       0.16 = coord(4/25)
   

4. Hess, M.: ¬An incrementally extensible document retrieval system based on linguistic and logical principles (1992) 0.09

   0.08930951 = sum of:
     0.08930951 = product of:
       0.44654757 = sum of:
         0.014897983 = weight(abstract_txt:data in 3413) [ClassicSimilarity], result of:
           0.014897983 = score(doc=3413,freq=1.0), product of:
             0.057261642 = queryWeight, product of:
               1.0434104 = boost
               3.3302255 = idf(docFreq=4320, maxDocs=44421)
               0.016479157 = queryNorm
             0.26017386 = fieldWeight in 3413, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.3302255 = idf(docFreq=4320, maxDocs=44421)
               0.078125 = fieldNorm(doc=3413)
         0.032022003 = weight(abstract_txt:systems in 3413) [ClassicSimilarity], result of:
           0.032022003 = score(doc=3413,freq=4.0), product of:
             0.060079243 = queryWeight, product of:
               1.068773 = boost
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.016479157 = queryNorm
             0.5329961 = fieldWeight in 3413, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.078125 = fieldNorm(doc=3413)
         0.06544979 = weight(abstract_txt:language in 3413) [ClassicSimilarity], result of:
           0.06544979 = score(doc=3413,freq=5.0), product of:
             0.0898244 = queryWeight, product of:
               1.306834 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.016479157 = queryNorm
             0.7286415 = fieldWeight in 3413, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.078125 = fieldNorm(doc=3413)
         0.14171438 = weight(abstract_txt:logical in 3413) [ClassicSimilarity], result of:
           0.14171438 = score(doc=3413,freq=1.0), product of:
             0.29427397 = queryWeight, product of:
               2.8969755 = boost
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.016479157 = queryNorm
             0.48157293 = fieldWeight in 3413, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.078125 = fieldNorm(doc=3413)
         0.19246341 = weight(abstract_txt:programming in 3413) [ClassicSimilarity], result of:
           0.19246341 = score(doc=3413,freq=1.0), product of:
             0.36088985 = queryWeight, product of:
               3.2081614 = boost
               6.82627 = idf(docFreq=130, maxDocs=44421)
               0.016479157 = queryNorm
             0.53330237 = fieldWeight in 3413, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.82627 = idf(docFreq=130, maxDocs=44421)
               0.078125 = fieldNorm(doc=3413)
       0.2 = coord(5/25)
   

5. Moilanen, K.; Niemi, T.; Näppilä, T.; Kuru, M.: ¬A visual XML dataspace approach for satisfying ad hoc information needs (2015) 0.09

   0.088978596 = sum of:
     0.088978596 = product of:
       0.37074417 = sum of:
         0.025804063 = weight(abstract_txt:data in 3269) [ClassicSimilarity], result of:
           0.025804063 = score(doc=3269,freq=3.0), product of:
             0.057261642 = queryWeight, product of:
               1.0434104 = boost
               3.3302255 = idf(docFreq=4320, maxDocs=44421)
               0.016479157 = queryNorm
             0.45063436 = fieldWeight in 3269, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.3302255 = idf(docFreq=4320, maxDocs=44421)
               0.078125 = fieldNorm(doc=3269)
         0.027731868 = weight(abstract_txt:systems in 3269) [ClassicSimilarity], result of:
           0.027731868 = score(doc=3269,freq=3.0), product of:
             0.060079243 = queryWeight, product of:
               1.068773 = boost
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.016479157 = queryNorm
             0.46158817 = fieldWeight in 3269, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.078125 = fieldNorm(doc=3269)
         0.07003099 = weight(abstract_txt:satisfy in 3269) [ClassicSimilarity], result of:
           0.07003099 = score(doc=3269,freq=1.0), product of:
             0.12753488 = queryWeight, product of:
               1.1010898 = boost
               7.028639 = idf(docFreq=106, maxDocs=44421)
               0.016479157 = queryNorm
             0.54911244 = fieldWeight in 3269, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.028639 = idf(docFreq=106, maxDocs=44421)
               0.078125 = fieldNorm(doc=3269)
         0.0254438 = weight(abstract_txt:knowledge in 3269) [ClassicSimilarity], result of:
           0.0254438 = score(doc=3269,freq=2.0), product of:
             0.06493669 = queryWeight, product of:
               1.1111388 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.016479157 = queryNorm
             0.39182472 = fieldWeight in 3269, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.078125 = fieldNorm(doc=3269)
         0.029270036 = weight(abstract_txt:language in 3269) [ClassicSimilarity], result of:
           0.029270036 = score(doc=3269,freq=1.0), product of:
             0.0898244 = queryWeight, product of:
               1.306834 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.016479157 = queryNorm
             0.3258584 = fieldWeight in 3269, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.078125 = fieldNorm(doc=3269)
         0.19246341 = weight(abstract_txt:programming in 3269) [ClassicSimilarity], result of:
           0.19246341 = score(doc=3269,freq=1.0), product of:
             0.36088985 = queryWeight, product of:
               3.2081614 = boost
               6.82627 = idf(docFreq=130, maxDocs=44421)
               0.016479157 = queryNorm
             0.53330237 = fieldWeight in 3269, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.82627 = idf(docFreq=130, maxDocs=44421)
               0.078125 = fieldNorm(doc=3269)
       0.24 = coord(6/25)