{"id":"https://openalex.org/W2159174117","doi":null,"title":"Language Interoperability and Logic Programming Languages","display_name":"Language Interoperability and Logic Programming Languages","publication_year":2005,"publication_date":"2005-06-01","ids":{"openalex":"https://openalex.org/W2159174117","mag":"2159174117"},"language":"en","primary_location":{"id":"pmh:oai:era.ed.ac.uk:1842/725","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/1842/725","pdf_url":"http://hdl.handle.net/1842/725","source":{"id":"https://openalex.org/S7407055182","display_name":"ERA","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Thesis or Dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/1842/725","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018308300","display_name":"Jonathan J. Cook","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jonathan J. Cook","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5018308300"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/language-interoperability","display_name":"language interoperability","score":0.8529999852180481},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.9319999814033508},{"id":"https://openalex.org/keywords/c","display_name":"C++","score":0.9350000023841858},{"id":"https://openalex.org/keywords/linear-logic","display_name":"linear logic","score":0.7110000252723694},{"id":"https://openalex.org/keywords/concurrent-prolog","display_name":"Concurrent Prolog","score":0.7609999775886536},{"id":"https://openalex.org/keywords/runtime-optimization","display_name":"runtime optimization","score":0.6919999718666077},{"id":"https://openalex.org/keywords/net-platform","display_name":".NET platform","score":0.5019999742507935}],"concepts":[{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.9181661605834961},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8825762271881104},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8213794827461243},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5997495651245117},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.5009868144989014},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.4439542293548584},{"id":"https://openalex.org/C2778383056","wikidata":"https://www.wikidata.org/wiki/Q873636","display_name":"Namespace","level":2,"score":0.41715115308761597},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.25949275493621826}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:era.ed.ac.uk:1842/725","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/1842/725","pdf_url":"http://hdl.handle.net/1842/725","source":{"id":"https://openalex.org/S7407055182","display_name":"ERA","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Thesis or Dissertation"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.137.5953","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.5953","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://homepages.inf.ed.ac.uk/jcook/papers/thesis.pdf","raw_type":"text"},{"id":"pmh:hdl:10068/997945","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/10068/997945","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},{"id":"mag:2159174117","doi":null,"is_oa":false,"landing_page_url":"https://www.era.lib.ed.ac.uk/handle/1842/725","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:era.ed.ac.uk:1842/725","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/1842/725","pdf_url":"http://hdl.handle.net/1842/725","source":{"id":"https://openalex.org/S7407055182","display_name":"ERA","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Thesis or Dissertation"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2159174117.pdf","grobid_xml":"https://content.openalex.org/works/W2159174117.grobid-xml"},"referenced_works_count":67,"referenced_works":["https://openalex.org/W12239481","https://openalex.org/W44615226","https://openalex.org/W64652629","https://openalex.org/W138848826","https://openalex.org/W141599801","https://openalex.org/W147093031","https://openalex.org/W187855765","https://openalex.org/W192297306","https://openalex.org/W196960493","https://openalex.org/W229636913","https://openalex.org/W426073433","https://openalex.org/W1486562535","https://openalex.org/W1493964572","https://openalex.org/W1494199306","https://openalex.org/W1495087637","https://openalex.org/W1507341471","https://openalex.org/W1511573467","https://openalex.org/W1514258760","https://openalex.org/W1515703139","https://openalex.org/W1529317038","https://openalex.org/W1541122795","https://openalex.org/W1542681774","https://openalex.org/W1544536455","https://openalex.org/W1546447716","https://openalex.org/W1555634152","https://openalex.org/W1559402073","https://openalex.org/W1567691698","https://openalex.org/W1567738296","https://openalex.org/W1577182889","https://openalex.org/W1586338668","https://openalex.org/W1587443845","https://openalex.org/W1590025737","https://openalex.org/W1595143656","https://openalex.org/W1638365353","https://openalex.org/W1644882639","https://openalex.org/W1829244603","https://openalex.org/W1973162794","https://openalex.org/W1976499711","https://openalex.org/W1977231480","https://openalex.org/W1985039455","https://openalex.org/W2013886348","https://openalex.org/W2022949157","https://openalex.org/W2028560598","https://openalex.org/W2040689508","https://openalex.org/W2046308490","https://openalex.org/W2047274736","https://openalex.org/W2089424085","https://openalex.org/W2089499361","https://openalex.org/W2107481678","https://openalex.org/W2121465152","https://openalex.org/W2132904928","https://openalex.org/W2139608544","https://openalex.org/W2140349269","https://openalex.org/W2150537182","https://openalex.org/W2159119479","https://openalex.org/W2159672367","https://openalex.org/W2168280567","https://openalex.org/W2176300081","https://openalex.org/W2177002043","https://openalex.org/W2337598841","https://openalex.org/W2340452049","https://openalex.org/W2610778765","https://openalex.org/W2786677776","https://openalex.org/W2911865844","https://openalex.org/W2987803397","https://openalex.org/W2991021177","https://openalex.org/W3144368627"],"related_works":["https://openalex.org/W2047274736","https://openalex.org/W434126009","https://openalex.org/W2511516073","https://openalex.org/W7098983653","https://openalex.org/W7098514631","https://openalex.org/W135067352","https://openalex.org/W186947279","https://openalex.org/W2555689934","https://openalex.org/W7097680579","https://openalex.org/W1999702466"],"abstract_inverted_index":{"We":[0,49,80,96,154,295],"discuss":[1],"P#,":[2],"our":[3],"implementation":[4,31],"of":[5,15,43,72,119,140,187,212,234,261,298],"a":[6,12,29,39,69,98,103,107,124,135,170,213,222,226,231,258],"tool":[7,223],"which":[8,88,101,164,204,224,274,307],"allows":[9,165,205,225],"interoperation":[10],"between":[11,112],"concurrent":[13,90],"superset":[14],"the":[16,73,85,117,141,147,179,188,206,210,235,299],"Prolog":[17,24,44,56,74,78,86,91,104,152,247,262,302],"programming":[18],"language":[19,32,82],"and":[20,57,62,181,311],"C#.":[21],"This":[22,264],"enables":[23],"to":[25,45,75,93,132,146,168,176,182,208,228],"be":[26,94,196],"used":[27],"as":[28,309],"native":[30],"for":[33,130],"Microsoft's":[34],".NET":[35],"platform.":[36],"P#":[37,65],"compiles":[38],"linear":[40],"logic":[41],"extension":[42],"C#":[46,53,214,252],"source":[47],"code.":[48],"can":[50],"thus":[51],"create":[52],"objects":[54],"from":[55,68,178],"use":[58,297],"C#'s":[59],"graphical,":[60],"networking":[61],"other":[63,287],"libraries.":[64],"was":[66],"developed":[67],"modified":[70],"port":[71,260],"Java":[76,217],"translator,":[77],"Cafe.":[79,263],"add":[81,97],"constructs":[83],"on":[84,106,116],"side":[87],"allow":[89],"code":[92,253],"written.":[95],"primitive":[99],"predicate":[100],"evaluates":[102],"structure":[105],"newly":[108],"forked":[109],"thread.":[110],"Communication":[111],"threads":[113,131],"is":[114,127,161,200,221,255,265],"based":[115],"unification":[118],"variables":[120],"contained":[121],"in":[122],"such":[123,313],"structure.":[125],"It":[126],"also":[128],"possible":[129],"communicate":[133],"through":[134,149],"globally":[136],"accessible":[137],"table.":[138],"All":[139],"new":[142,150],"features":[143],"are":[144,174,315],"available":[145],"programmer":[148],"built-in":[151],"predicates.":[153],"present":[155],"three":[156],"case":[157],"studies.":[158],"The":[159,172,198,219],"first":[160],"an":[162,201],"application":[163],"several":[166],"users":[167,173],"modify":[169,183],"database.":[171],"able":[175],"disconnect":[177],"database":[180],"their":[184],"own":[185],"copies":[186],"data":[189],"before":[190],"reconnecting.":[191],"On":[192],"reconnecting,":[193],"conflicts":[194],"must":[195],"resolved.":[197],"second":[199],"object-oriented":[202],"assistant,":[203],"user":[207,227],"query":[209],"contents":[211],"namespace":[215],"or":[216,278],"package.":[218],"third":[220],"interact":[229],"with":[230,280],"graphical":[232],"display":[233],"inheritance":[236],"tree.":[237],"Finally,":[238],"we":[239],"optimize":[240],"P#'s":[241],"runtime":[242],"speed":[243],"by":[244,257,267],"translating":[245],"some":[246],"predicates":[248,271,289,306,314],"into":[249],"more":[250],"idiomatic":[251],"than":[254],"produced":[256],"naive":[259],"achieved":[266],"observing":[268],"that":[269,284,301,312],"semi-deterministic":[270,288],"(being":[272],"those":[273],"always":[275],"either":[276],"fail":[277],"succeed":[279],"exactly":[281],"one":[282],"solution)":[283],"only":[285],"call":[286],"enjoy":[290],"relatively":[291],"simple":[292],"control":[293],"flow.":[294],"make":[296],"fact":[300],"programs":[303],"often":[304],"contain":[305],"operate":[308],"functions,":[310],"usually":[316],"semi-deterministic.":[317]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-06-24T00:00:00"}