An environment for combining Prolog programs:
Abstract: "The purpose of this paper is to describe an environment for the construction of complex Prolog programs by combining simpler Prolog programs. The technique consists of the development in parallel of pieces of software which are combined to produce the final program. For producing ele...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Edinburgh
1992
|
| Series: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
610 |
| Subjects: | |
| Summary: | Abstract: "The purpose of this paper is to describe an environment for the construction of complex Prolog programs by combining simpler Prolog programs. The technique consists of the development in parallel of pieces of software which are combined to produce the final program. For producing elegant and efficient programs we need to keep information such as: the kind of program according to a classification effected by considering features of the program and information about history development such as the initial skeleton and techniques that the user applied in the construction of the program. The problem of combining two programs for producing a new program while retaining correctness properties is not an easy problem. Therefore we design a system which provides assistance in deciding how to combine the two programs The system is based on program transformation, a technique used for optimisation of programs [BD 77], supplemented with knowledge of program development. |
| Physical Description: | 16 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010460928 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 951102s1992 |||| 00||| engod | ||
| 035 | |a (OCoLC)31223362 | ||
| 035 | |a (DE-599)BVBBV010460928 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Vargas-Vera, María |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a An environment for combining Prolog programs |c Maria Vargas-Vera, Dave Robertson and Robert Inder |
| 264 | 1 | |a Edinburgh |c 1992 | |
| 300 | |a 16 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |v 610 | |
| 520 | 3 | |a Abstract: "The purpose of this paper is to describe an environment for the construction of complex Prolog programs by combining simpler Prolog programs. The technique consists of the development in parallel of pieces of software which are combined to produce the final program. For producing elegant and efficient programs we need to keep information such as: the kind of program according to a classification effected by considering features of the program and information about history development such as the initial skeleton and techniques that the user applied in the construction of the program. The problem of combining two programs for producing a new program while retaining correctness properties is not an easy problem. Therefore we design a system which provides assistance in deciding how to combine the two programs | |
| 520 | 3 | |a The system is based on program transformation, a technique used for optimisation of programs [BD 77], supplemented with knowledge of program development. | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 4 | |a Prolog (Computer program language) | |
| 700 | 1 | |a Robertson, Dave |e Verfasser |4 aut | |
| 700 | 1 | |a Inder, Robert |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 610 |w (DE-604)BV010450646 |9 610 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006969687 | ||
Record in the Search Index
| _version_ | 1804124892253126656 |
|---|---|
| any_adam_object | |
| author | Vargas-Vera, María Robertson, Dave Inder, Robert |
| author_facet | Vargas-Vera, María Robertson, Dave Inder, Robert |
| author_role | aut aut aut |
| author_sort | Vargas-Vera, María |
| author_variant | m v v mvv d r dr r i ri |
| building | Verbundindex |
| bvnumber | BV010460928 |
| ctrlnum | (OCoLC)31223362 (DE-599)BVBBV010460928 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02117nam a2200337 cb4500</leader><controlfield tag="001">BV010460928</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951102s1992 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31223362</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010460928</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">Vargas-Vera, María</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An environment for combining Prolog programs</subfield><subfield code="c">Maria Vargas-Vera, Dave Robertson and Robert Inder</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1992</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">University <Edinburgh> / Department of Artificial Intelligence: DAI research paper</subfield><subfield code="v">610</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The purpose of this paper is to describe an environment for the construction of complex Prolog programs by combining simpler Prolog programs. The technique consists of the development in parallel of pieces of software which are combined to produce the final program. For producing elegant and efficient programs we need to keep information such as: the kind of program according to a classification effected by considering features of the program and information about history development such as the initial skeleton and techniques that the user applied in the construction of the program. The problem of combining two programs for producing a new program while retaining correctness properties is not an easy problem. Therefore we design a system which provides assistance in deciding how to combine the two programs</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">The system is based on program transformation, a technique used for optimisation of programs [BD 77], supplemented with knowledge of program development.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prolog (Computer program language)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Robertson, Dave</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Inder, Robert</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Artificial Intelligence: DAI research paper</subfield><subfield code="t">University <Edinburgh></subfield><subfield code="v">610</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">610</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006969687</subfield></datafield></record></collection> |
| id | DE-604.BV010460928 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:53Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006969687 |
| oclc_num | 31223362 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 16 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Vargas-Vera, María Verfasser aut An environment for combining Prolog programs Maria Vargas-Vera, Dave Robertson and Robert Inder Edinburgh 1992 16 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 610 Abstract: "The purpose of this paper is to describe an environment for the construction of complex Prolog programs by combining simpler Prolog programs. The technique consists of the development in parallel of pieces of software which are combined to produce the final program. For producing elegant and efficient programs we need to keep information such as: the kind of program according to a classification effected by considering features of the program and information about history development such as the initial skeleton and techniques that the user applied in the construction of the program. The problem of combining two programs for producing a new program while retaining correctness properties is not an easy problem. Therefore we design a system which provides assistance in deciding how to combine the two programs The system is based on program transformation, a technique used for optimisation of programs [BD 77], supplemented with knowledge of program development. Computer software sigle Prolog (Computer program language) Robertson, Dave Verfasser aut Inder, Robert Verfasser aut Department of Artificial Intelligence: DAI research paper University <Edinburgh> 610 (DE-604)BV010450646 610 |
| spellingShingle | Vargas-Vera, María Robertson, Dave Inder, Robert An environment for combining Prolog programs Computer software sigle Prolog (Computer program language) |
| title | An environment for combining Prolog programs |
| title_auth | An environment for combining Prolog programs |
| title_exact_search | An environment for combining Prolog programs |
| title_full | An environment for combining Prolog programs Maria Vargas-Vera, Dave Robertson and Robert Inder |
| title_fullStr | An environment for combining Prolog programs Maria Vargas-Vera, Dave Robertson and Robert Inder |
| title_full_unstemmed | An environment for combining Prolog programs Maria Vargas-Vera, Dave Robertson and Robert Inder |
| title_short | An environment for combining Prolog programs |
| title_sort | an environment for combining prolog programs |
| topic | Computer software sigle Prolog (Computer program language) |
| topic_facet | Computer software Prolog (Computer program language) |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT vargasveramaria anenvironmentforcombiningprologprograms AT robertsondave anenvironmentforcombiningprologprograms AT inderrobert anenvironmentforcombiningprologprograms |