Topics in programming languages :: a philosophical analysis through the case of Prolog /
'Topics in Programming Languages' explores the arch from the formation of alphabet and classical philosophy to artificial programming languages in the structure of one argumentative topics list: as if it were philosophy interpreted and programmed. One such endeavor is taken to tend toward...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Oxford :
Chartridge Books Oxford,
2013.
|
| Schriftenreihe: | First.
|
| Schlagworte: | |
| Online-Zugang: | DE-862 DE-863 |
| Zusammenfassung: | 'Topics in Programming Languages' explores the arch from the formation of alphabet and classical philosophy to artificial programming languages in the structure of one argumentative topics list: as if it were philosophy interpreted and programmed. One such endeavor is taken to tend toward phonetics and sounds of speech analysis with?-calculus, and, ultimately, Prolog - the programming language of choice in artificial intelligence - born of the natural language processing reverie and delusion. The well-ordered list of arguments targets the conceptual tree behind both the functional and the logical, the procedural and the declarative paradigms in programming languages by studying close the ascendum (convolution) of the Aristotelian efficient cause into the notions of function (Leibniz), rule (Kant) and algorithm as effective procedures in computation (Church-Turing). |
| Beschreibung: | 1 online resource (74 pages). |
| Bibliographie: | Includes bibliographical references (pages 59-60). |
| ISBN: | 9781909287747 1909287741 9781909287730 1909287733 |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn868976628 | ||
| 003 | OCoLC | ||
| 005 | 20250103110447.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 131203s2013 enk ob 000 0 eng d | ||
| 040 | |a E7B |b eng |e rda |e pn |c E7B |d OCLCO |d YDXCP |d N$T |d OCLCQ |d EBLCP |d DEBSZ |d ICA |d LTP |d AGLDB |d MERUC |d U3W |d OCLCF |d OCLCQ |d VTS |d OCLCQ |d AU@ |d OCLCQ |d STF |d OCLCQ |d UKAHL |d AJS |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ | ||
| 019 | |a 870599834 | ||
| 020 | |a 9781909287747 |q (electronic bk.) | ||
| 020 | |a 1909287741 |q (electronic bk.) | ||
| 020 | |a 9781909287730 |q (electronic bk.) | ||
| 020 | |a 1909287733 |q (electronic bk.) | ||
| 020 | |z 9781909287723 |q (pbk.) | ||
| 035 | |a (OCoLC)868976628 |z (OCoLC)870599834 | ||
| 050 | 4 | |a QA76.7 |b .H66 2013eb | |
| 072 | 7 | |a COM |x 051010 |2 bisacsh | |
| 072 | 7 | |a COM |x 051000 |2 bisacsh | |
| 082 | 7 | |a 005.13 |2 23 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Homem, Luís Manuel Cabrita Pais. | |
| 245 | 1 | 0 | |a Topics in programming languages : |b a philosophical analysis through the case of Prolog / |c Luís Homem. |
| 264 | 1 | |a Oxford : |b Chartridge Books Oxford, |c 2013. | |
| 300 | |a 1 online resource (74 pages). | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a First | |
| 504 | |a Includes bibliographical references (pages 59-60). | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a 'Topics in Programming Languages' explores the arch from the formation of alphabet and classical philosophy to artificial programming languages in the structure of one argumentative topics list: as if it were philosophy interpreted and programmed. One such endeavor is taken to tend toward phonetics and sounds of speech analysis with?-calculus, and, ultimately, Prolog - the programming language of choice in artificial intelligence - born of the natural language processing reverie and delusion. The well-ordered list of arguments targets the conceptual tree behind both the functional and the logical, the procedural and the declarative paradigms in programming languages by studying close the ascendum (convolution) of the Aristotelian efficient cause into the notions of function (Leibniz), rule (Kant) and algorithm as effective procedures in computation (Church-Turing). | ||
| 505 | 0 | |a Cover; Halftitle; Title; Copyright; Dedication; Contents; Abstract; Acknowledgements; Section I; Arguments; Ü) The phonetics and philosophical argument Ý) The symbolic or rational argument; Þ) The difficulty argument; e) The content-and-form artificial intelligence argument; f) The efficient cause argument; i) The model theory argument; Notes; Section II; Arguments; j) The endogenous to exogenouslanguage argument; k) The efficient cause continuance argument; l) The reviewing incommensurability argument; m) The functional and declarative programminglanguages argument; Notes; Section III. | |
| 505 | 8 | |a Argumentsn) The n-calculus argument; o) The Prolog argument; Notes; Section IV; Topics in programming languages:a philosophical analysis through the case of Prolog; Summary; State of the art; Goal; Detailed description; Bibliography; Back Cover. | |
| 650 | 0 | |a Programming languages (Electronic computers) |x Philosophy. | |
| 650 | 0 | |a Prolog (Computer program language) |0 http://id.loc.gov/authorities/subjects/sh85107397 | |
| 650 | 6 | |a Prolog (Langage de programmation) | |
| 650 | 7 | |a COMPUTERS |x Programming |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Programming Languages |x General. |2 bisacsh | |
| 650 | 7 | |a Prolog (Computer program language) |2 fast | |
| 776 | 0 | 8 | |i Print version: |a Homem, Luís Manuel Cabrita Pais. |t Topics in Programming Languages : A Philosophical Analysis Through the Case of Prolog. |d Oxford : Chartridge Books Oxford, ©2013 |z 9781909287723 |
| 830 | 0 | |a First. | |
| 966 | 4 | 0 | |l DE-862 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=629644 |3 Volltext |
| 966 | 4 | 0 | |l DE-863 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=629644 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH25469088 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH25469087 | ||
| 938 | |a EBSCOhost |b EBSC |n 629644 | ||
| 938 | |a YBP Library Services |b YANK |n 11062613 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-862 | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn868976628 |
|---|---|
| _version_ | 1829094983236321280 |
| adam_text | |
| any_adam_object | |
| author | Homem, Luís Manuel Cabrita Pais |
| author_facet | Homem, Luís Manuel Cabrita Pais |
| author_role | |
| author_sort | Homem, Luís Manuel Cabrita Pais |
| author_variant | l m c p h lmcp lmcph |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 .H66 2013eb |
| callnumber-search | QA76.7 .H66 2013eb |
| callnumber-sort | QA 276.7 H66 42013EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Cover; Halftitle; Title; Copyright; Dedication; Contents; Abstract; Acknowledgements; Section I; Arguments; Ü) The phonetics and philosophical argument Ý) The symbolic or rational argument; Þ) The difficulty argument; e) The content-and-form artificial intelligence argument; f) The efficient cause argument; i) The model theory argument; Notes; Section II; Arguments; j) The endogenous to exogenouslanguage argument; k) The efficient cause continuance argument; l) The reviewing incommensurability argument; m) The functional and declarative programminglanguages argument; Notes; Section III. Argumentsn) The n-calculus argument; o) The Prolog argument; Notes; Section IV; Topics in programming languages:a philosophical analysis through the case of Prolog; Summary; State of the art; Goal; Detailed description; Bibliography; Back Cover. |
| ctrlnum | (OCoLC)868976628 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04167cam a2200577 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn868976628</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20250103110447.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">131203s2013 enk ob 000 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">E7B</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">E7B</subfield><subfield code="d">OCLCO</subfield><subfield code="d">YDXCP</subfield><subfield code="d">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">EBLCP</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">ICA</subfield><subfield code="d">LTP</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MERUC</subfield><subfield code="d">U3W</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">STF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UKAHL</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">870599834</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781909287747</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1909287741</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781909287730</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1909287733</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781909287723</subfield><subfield code="q">(pbk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)868976628</subfield><subfield code="z">(OCoLC)870599834</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.7</subfield><subfield code="b">.H66 2013eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">051010</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">051000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Homem, Luís Manuel Cabrita Pais.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Topics in programming languages :</subfield><subfield code="b">a philosophical analysis through the case of Prolog /</subfield><subfield code="c">Luís Homem.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford :</subfield><subfield code="b">Chartridge Books Oxford,</subfield><subfield code="c">2013.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (74 pages).</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">First</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 59-60).</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">'Topics in Programming Languages' explores the arch from the formation of alphabet and classical philosophy to artificial programming languages in the structure of one argumentative topics list: as if it were philosophy interpreted and programmed. One such endeavor is taken to tend toward phonetics and sounds of speech analysis with?-calculus, and, ultimately, Prolog - the programming language of choice in artificial intelligence - born of the natural language processing reverie and delusion. The well-ordered list of arguments targets the conceptual tree behind both the functional and the logical, the procedural and the declarative paradigms in programming languages by studying close the ascendum (convolution) of the Aristotelian efficient cause into the notions of function (Leibniz), rule (Kant) and algorithm as effective procedures in computation (Church-Turing).</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Cover; Halftitle; Title; Copyright; Dedication; Contents; Abstract; Acknowledgements; Section I; Arguments; Ü) The phonetics and philosophical argument Ý) The symbolic or rational argument; Þ) The difficulty argument; e) The content-and-form artificial intelligence argument; f) The efficient cause argument; i) The model theory argument; Notes; Section II; Arguments; j) The endogenous to exogenouslanguage argument; k) The efficient cause continuance argument; l) The reviewing incommensurability argument; m) The functional and declarative programminglanguages argument; Notes; Section III.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Argumentsn) The n-calculus argument; o) The Prolog argument; Notes; Section IV; Topics in programming languages:a philosophical analysis through the case of Prolog; Summary; State of the art; Goal; Detailed description; Bibliography; Back Cover.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Philosophy.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Prolog (Computer program language)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85107397</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Prolog (Langage de programmation)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Programming</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Programming Languages</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Prolog (Computer program language)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Homem, Luís Manuel Cabrita Pais.</subfield><subfield code="t">Topics in Programming Languages : A Philosophical Analysis Through the Case of Prolog.</subfield><subfield code="d">Oxford : Chartridge Books Oxford, ©2013</subfield><subfield code="z">9781909287723</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">First.</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-862</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=629644</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-863</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=629644</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH25469088</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH25469087</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">629644</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">11062613</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-862</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn868976628 |
| illustrated | Not Illustrated |
| indexdate | 2025-04-11T08:41:47Z |
| institution | BVB |
| isbn | 9781909287747 1909287741 9781909287730 1909287733 |
| language | English |
| oclc_num | 868976628 |
| open_access_boolean | |
| owner | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| physical | 1 online resource (74 pages). |
| psigel | ZDB-4-EBA FWS_PDA_EBA ZDB-4-EBA |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Chartridge Books Oxford, |
| record_format | marc |
| series | First. |
| series2 | First |
| spelling | Homem, Luís Manuel Cabrita Pais. Topics in programming languages : a philosophical analysis through the case of Prolog / Luís Homem. Oxford : Chartridge Books Oxford, 2013. 1 online resource (74 pages). text txt rdacontent computer c rdamedia online resource cr rdacarrier First Includes bibliographical references (pages 59-60). Print version record. 'Topics in Programming Languages' explores the arch from the formation of alphabet and classical philosophy to artificial programming languages in the structure of one argumentative topics list: as if it were philosophy interpreted and programmed. One such endeavor is taken to tend toward phonetics and sounds of speech analysis with?-calculus, and, ultimately, Prolog - the programming language of choice in artificial intelligence - born of the natural language processing reverie and delusion. The well-ordered list of arguments targets the conceptual tree behind both the functional and the logical, the procedural and the declarative paradigms in programming languages by studying close the ascendum (convolution) of the Aristotelian efficient cause into the notions of function (Leibniz), rule (Kant) and algorithm as effective procedures in computation (Church-Turing). Cover; Halftitle; Title; Copyright; Dedication; Contents; Abstract; Acknowledgements; Section I; Arguments; Ü) The phonetics and philosophical argument Ý) The symbolic or rational argument; Þ) The difficulty argument; e) The content-and-form artificial intelligence argument; f) The efficient cause argument; i) The model theory argument; Notes; Section II; Arguments; j) The endogenous to exogenouslanguage argument; k) The efficient cause continuance argument; l) The reviewing incommensurability argument; m) The functional and declarative programminglanguages argument; Notes; Section III. Argumentsn) The n-calculus argument; o) The Prolog argument; Notes; Section IV; Topics in programming languages:a philosophical analysis through the case of Prolog; Summary; State of the art; Goal; Detailed description; Bibliography; Back Cover. Programming languages (Electronic computers) Philosophy. Prolog (Computer program language) http://id.loc.gov/authorities/subjects/sh85107397 Prolog (Langage de programmation) COMPUTERS Programming General. bisacsh COMPUTERS Programming Languages General. bisacsh Prolog (Computer program language) fast Print version: Homem, Luís Manuel Cabrita Pais. Topics in Programming Languages : A Philosophical Analysis Through the Case of Prolog. Oxford : Chartridge Books Oxford, ©2013 9781909287723 First. |
| spellingShingle | Homem, Luís Manuel Cabrita Pais Topics in programming languages : a philosophical analysis through the case of Prolog / First. Cover; Halftitle; Title; Copyright; Dedication; Contents; Abstract; Acknowledgements; Section I; Arguments; Ü) The phonetics and philosophical argument Ý) The symbolic or rational argument; Þ) The difficulty argument; e) The content-and-form artificial intelligence argument; f) The efficient cause argument; i) The model theory argument; Notes; Section II; Arguments; j) The endogenous to exogenouslanguage argument; k) The efficient cause continuance argument; l) The reviewing incommensurability argument; m) The functional and declarative programminglanguages argument; Notes; Section III. Argumentsn) The n-calculus argument; o) The Prolog argument; Notes; Section IV; Topics in programming languages:a philosophical analysis through the case of Prolog; Summary; State of the art; Goal; Detailed description; Bibliography; Back Cover. Programming languages (Electronic computers) Philosophy. Prolog (Computer program language) http://id.loc.gov/authorities/subjects/sh85107397 Prolog (Langage de programmation) COMPUTERS Programming General. bisacsh COMPUTERS Programming Languages General. bisacsh Prolog (Computer program language) fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85107397 |
| title | Topics in programming languages : a philosophical analysis through the case of Prolog / |
| title_auth | Topics in programming languages : a philosophical analysis through the case of Prolog / |
| title_exact_search | Topics in programming languages : a philosophical analysis through the case of Prolog / |
| title_full | Topics in programming languages : a philosophical analysis through the case of Prolog / Luís Homem. |
| title_fullStr | Topics in programming languages : a philosophical analysis through the case of Prolog / Luís Homem. |
| title_full_unstemmed | Topics in programming languages : a philosophical analysis through the case of Prolog / Luís Homem. |
| title_short | Topics in programming languages : |
| title_sort | topics in programming languages a philosophical analysis through the case of prolog |
| title_sub | a philosophical analysis through the case of Prolog / |
| topic | Programming languages (Electronic computers) Philosophy. Prolog (Computer program language) http://id.loc.gov/authorities/subjects/sh85107397 Prolog (Langage de programmation) COMPUTERS Programming General. bisacsh COMPUTERS Programming Languages General. bisacsh Prolog (Computer program language) fast |
| topic_facet | Programming languages (Electronic computers) Philosophy. Prolog (Computer program language) Prolog (Langage de programmation) COMPUTERS Programming General. COMPUTERS Programming Languages General. |
| work_keys_str_mv | AT homemluismanuelcabritapais topicsinprogramminglanguagesaphilosophicalanalysisthroughthecaseofprolog |