CAL, a constraint logic programming language: its enhancement for application to handling robots
Abstract: "At ICOT, we have been researching into the Constraint Logic Programming Language CAL (Contrainte Avec Logique) since 1987 [1, 7]. CAL was originally designed as a CLP language with a constraint solver for algebraic polynomial equation constraints employing the Buchberger algorithm. A...
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Tokyo, Japan
1992
|
| Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
729 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "At ICOT, we have been researching into the Constraint Logic Programming Language CAL (Contrainte Avec Logique) since 1987 [1, 7]. CAL was originally designed as a CLP language with a constraint solver for algebraic polynomial equation constraints employing the Buchberger algorithm. As part of our research into CAL applications we have been investigating a design support system for handling robots. Since the application needs several extra functions besides its original functions of computing Grobner bases, we have extended the CAL language processor to version 2.1 This paper describes these additional functions for the application: a facility to approximate the real roots of univariate equations in the algebraic constraint solver employing the Buchberger algorithm, handling multiple solutions for each non-linear univariate equation by introducing the concept of context. Through this research and development, we are aiming to establish a very high level programming language for problem solving, based on concept of the constraint logic programming. |
| Beschreibung: | 17 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010956200 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960918s1992 |||| 00||| engod | ||
| 035 | |a (OCoLC)26726498 | ||
| 035 | |a (DE-599)BVBBV010956200 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 245 | 1 | 0 | |a CAL, a constraint logic programming language |b its enhancement for application to handling robots |c by A. Aiba ... |
| 264 | 1 | |a Tokyo, Japan |c 1992 | |
| 300 | |a 17 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 729 | |
| 520 | 3 | |a Abstract: "At ICOT, we have been researching into the Constraint Logic Programming Language CAL (Contrainte Avec Logique) since 1987 [1, 7]. CAL was originally designed as a CLP language with a constraint solver for algebraic polynomial equation constraints employing the Buchberger algorithm. As part of our research into CAL applications we have been investigating a design support system for handling robots. Since the application needs several extra functions besides its original functions of computing Grobner bases, we have extended the CAL language processor to version 2.1 | |
| 520 | 3 | |a This paper describes these additional functions for the application: a facility to approximate the real roots of univariate equations in the algebraic constraint solver employing the Buchberger algorithm, handling multiple solutions for each non-linear univariate equation by introducing the concept of context. Through this research and development, we are aiming to establish a very high level programming language for problem solving, based on concept of the constraint logic programming. | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Robots | |
| 700 | 1 | |a Aiba, Akira |e Sonstige |4 oth | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 729 |w (DE-604)BV010923438 |9 729 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007328367 | ||
Datensatz im Suchindex
| _version_ | 1804125443405643776 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV010956200 |
| ctrlnum | (OCoLC)26726498 (DE-599)BVBBV010956200 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02073nam a2200313 cb4500</leader><controlfield tag="001">BV010956200</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960918s1992 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)26726498</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010956200</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="245" ind1="1" ind2="0"><subfield code="a">CAL, a constraint logic programming language</subfield><subfield code="b">its enhancement for application to handling robots</subfield><subfield code="c">by A. Aiba ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">17 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">729</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "At ICOT, we have been researching into the Constraint Logic Programming Language CAL (Contrainte Avec Logique) since 1987 [1, 7]. CAL was originally designed as a CLP language with a constraint solver for algebraic polynomial equation constraints employing the Buchberger algorithm. As part of our research into CAL applications we have been investigating a design support system for handling robots. Since the application needs several extra functions besides its original functions of computing Grobner bases, we have extended the CAL language processor to version 2.1</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">This paper describes these additional functions for the application: a facility to approximate the real roots of univariate equations in the algebraic constraint solver employing the Buchberger algorithm, handling multiple solutions for each non-linear univariate equation by introducing the concept of context. Through this research and development, we are aiming to establish a very high level programming language for problem solving, based on concept of the constraint logic programming.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Robots</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Aiba, Akira</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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">729</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">729</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007328367</subfield></datafield></record></collection> |
| id | DE-604.BV010956200 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:38Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007328367 |
| oclc_num | 26726498 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 17 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| 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 | CAL, a constraint logic programming language its enhancement for application to handling robots by A. Aiba ... Tokyo, Japan 1992 17 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 729 Abstract: "At ICOT, we have been researching into the Constraint Logic Programming Language CAL (Contrainte Avec Logique) since 1987 [1, 7]. CAL was originally designed as a CLP language with a constraint solver for algebraic polynomial equation constraints employing the Buchberger algorithm. As part of our research into CAL applications we have been investigating a design support system for handling robots. Since the application needs several extra functions besides its original functions of computing Grobner bases, we have extended the CAL language processor to version 2.1 This paper describes these additional functions for the application: a facility to approximate the real roots of univariate equations in the algebraic constraint solver employing the Buchberger algorithm, handling multiple solutions for each non-linear univariate equation by introducing the concept of context. Through this research and development, we are aiming to establish a very high level programming language for problem solving, based on concept of the constraint logic programming. Logic programming Robots Aiba, Akira Sonstige oth Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 729 (DE-604)BV010923438 729 |
| spellingShingle | CAL, a constraint logic programming language its enhancement for application to handling robots Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Logic programming Robots |
| title | CAL, a constraint logic programming language its enhancement for application to handling robots |
| title_auth | CAL, a constraint logic programming language its enhancement for application to handling robots |
| title_exact_search | CAL, a constraint logic programming language its enhancement for application to handling robots |
| title_full | CAL, a constraint logic programming language its enhancement for application to handling robots by A. Aiba ... |
| title_fullStr | CAL, a constraint logic programming language its enhancement for application to handling robots by A. Aiba ... |
| title_full_unstemmed | CAL, a constraint logic programming language its enhancement for application to handling robots by A. Aiba ... |
| title_short | CAL, a constraint logic programming language |
| title_sort | cal a constraint logic programming language its enhancement for application to handling robots |
| title_sub | its enhancement for application to handling robots |
| topic | Logic programming Robots |
| topic_facet | Logic programming Robots |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT aibaakira calaconstraintlogicprogramminglanguageitsenhancementforapplicationtohandlingrobots |