{"id":"https://openalex.org/W2044879749","doi":"https://doi.org/10.1002/scj.4690190104","title":"Unification parallelism for prolog processing","display_name":"Unification parallelism for prolog processing","publication_year":1988,"publication_date":"1988-01-01","ids":{"openalex":"https://openalex.org/W2044879749","doi":"https://doi.org/10.1002/scj.4690190104","mag":"2044879749"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690190104","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690190104","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"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":"Systems and Computers in Japan","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/A5008088495","display_name":"Masayuki Inagawa","orcid":null},"institutions":[{"id":"https://openalex.org/I207399273","display_name":"Utsunomiya University","ror":"https://ror.org/05bx1gz93","country_code":"JP","type":"education","lineage":["https://openalex.org/I207399273"]},{"id":"https://openalex.org/I2251713219","display_name":"NTT (Japan)","ror":"https://ror.org/00berct97","country_code":"JP","type":"company","lineage":["https://openalex.org/I2251713219"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Masayuki Inagawa","raw_affiliation_strings":["Faculty of Engineering, Utsunomiya University, Utsunomiya, Japan 321","Inagawa Masayuki received B.E. (1984), and M.E. (1986) from Department of Information Science, Utsunomiya University. Since 1986, he has been with Nippon Telephone and Telegraph Company (NTT). His interests include relational database systems and Prolog processing"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Utsunomiya University, Utsunomiya, Japan 321","institution_ids":["https://openalex.org/I207399273"]},{"raw_affiliation_string":"Inagawa Masayuki received B.E. (1984), and M.E. (1986) from Department of Information Science, Utsunomiya University. Since 1986, he has been with Nippon Telephone and Telegraph Company (NTT). His interests include relational database systems and Prolog processing","institution_ids":["https://openalex.org/I2251713219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108566424","display_name":"Takanobu Baba","orcid":null},"institutions":[{"id":"https://openalex.org/I207399273","display_name":"Utsunomiya University","ror":"https://ror.org/05bx1gz93","country_code":"JP","type":"education","lineage":["https://openalex.org/I207399273"]},{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["JP","US"],"is_corresponding":false,"raw_author_name":"Takanobu Baba","raw_affiliation_strings":["Faculty of Engineering, Utsunomiya University, Utsunomiya, Japan 321","Takanobu Baba received B.E. (1970), M.E. (1972), and Dr. Eng. (1978) from Kyoto University. Since 1979 he has been an Associate Professor with the Department of Information Science, Utsunomiya University, Utsunomiya, Japan. From 1982 to 1983 he was a Visiting Professor at the University of Maryland, College Park, Maryland. His interests include computer architecture, microprogramming, and data base systems. Author of Microprogramming, from Shoukoudou, Japan. Member, I.E.E.E.; and Inf. Proc. Soc. Japan","Takanobu Baba received B.E. (1970), M.E. (1972), and Dr. Eng. (1978) from Kyoto University. Since 1979 he has been an Associate Professor with the Department of Information Science, Utsunomiya University, Utsunomiya, Japan. From 1982 to 1983 he was a Visiting Professor at the University of Maryland, College Park, Maryland. His interests include computer architecture, microprogramming, and data base systems. Author of Microprogramming, from Shoukoudou, Japan. Member, I.E.E.E","Inf. Proc. Soc. Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Utsunomiya University, Utsunomiya, Japan 321","institution_ids":["https://openalex.org/I207399273"]},{"raw_affiliation_string":"Takanobu Baba received B.E. (1970), M.E. (1972), and Dr. Eng. (1978) from Kyoto University. Since 1979 he has been an Associate Professor with the Department of Information Science, Utsunomiya University, Utsunomiya, Japan. From 1982 to 1983 he was a Visiting Professor at the University of Maryland, College Park, Maryland. His interests include computer architecture, microprogramming, and data base systems. Author of Microprogramming, from Shoukoudou, Japan. Member, I.E.E.E.; and Inf. Proc. Soc. Japan","institution_ids":["https://openalex.org/I207399273","https://openalex.org/I66946132"]},{"raw_affiliation_string":"Takanobu Baba received B.E. (1970), M.E. (1972), and Dr. Eng. (1978) from Kyoto University. Since 1979 he has been an Associate Professor with the Department of Information Science, Utsunomiya University, Utsunomiya, Japan. From 1982 to 1983 he was a Visiting Professor at the University of Maryland, College Park, Maryland. His interests include computer architecture, microprogramming, and data base systems. Author of Microprogramming, from Shoukoudou, Japan. Member, I.E.E.E","institution_ids":["https://openalex.org/I207399273","https://openalex.org/I66946132"]},{"raw_affiliation_string":"Inf. Proc. Soc. Japan","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113872286","display_name":"Katsuhiro Yamazaki","orcid":null},"institutions":[{"id":"https://openalex.org/I207399273","display_name":"Utsunomiya University","ror":"https://ror.org/05bx1gz93","country_code":"JP","type":"education","lineage":["https://openalex.org/I207399273"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Katsuhiro Yamazaki","raw_affiliation_strings":["Faculty of Engineering, Utsunomiya University, Utsunomiya, Japan 321","Ken Ishikawa received B.E. (1972) from Utsunomiya University. Since 1974 he has been He is presently Associate Professor at Utsunomiya University. with the Faculty of Education, Utsunomiya University. In 1985, he entered the graduate school of Oregon University (U.S.). His interests include application of computer science technologies to education. Member, Inf. Proc. SOC. Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Utsunomiya University, Utsunomiya, Japan 321","institution_ids":["https://openalex.org/I207399273"]},{"raw_affiliation_string":"Ken Ishikawa received B.E. (1972) from Utsunomiya University. Since 1974 he has been He is presently Associate Professor at Utsunomiya University. with the Faculty of Education, Utsunomiya University. In 1985, he entered the graduate school of Oregon University (U.S.). His interests include application of computer science technologies to education. Member, Inf. Proc. SOC. Japan","institution_ids":["https://openalex.org/I207399273"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109350669","display_name":"Kenzo Okuda","orcid":null},"institutions":[{"id":"https://openalex.org/I207399273","display_name":"Utsunomiya University","ror":"https://ror.org/05bx1gz93","country_code":"JP","type":"education","lineage":["https://openalex.org/I207399273"]},{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kenzo Okuda","raw_affiliation_strings":["Faculty of Engineering, Utsunomiya University, Utsunomiya, Japan 321","Katsuhiro Yamazaki received B.E. (1976), M.E. (19781, and Dr. Eng. (1986) from Kyoto He has been engaged in research on computer architecture, University. Since 1980 he has been a Research Associate with the Department of Information Science, Utsunomiya University. and microprogramming. Member, Inf. Proc. SOC. Japan; and ACM","Katsuhiro Yamazaki received B.E. (1976), M.E. (19781, and Dr. Eng. (1986) from Kyoto He has been engaged in research on computer architecture, University. Since 1980 he has been a Research Associate with the Department of Information Science, Utsunomiya University. and microprogramming. Member, Inf. Proc. SOC. Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Utsunomiya University, Utsunomiya, Japan 321","institution_ids":["https://openalex.org/I207399273"]},{"raw_affiliation_string":"Katsuhiro Yamazaki received B.E. (1976), M.E. (19781, and Dr. Eng. (1986) from Kyoto He has been engaged in research on computer architecture, University. Since 1980 he has been a Research Associate with the Department of Information Science, Utsunomiya University. and microprogramming. Member, Inf. Proc. SOC. Japan; and ACM","institution_ids":["https://openalex.org/I22299242"]},{"raw_affiliation_string":"Katsuhiro Yamazaki received B.E. (1976), M.E. (19781, and Dr. Eng. (1986) from Kyoto He has been engaged in research on computer architecture, University. Since 1980 he has been a Research Associate with the Department of Information Science, Utsunomiya University. and microprogramming. Member, Inf. Proc. SOC. Japan","institution_ids":["https://openalex.org/I207399273"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036200662","display_name":"Ken Ishikawa","orcid":"https://orcid.org/0000-0003-4645-4422"},"institutions":[{"id":"https://openalex.org/I207399273","display_name":"Utsunomiya University","ror":"https://ror.org/05bx1gz93","country_code":"JP","type":"education","lineage":["https://openalex.org/I207399273"]},{"id":"https://openalex.org/I65143321","display_name":"Hitachi (Japan)","ror":"https://ror.org/02exqgm79","country_code":"JP","type":"company","lineage":["https://openalex.org/I65143321"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ken Ishikawa","raw_affiliation_strings":["Faculty of Education, Utsunomiya University, Utsunomiya, Japan 321","Kenzo Okuda received B.E. (1952), and Dr. Eng. (1963) from Waseda University, Japan. From 1952 to 1979 he was a member of Hitachi Research Laboratory, Hitachi Ltd., and was engaged mainly in research on electric power system engineering and control computer development. Since 1979 he has been a Professor of Information Science at Utsunorniya University, Utsunomiya, Japan, His research interests include computer architecture, database systems, numerical analysis, and artificial intelligence. Member, Inf. Proc. Japan, and I.E.E.E"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Education, Utsunomiya University, Utsunomiya, Japan 321","institution_ids":["https://openalex.org/I207399273"]},{"raw_affiliation_string":"Kenzo Okuda received B.E. (1952), and Dr. Eng. (1963) from Waseda University, Japan. From 1952 to 1979 he was a member of Hitachi Research Laboratory, Hitachi Ltd., and was engaged mainly in research on electric power system engineering and control computer development. Since 1979 he has been a Professor of Information Science at Utsunorniya University, Utsunomiya, Japan, His research interests include computer architecture, database systems, numerical analysis, and artificial intelligence. Member, Inf. Proc. Japan, and I.E.E.E","institution_ids":["https://openalex.org/I65143321"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.9128,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.91594583,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":"19","issue":"1","first_page":"37","last_page":"46"},"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.9987999796867371,"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.9987999796867371,"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.9973000288009644,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9970999956130981,"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/unification","display_name":"Unification","score":0.8801449537277222},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7388812303543091},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.7122935652732849},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.5216848850250244},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5158857107162476},{"id":"https://openalex.org/keywords/parallelism","display_name":"Parallelism (grammar)","score":0.5049243569374084},{"id":"https://openalex.org/keywords/parallel-processing","display_name":"Parallel processing","score":0.4928024113178253},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.4864077568054199},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.48437198996543884},{"id":"https://openalex.org/keywords/cluster-analysis","display_name":"Cluster analysis","score":0.42643940448760986},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.41147178411483765},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.3558160066604614},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32170259952545166},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.069268137216568}],"concepts":[{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.8801449537277222},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7388812303543091},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.7122935652732849},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.5216848850250244},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5158857107162476},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.5049243569374084},{"id":"https://openalex.org/C106515295","wikidata":"https://www.wikidata.org/wiki/Q26806595","display_name":"Parallel processing","level":2,"score":0.4928024113178253},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.4864077568054199},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.48437198996543884},{"id":"https://openalex.org/C73555534","wikidata":"https://www.wikidata.org/wiki/Q622825","display_name":"Cluster analysis","level":2,"score":0.42643940448760986},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.41147178411483765},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.3558160066604614},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32170259952545166},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.069268137216568}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690190104","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690190104","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"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":"Systems and Computers in Japan","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":5,"referenced_works":["https://openalex.org/W67150176","https://openalex.org/W2071055655","https://openalex.org/W2084852379","https://openalex.org/W4234709494","https://openalex.org/W6668306882"],"related_works":["https://openalex.org/W1575115589","https://openalex.org/W2166718330","https://openalex.org/W2798007028","https://openalex.org/W2268046897","https://openalex.org/W2119455122","https://openalex.org/W2973364623","https://openalex.org/W1508264512","https://openalex.org/W1628845727","https://openalex.org/W2212452484","https://openalex.org/W1926811146"],"abstract_inverted_index":{"Abstract":[0],"The":[1,141],"unification":[2,31,45,78,110,123,169],"is":[3,33,40,179,234],"a":[4,36,43,64,68,134,138,182],"basic":[5],"component":[6],"of":[7,22,29,60,91,117,149,155,185,200,222,230,238],"Prolog":[8,135],"processing.":[9,240],"However,":[10],"its":[11],"parallel":[12,44,239],"processing":[13,79,221],"has":[14],"not":[15],"been":[16],"well":[17],"studied":[18],"because":[19],"the":[20,27,30,53,58,71,89,95,100,104,109,115,118,122,127,147,153,159,168,177,188,192,197,220],"number":[21,90,154,184],"arguments,":[23],"which":[24],"corresponds":[25],"to":[26,80],"degree":[28,59],"parallelism,":[32],"small,":[34],"and":[35,70,98,112,132,164,176,218,233],"consistency":[37,92,105,193],"check":[38,106,194],"operation":[39,199],"necessary":[41],"after":[42,162],"operation.":[46],"On":[47],"these":[48],"issues,":[49],"we":[50,129],"have":[51,130],"implemented":[52],"following":[54],"ideas:":[55],"(1)":[56,146,167],"enhancing":[57],"parallelism":[61,170],"by":[62,94,102],"decomposing":[63],"compound":[65,150],"term":[66],"into":[67,108],"functor":[69],"arguments":[72,156],"at":[73,85,181],"compile\u2010time;":[74],"(2)":[75,187],"allocating":[76],"decomposed":[77],"multiple":[81],"processor":[82,136],"units":[83],"(PUs)":[84],"run\u2010time;":[86],"(3)":[87,196],"decreasing":[88],"checks":[93],"compile\u2010time":[96,189],"clustering":[97,190],"reducing":[99],"overhead":[101],"embedding":[103],"operations":[107,116],"processing;":[111],"(4)":[113,219],"stopping":[114],"other":[119],"processors":[120],"if":[121],"fails.":[124],"To":[125],"clarify":[126],"effect,":[128],"developed":[131],"evaluated":[133],"on":[137,158],"multiprocessor":[139],"system.":[140],"results":[142],"show":[143],"that":[144,165],"statistically:":[145],"decomposition":[148],"terms":[151],"makes":[152,191],"3.2":[157],"average":[160],"even":[161],"clustering,":[163],"dynamically,":[166],"performs":[171],"41":[172],"percent":[173,209,212,229],"speed":[174],"up,":[175],"effect":[178],"evident":[180],"small":[183],"processors;":[186],"unnecessary;":[195],"stop":[198],"processors,":[201],"running":[202],"in":[203],"parallel,":[204],"attains":[205],"0.5":[206],"\u2013":[207,227],"6":[208],"(and":[210],"10":[211],"for":[213],"some":[214],"problems)":[215],"performance":[216],"improvement;":[217],"clause":[223],"head":[224],"occupies":[225],"60":[226],"70":[228],"dynamic":[231],"microsteps":[232],"an":[235],"important":[236],"object":[237]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}