{"id":"https://openalex.org/W1841983131","doi":"https://doi.org/10.1109/iccl.1990.63779","title":"Implementation and evaluation of dynamic predicates on the sequential inference machine CHI","display_name":"Implementation and evaluation of dynamic predicates on the sequential inference machine CHI","publication_year":2002,"publication_date":"2002-12-04","ids":{"openalex":"https://openalex.org/W1841983131","doi":"https://doi.org/10.1109/iccl.1990.63779","mag":"1841983131"},"language":"en","primary_location":{"id":"doi:10.1109/iccl.1990.63779","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccl.1990.63779","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 1990 International Conference on Computer Languages","raw_type":"proceedings-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/A5060340323","display_name":"Atsushi Atarashi","orcid":null},"institutions":[{"id":"https://openalex.org/I118347220","display_name":"NEC (Japan)","ror":"https://ror.org/04jndar25","country_code":"JP","type":"company","lineage":["https://openalex.org/I118347220"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"A. Atarashi","raw_affiliation_strings":["C&C Systems Research Laboratory, NEC Corporation Limited, Kawasaki, Japan","[NEC Corp., Kawasaki, Japan]"],"affiliations":[{"raw_affiliation_string":"C&C Systems Research Laboratory, NEC Corporation Limited, Kawasaki, Japan","institution_ids":["https://openalex.org/I118347220"]},{"raw_affiliation_string":"[NEC Corp., Kawasaki, Japan]","institution_ids":["https://openalex.org/I118347220"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080907178","display_name":"Akihiko Konagaya","orcid":"https://orcid.org/0000-0001-6846-7449"},"institutions":[{"id":"https://openalex.org/I118347220","display_name":"NEC (Japan)","ror":"https://ror.org/04jndar25","country_code":"JP","type":"company","lineage":["https://openalex.org/I118347220"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"A. Konagaya","raw_affiliation_strings":["C&C Systems Research Laboratory, NEC Corporation Limited, Kawasaki, Japan","[NEC Corp., Kawasaki, Japan]"],"affiliations":[{"raw_affiliation_string":"C&C Systems Research Laboratory, NEC Corporation Limited, Kawasaki, Japan","institution_ids":["https://openalex.org/I118347220"]},{"raw_affiliation_string":"[NEC Corp., Kawasaki, Japan]","institution_ids":["https://openalex.org/I118347220"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072643235","display_name":"Shinichi Habata","orcid":null},"institutions":[{"id":"https://openalex.org/I118347220","display_name":"NEC (Japan)","ror":"https://ror.org/04jndar25","country_code":"JP","type":"company","lineage":["https://openalex.org/I118347220"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"S. Habata","raw_affiliation_strings":["C&C Systems Research Laboratory, NEC Corporation Limited, Kawasaki, Japan","[NEC Corp., Kawasaki, Japan]"],"affiliations":[{"raw_affiliation_string":"C&C Systems Research Laboratory, NEC Corporation Limited, Kawasaki, Japan","institution_ids":["https://openalex.org/I118347220"]},{"raw_affiliation_string":"[NEC Corp., Kawasaki, Japan]","institution_ids":["https://openalex.org/I118347220"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084950414","display_name":"Minoru Yokota","orcid":null},"institutions":[{"id":"https://openalex.org/I118347220","display_name":"NEC (Japan)","ror":"https://ror.org/04jndar25","country_code":"JP","type":"company","lineage":["https://openalex.org/I118347220"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"M. Yokota","raw_affiliation_strings":["C&C Systems Research Laboratory, NEC Corporation Limited, Kawasaki, Japan","[NEC Corp., Kawasaki, Japan]"],"affiliations":[{"raw_affiliation_string":"C&C Systems Research Laboratory, NEC Corporation Limited, Kawasaki, Japan","institution_ids":["https://openalex.org/I118347220"]},{"raw_affiliation_string":"[NEC Corp., Kawasaki, Japan]","institution_ids":["https://openalex.org/I118347220"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5060340323"],"corresponding_institution_ids":["https://openalex.org/I118347220"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08228747,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"236","last_page":"244"},"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.9995999932289124,"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.9995999932289124,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9939000010490417,"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/T10260","display_name":"Software Engineering Research","score":0.9865000247955322,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.8959304094314575},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8701587915420532},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.7424734830856323},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7032325267791748},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6011678576469421},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.44279414415359497},{"id":"https://openalex.org/keywords/dynamic-compilation","display_name":"Dynamic compilation","score":0.4233812093734741},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24577632546424866},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.06654280424118042}],"concepts":[{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.8959304094314575},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8701587915420532},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.7424734830856323},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7032325267791748},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6011678576469421},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.44279414415359497},{"id":"https://openalex.org/C8767382","wikidata":"https://www.wikidata.org/wiki/Q1058454","display_name":"Dynamic compilation","level":3,"score":0.4233812093734741},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24577632546424866},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.06654280424118042}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccl.1990.63779","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccl.1990.63779","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 1990 International Conference on Computer Languages","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W1481611104","https://openalex.org/W2005227326","https://openalex.org/W2005853811"],"related_works":["https://openalex.org/W1575115589","https://openalex.org/W2108333633","https://openalex.org/W4210725620","https://openalex.org/W2496036477","https://openalex.org/W305469418","https://openalex.org/W1972969106","https://openalex.org/W2037995721","https://openalex.org/W1882153261","https://openalex.org/W2308768789","https://openalex.org/W1912647288"],"abstract_inverted_index":{"The":[0,15],"dynamic":[1,11,65,73,91,121,129,144],"clause":[2,92,104,111,130],"compilation":[3,93,131],"technique":[4,19,118],"which":[5],"is":[6,13,34,75,105,112],"used":[7],"to":[8,22,47,107,138],"implement":[9],"Prolog's":[10,108],"predicates":[12,37,74],"described.":[14],"effectiveness":[16],"of":[17,59,85],"the":[18,29,48,60,87,90,110,133],"when":[20],"applied":[21],"a":[23,103],"practical":[24,42],"application":[25,44,50,80,134],"program":[26,51,125],"executed":[27],"on":[28,98],"sequential":[30],"inference":[31],"machine":[32,115],"CHI":[33],"reported.":[35],"Dynamic":[36],"are":[38],"indispensable":[39],"in":[40,64],"writing":[41],"Prolog":[43,79],"programs.":[45],"According":[46],"authors'":[49],"analysis,":[52],"many":[53],"applications":[54],"spend":[55],"more":[56],"than":[57,142],"half":[58],"total":[61],"execution":[62,135],"time":[63],"predicate":[66,122,145],"execution.":[67,123],"This":[68,117],"means":[69],"that":[70,128],"speeding":[71],"up":[72,137],"essential":[76],"for":[77],"improving":[78],"performance.":[81],"From":[82],"this":[83],"point":[84],"view,":[86],"authors":[88],"introduced":[89],"technique,":[94],"and":[95],"implemented":[96],"it":[97],"CHI.":[99],"As":[100],"soon":[101],"as":[102],"added":[106],"database,":[109],"compiled":[113],"into":[114],"instructions.":[116],"greatly":[119],"accelerates":[120,132],"Application":[124],"analysis":[126],"shows":[127],"speed":[136],"5":[139],"times":[140],"faster":[141],"conventional":[143],"implementation.<":[146],"<ETX":[147],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[148],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">&gt;</ETX>":[149]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}