Deriving an efficient production system by partial evaluation:
Abstract: "A great deal of research has been done on applying partial evaluation for optimizing meta-programs in Prolog, such as a rule interpreter with a certainty factor, a bottom-up parser and a formula manipulation system. It has been claimed that the technique is very useful in developing...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Tokyo, Japan
1989
|
| Series: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
456 |
| Subjects: | |
| Summary: | Abstract: "A great deal of research has been done on applying partial evaluation for optimizing meta-programs in Prolog, such as a rule interpreter with a certainty factor, a bottom-up parser and a formula manipulation system. It has been claimed that the technique is very useful in developing various inference engines for knowledge based systems. However, nobody has succeeded in deriving an efficient production system (PS) through partial evaluation. This paper presents the derivation of an efficient PS by partially evaluating a simple PS interpreter, given a set of rules. The derived codes are shown to be very similar to the compiled codes given by [Shintani 88]." |
| Physical Description: | 16 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010947130 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960912s1989 |||| 00||| engod | ||
| 035 | |a (OCoLC)23004575 | ||
| 035 | |a (DE-599)BVBBV010947130 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Furukawa, Koichi |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Deriving an efficient production system by partial evaluation |c by K. Furukawa & H. Fujita |
| 264 | 1 | |a Tokyo, Japan |c 1989 | |
| 300 | |a 16 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 456 | |
| 520 | 3 | |a Abstract: "A great deal of research has been done on applying partial evaluation for optimizing meta-programs in Prolog, such as a rule interpreter with a certainty factor, a bottom-up parser and a formula manipulation system. It has been claimed that the technique is very useful in developing various inference engines for knowledge based systems. However, nobody has succeeded in deriving an efficient production system (PS) through partial evaluation. This paper presents the derivation of an efficient PS by partially evaluating a simple PS interpreter, given a set of rules. The derived codes are shown to be very similar to the compiled codes given by [Shintani 88]." | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Mathematical optimization | |
| 700 | 1 | |a Fujita, Hiroshi |e Verfasser |4 aut | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 456 |w (DE-604)BV010923438 |9 456 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007321353 | ||
Record in the Search Index
| _version_ | 1804125433758744576 |
|---|---|
| any_adam_object | |
| author | Furukawa, Koichi Fujita, Hiroshi |
| author_facet | Furukawa, Koichi Fujita, Hiroshi |
| author_role | aut aut |
| author_sort | Furukawa, Koichi |
| author_variant | k f kf h f hf |
| building | Verbundindex |
| bvnumber | BV010947130 |
| ctrlnum | (OCoLC)23004575 (DE-599)BVBBV010947130 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01708nam a2200313 cb4500</leader><controlfield tag="001">BV010947130</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960912s1989 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23004575</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010947130</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Furukawa, Koichi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Deriving an efficient production system by partial evaluation</subfield><subfield code="c">by K. Furukawa & H. Fujita</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">16 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">456</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "A great deal of research has been done on applying partial evaluation for optimizing meta-programs in Prolog, such as a rule interpreter with a certainty factor, a bottom-up parser and a formula manipulation system. It has been claimed that the technique is very useful in developing various inference engines for knowledge based systems. However, nobody has succeeded in deriving an efficient production system (PS) through partial evaluation. This paper presents the derivation of an efficient PS by partially evaluating a simple PS interpreter, given a set of rules. The derived codes are shown to be very similar to the compiled codes given by [Shintani 88]."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical optimization</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fujita, Hiroshi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">456</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">456</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007321353</subfield></datafield></record></collection> |
| id | DE-604.BV010947130 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:29Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007321353 |
| oclc_num | 23004575 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 16 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| record_format | marc |
| series | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| series2 | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| spelling | Furukawa, Koichi Verfasser aut Deriving an efficient production system by partial evaluation by K. Furukawa & H. Fujita Tokyo, Japan 1989 16 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 456 Abstract: "A great deal of research has been done on applying partial evaluation for optimizing meta-programs in Prolog, such as a rule interpreter with a certainty factor, a bottom-up parser and a formula manipulation system. It has been claimed that the technique is very useful in developing various inference engines for knowledge based systems. However, nobody has succeeded in deriving an efficient production system (PS) through partial evaluation. This paper presents the derivation of an efficient PS by partially evaluating a simple PS interpreter, given a set of rules. The derived codes are shown to be very similar to the compiled codes given by [Shintani 88]." Logic programming Mathematical optimization Fujita, Hiroshi Verfasser aut Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 456 (DE-604)BV010923438 456 |
| spellingShingle | Furukawa, Koichi Fujita, Hiroshi Deriving an efficient production system by partial evaluation Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Logic programming Mathematical optimization |
| title | Deriving an efficient production system by partial evaluation |
| title_auth | Deriving an efficient production system by partial evaluation |
| title_exact_search | Deriving an efficient production system by partial evaluation |
| title_full | Deriving an efficient production system by partial evaluation by K. Furukawa & H. Fujita |
| title_fullStr | Deriving an efficient production system by partial evaluation by K. Furukawa & H. Fujita |
| title_full_unstemmed | Deriving an efficient production system by partial evaluation by K. Furukawa & H. Fujita |
| title_short | Deriving an efficient production system by partial evaluation |
| title_sort | deriving an efficient production system by partial evaluation |
| topic | Logic programming Mathematical optimization |
| topic_facet | Logic programming Mathematical optimization |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT furukawakoichi derivinganefficientproductionsystembypartialevaluation AT fujitahiroshi derivinganefficientproductionsystembypartialevaluation |