Combining Prolog programs in a techniques editing system:
Abstract: "Techniques editing, as proposed by Sterling et al., allows Prolog programs to be constructed by initially selecting a 'skeleton' which determines the flow of control of the program, and then adding on top of this the extra features required by the program. This means that i...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1993
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
636 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Techniques editing, as proposed by Sterling et al., allows Prolog programs to be constructed by initially selecting a 'skeleton' which determines the flow of control of the program, and then adding on top of this the extra features required by the program. This means that it is easy to obtain as an end-result of techniques editing not only the final program but also a history of its development, in terms of the skeleton and extensions used to build it. We describe how this program history information can be used to produce efficient combined programs from pairs of initial programs constructed independently by a techniques editor." |
| Beschreibung: | 15 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010463470 | ||
| 003 | DE-604 | ||
| 005 | 19951106 | ||
| 007 | t | ||
| 008 | 951106s1993 |||| 00||| engod | ||
| 035 | |a (OCoLC)31073885 | ||
| 035 | |a (DE-599)BVBBV010463470 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 050 | 0 | |a QA76.952 | |
| 100 | 1 | |a Vargas-Vera, María |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Combining Prolog programs in a techniques editing system |c Maria Vargas-Vera, Dave Robertson and Robert Inder |
| 264 | 1 | |a Edinburgh |c 1993 | |
| 300 | |a 15 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 636 | |
| 520 | 3 | |a Abstract: "Techniques editing, as proposed by Sterling et al., allows Prolog programs to be constructed by initially selecting a 'skeleton' which determines the flow of control of the program, and then adding on top of this the extra features required by the program. This means that it is easy to obtain as an end-result of techniques editing not only the final program but also a history of its development, in terms of the skeleton and extensions used to build it. We describe how this program history information can be used to produce efficient combined programs from pairs of initial programs constructed independently by a techniques editor." | |
| 650 | 7 | |a Bionics and artificial intelligence |2 sigle | |
| 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 636 |w (DE-604)BV010450646 |9 636 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006971854 | ||
Datensatz im Suchindex
| _version_ | 1804124895468060672 |
|---|---|
| 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 | BV010463470 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.952 |
| callnumber-search | QA76.952 |
| callnumber-sort | QA 276.952 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)31073885 (DE-599)BVBBV010463470 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01859nam a2200349 cb4500</leader><controlfield tag="001">BV010463470</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951106 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951106s1993 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31073885</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010463470</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="050" ind1=" " ind2="0"><subfield code="a">QA76.952</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">Combining Prolog programs in a techniques editing system</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">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">15 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">636</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Techniques editing, as proposed by Sterling et al., allows Prolog programs to be constructed by initially selecting a 'skeleton' which determines the flow of control of the program, and then adding on top of this the extra features required by the program. This means that it is easy to obtain as an end-result of techniques editing not only the final program but also a history of its development, in terms of the skeleton and extensions used to build it. We describe how this program history information can be used to produce efficient combined programs from pairs of initial programs constructed independently by a techniques editor."</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bionics and artificial intelligence</subfield><subfield code="2">sigle</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">636</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">636</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006971854</subfield></datafield></record></collection> |
| id | DE-604.BV010463470 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:56Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006971854 |
| oclc_num | 31073885 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 15 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Vargas-Vera, María Verfasser aut Combining Prolog programs in a techniques editing system Maria Vargas-Vera, Dave Robertson and Robert Inder Edinburgh 1993 15 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 636 Abstract: "Techniques editing, as proposed by Sterling et al., allows Prolog programs to be constructed by initially selecting a 'skeleton' which determines the flow of control of the program, and then adding on top of this the extra features required by the program. This means that it is easy to obtain as an end-result of techniques editing not only the final program but also a history of its development, in terms of the skeleton and extensions used to build it. We describe how this program history information can be used to produce efficient combined programs from pairs of initial programs constructed independently by a techniques editor." Bionics and artificial intelligence sigle Computer software sigle Prolog (Computer program language) Robertson, Dave Verfasser aut Inder, Robert Verfasser aut Department of Artificial Intelligence: DAI research paper University <Edinburgh> 636 (DE-604)BV010450646 636 |
| spellingShingle | Vargas-Vera, María Robertson, Dave Inder, Robert Combining Prolog programs in a techniques editing system Bionics and artificial intelligence sigle Computer software sigle Prolog (Computer program language) |
| title | Combining Prolog programs in a techniques editing system |
| title_auth | Combining Prolog programs in a techniques editing system |
| title_exact_search | Combining Prolog programs in a techniques editing system |
| title_full | Combining Prolog programs in a techniques editing system Maria Vargas-Vera, Dave Robertson and Robert Inder |
| title_fullStr | Combining Prolog programs in a techniques editing system Maria Vargas-Vera, Dave Robertson and Robert Inder |
| title_full_unstemmed | Combining Prolog programs in a techniques editing system Maria Vargas-Vera, Dave Robertson and Robert Inder |
| title_short | Combining Prolog programs in a techniques editing system |
| title_sort | combining prolog programs in a techniques editing system |
| topic | Bionics and artificial intelligence sigle Computer software sigle Prolog (Computer program language) |
| topic_facet | Bionics and artificial intelligence Computer software Prolog (Computer program language) |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT vargasveramaria combiningprologprogramsinatechniqueseditingsystem AT robertsondave combiningprologprogramsinatechniqueseditingsystem AT inderrobert combiningprologprogramsinatechniqueseditingsystem |