{"id":"https://openalex.org/W2027565530","doi":"https://doi.org/10.1002/spe.4380190808","title":"Record manipulation in prolog","display_name":"Record manipulation in prolog","publication_year":1989,"publication_date":"1989-08-01","ids":{"openalex":"https://openalex.org/W2027565530","doi":"https://doi.org/10.1002/spe.4380190808","mag":"2027565530"},"language":"en","primary_location":{"id":"doi:10.1002/spe.4380190808","is_oa":false,"landing_page_url":"https://doi.org/10.1002/spe.4380190808","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020155310","display_name":"Jean Vaucher","orcid":null},"institutions":[{"id":"https://openalex.org/I70931966","display_name":"Universit\u00e9 de Montr\u00e9al","ror":"https://ror.org/0161xgx34","country_code":"CA","type":"education","lineage":["https://openalex.org/I70931966"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Jean G. Vaucher","raw_affiliation_strings":["De\u0301partement d'informatique et R.O., Universite\u0301 de Montre\u0301al, CP 6128, Station \u201cA\u201d, Montre\u0301al, Canada H3C 3J7","D\u00e9partement d'informatique et R.O., Universit\u00e9 de Montr\u00e9al, CP 6128, Station \u201cA\u201d, Montr\u00e9al, Canada H3C 3J7"],"affiliations":[{"raw_affiliation_string":"De\u0301partement d'informatique et R.O., Universite\u0301 de Montre\u0301al, CP 6128, Station \u201cA\u201d, Montre\u0301al, Canada H3C 3J7","institution_ids":["https://openalex.org/I70931966"]},{"raw_affiliation_string":"D\u00e9partement d'informatique et R.O., Universit\u00e9 de Montr\u00e9al, CP 6128, Station \u201cA\u201d, Montr\u00e9al, Canada H3C 3J7","institution_ids":["https://openalex.org/I70931966"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5020155310"],"corresponding_institution_ids":["https://openalex.org/I70931966"],"apc_list":{"value":4220,"currency":"USD","value_usd":4220},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13422779,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"19","issue":"8","first_page":"801","last_page":"807"},"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.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9993000030517578,"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/T10142","display_name":"Formal Methods in Verification","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/prolog","display_name":"Prolog","score":0.8743896484375},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7988900542259216},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7547001838684082},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6081193685531616},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.5012736320495605},{"id":"https://openalex.org/keywords/programming-style","display_name":"Programming style","score":0.4913865625858307},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.49108004570007324},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.4109804332256317},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33001643419265747},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12144917249679565}],"concepts":[{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.8743896484375},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7988900542259216},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7547001838684082},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6081193685531616},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.5012736320495605},{"id":"https://openalex.org/C2776245389","wikidata":"https://www.wikidata.org/wiki/Q962139","display_name":"Programming style","level":2,"score":0.4913865625858307},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.49108004570007324},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.4109804332256317},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33001643419265747},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12144917249679565}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/spe.4380190808","is_oa":false,"landing_page_url":"https://doi.org/10.1002/spe.4380190808","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W42785266","https://openalex.org/W1504837622","https://openalex.org/W1523712082","https://openalex.org/W1586338668","https://openalex.org/W2057219663","https://openalex.org/W2092755502","https://openalex.org/W2508859408"],"related_works":["https://openalex.org/W1999702466","https://openalex.org/W1481700938","https://openalex.org/W2741053223","https://openalex.org/W1493824320","https://openalex.org/W592311106","https://openalex.org/W4319165641","https://openalex.org/W2972366161","https://openalex.org/W2584604659","https://openalex.org/W1608766964","https://openalex.org/W2525470665"],"abstract_inverted_index":{"Abstract":[0],"Prolog":[1,16,43,176],"is":[2,61,79,110],"a":[3,62,115,122,162],"relatively":[4],"new":[5],"programming":[6,126],"language":[7],"that":[8,31,67,80,105,120],"has":[9,44],"proved":[10],"excellent":[11],"for":[12,21,34,128],"symbolic":[13],"computation.":[14],"However,":[15],"was":[17],"not":[18],"specifically":[19],"designed":[20],"industrial":[22],"scale":[23],"work":[24],"and":[25,37,48,86,124,143,147,159],"it":[26],"lacks":[27],"some":[28],"standard":[29,63,136],"features":[30],"are":[32,57,167],"useful":[33],"reading,":[35],"maintaining":[36],"debugging":[38],"large":[39],"programs.":[40,72],"In":[41],"particular,":[42],"no":[45],"record":[46,60,132,145],"mechanism,":[47],"programs":[49],"often":[50],"require":[51],"major":[52],"changes":[53],"when":[54],"data":[55,64,81,102,133],"structures":[56,82,134],"modified.":[58],"The":[59,73,138],"abstraction":[65],"concept":[66],"improves":[68],"the":[69,95,106,129,174],"robustness":[70],"of":[71,97,108,117,131,151],"main":[74],"advantage":[75],"in":[76,135,161],"using":[77],"records":[78,152,160],"can":[83],"be":[84],"modified":[85],"extended":[87],"with":[88,169],"minimal":[89,170],"repercussion":[90],"to":[91,100],"program":[92],"code.":[93],"Furthermore,":[94],"use":[96],"significant":[98],"names":[99],"access":[101],"fields":[103],"means":[104],"intent":[107],"code":[109],"generally":[111],"clearer.":[112],"We":[113,154],"present":[114],"set":[116],"primitive":[118],"operators":[119],"support":[121],"readable":[123],"robust":[125],"style":[127],"manipulation":[130],"Prolog.":[137],"proposal":[139],"covers":[140],"both":[141],"simple":[142],"imbricated":[144],"types":[146],"handles":[148],"selective":[149],"modification":[150],"cleanly.":[153],"also":[155],"treat":[156],"property":[157],"lists":[158],"uniform":[163],"way.":[164],"These":[165],"benefits":[166],"achieved":[168],"overhead":[171],"while":[172],"retaining":[173],"traditional":[175],"non\u2010deterministic":[177],"style.":[178]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}