{"id":"https://openalex.org/W40464863","doi":"https://doi.org/10.1145/294828.1067912","title":"Book review: Prolog: The Standard Reference Manual By E Deransart, A. Ed-Dbali, and L. Cervoni (Springer-Verlag, 1996)","display_name":"Book review: Prolog: The Standard Reference Manual By E Deransart, A. Ed-Dbali, and L. Cervoni (Springer-Verlag, 1996)","publication_year":1998,"publication_date":"1998-06-01","ids":{"openalex":"https://openalex.org/W40464863","doi":"https://doi.org/10.1145/294828.1067912","mag":"40464863"},"language":"en","primary_location":{"id":"doi:10.1145/294828.1067912","is_oa":false,"landing_page_url":"https://doi.org/10.1145/294828.1067912","pdf_url":null,"source":{"id":"https://openalex.org/S4210224649","display_name":"ACM SIGART Bulletin","issn_l":"0163-5719","issn":["0163-5719","2331-1673"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGART Bulletin","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/A5109046426","display_name":"J. P. E. Hodgson","orcid":null},"institutions":[{"id":"https://openalex.org/I51077184","display_name":"Saint Joseph's University","ror":"https://ror.org/05q87sg56","country_code":"US","type":"education","lineage":["https://openalex.org/I51077184"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"J. P.E. Hodgson","raw_affiliation_strings":["Saint Joseph's University Philadelphia, PA 19131 jhodgson@sjuphil.sju.edu","Saint Joseph's University Philadelphia, PA 19131 jhodgson@sjuphil.sju.edu#TAB#"],"affiliations":[{"raw_affiliation_string":"Saint Joseph's University Philadelphia, PA 19131 jhodgson@sjuphil.sju.edu","institution_ids":["https://openalex.org/I51077184"]},{"raw_affiliation_string":"Saint Joseph's University Philadelphia, PA 19131 jhodgson@sjuphil.sju.edu#TAB#","institution_ids":["https://openalex.org/I51077184"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5109046426"],"corresponding_institution_ids":["https://openalex.org/I51077184"],"apc_list":null,"apc_paid":null,"fwci":0.5353,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.70952869,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"1","first_page":"44","last_page":"45"},"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.8532000184059143,"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.8532000184059143,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.788100004196167,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.7034000158309937,"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/prolog","display_name":"Prolog","score":0.9153538346290588},{"id":"https://openalex.org/keywords/standardization","display_name":"Standardization","score":0.732290506362915},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7164342999458313},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.714644193649292},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5204823017120361},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5071256160736084},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.47958651185035706},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.34785139560699463},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.26867789030075073},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08642846345901489}],"concepts":[{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.9153538346290588},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.732290506362915},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7164342999458313},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.714644193649292},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5204823017120361},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5071256160736084},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.47958651185035706},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34785139560699463},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26867789030075073},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08642846345901489}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/294828.1067912","is_oa":false,"landing_page_url":"https://doi.org/10.1145/294828.1067912","pdf_url":null,"source":{"id":"https://openalex.org/S4210224649","display_name":"ACM SIGART Bulletin","issn_l":"0163-5719","issn":["0163-5719","2331-1673"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGART Bulletin","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6800000071525574,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W1586338668","https://openalex.org/W4239852057"],"related_works":["https://openalex.org/W1999702466","https://openalex.org/W2140386967","https://openalex.org/W4248067243","https://openalex.org/W4246503451","https://openalex.org/W4205997139","https://openalex.org/W1534488117","https://openalex.org/W4206249920","https://openalex.org/W1485791179","https://openalex.org/W1560895966","https://openalex.org/W4255908260"],"abstract_inverted_index":{"The":[0,100],"ISO":[1],"Prolog":[2,64,130],"standard":[3],"took":[4,55],"10":[5],"ars":[6],"to":[7,28,62,67,96,104,123],"produce.":[8],"For":[9],"a":[10,25,39,75,125],"language":[11,70],"II":[12],"that,":[13],"on":[14,30],"its":[15],"face,":[16],"is":[17,35,85,122],"both":[18],"simple":[19],"and":[20],"logical":[21],"this":[22,33,84,119],"seems":[23,95],"like":[24],"long":[26],"time":[27],"spend":[29],"standardization.":[31],"While":[32],"book":[34,120],"in":[36],"no":[37],"sense":[38],"history":[40],"of":[41,44,78,87,107,128],"the":[42,53,69,79,112,129],"standardization":[43],"Prolog,":[45],"it":[46,94],"does":[47],"provide":[48,124],"some":[49],"insight":[50],"into":[51],"why":[52],"process":[54],"so":[56],"long.":[57],"Anyone":[58],"who":[59],"has":[60],"tried":[61],"learn":[63],"knows":[65],"that":[66,118],"use":[68],"effectively":[71],"one":[72],"must":[73],"have":[74],"sound":[76],"understanding":[77],"computational":[80,113],"model.":[81,114],"(Of":[82],"course,":[83],"true":[86],"any":[88],"programming":[89],"language,":[90],"but":[91],"for":[92,109],"Protog":[93],"be":[97],"especially":[98],"so.)":[99],"standards":[101],"group":[102],"was":[103],"find":[105],"plenty":[106],"room":[108],"dispute":[110],"over":[111],"A":[115],"major":[116],"service":[117],"performs":[121],"clear":[126],"description":[127],"inference":[131],"engine.":[132]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}