{"id":"https://openalex.org/W2139393680","doi":"https://doi.org/10.1142/s0218213097000189","title":"Compiling Knowledge-Based Systems to Ada: The PrkAda ProTalk Compiler","display_name":"Compiling Knowledge-Based Systems to Ada: The PrkAda ProTalk Compiler","publication_year":1997,"publication_date":"1997-09-01","ids":{"openalex":"https://openalex.org/W2139393680","doi":"https://doi.org/10.1142/s0218213097000189","mag":"2139393680"},"language":"en","primary_location":{"id":"doi:10.1142/s0218213097000189","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218213097000189","pdf_url":null,"source":{"id":"https://openalex.org/S178780388","display_name":"International Journal of Artificial Intelligence Tools","issn_l":"0218-2130","issn":["0218-2130","1793-6349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Artificial Intelligence Tools","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/A5072035007","display_name":"Robert E. Filman","orcid":"https://orcid.org/0000-0002-9566-5341"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert E. Filman","raw_affiliation_strings":["IntelliCorp, Inc., 1975 El Camino Real, Mountain View, California 94040, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IntelliCorp, Inc., 1975 El Camino Real, Mountain View, California 94040, USA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040859657","display_name":"Paul Morris","orcid":"https://orcid.org/0000-0003-0139-5262"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Paul H. Morris","raw_affiliation_strings":["IntelliCorp, Inc., 1975 El Camino Real, Mountain View, California 94040, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IntelliCorp, Inc., 1975 El Camino Real, Mountain View, California 94040, USA","institution_ids":["https://openalex.org/I1343180700"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I1343180700"],"apc_list":null,"apc_paid":null,"fwci":0.6048,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.78019587,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"06","issue":"03","first_page":"325","last_page":"339"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9988999962806702,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9988999962806702,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9970999956130981,"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.9955000281333923,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9206478595733643},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.8406355977058411},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7885186076164246},{"id":"https://openalex.org/keywords/backtracking","display_name":"Backtracking","score":0.6873050332069397},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.673981785774231},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.455931156873703},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.44489729404449463},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.4150833785533905}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9206478595733643},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8406355977058411},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7885186076164246},{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.6873050332069397},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.673981785774231},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.455931156873703},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.44489729404449463},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.4150833785533905},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218213097000189","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218213097000189","pdf_url":null,"source":{"id":"https://openalex.org/S178780388","display_name":"International Journal of Artificial Intelligence Tools","issn_l":"0218-2130","issn":["0218-2130","1793-6349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Artificial Intelligence Tools","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.6200000047683716,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1524618384","https://openalex.org/W1541540802","https://openalex.org/W1552704885","https://openalex.org/W1586338668","https://openalex.org/W2090922973","https://openalex.org/W2115164315","https://openalex.org/W2116502002","https://openalex.org/W2170076855","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4287686397","https://openalex.org/W3080447568","https://openalex.org/W4378501577","https://openalex.org/W1544967197","https://openalex.org/W4386138535","https://openalex.org/W1984626495","https://openalex.org/W2085021212","https://openalex.org/W2002505081","https://openalex.org/W2083681681","https://openalex.org/W2577630842"],"abstract_inverted_index":{"This":[0],"paper":[1],"describes":[2],"the":[3,6,15,48,58],"implementation":[4,46],"of":[5,14,27,50,62],"ProTalk":[7,24],"compiler":[8],"for":[9],"PrkAda.":[10],"An":[11],"important":[12],"component":[13],"ProKappa":[16],"system":[17],"is":[18],"its":[19],"multi-paradigm,":[20],"mixed-rule/imperative":[21],"language,":[22],"ProTalk.":[23],"combines":[25],"elements":[26],"backtracking":[28],"AI":[29],"languages":[30],"such":[31,37,64],"as":[32,38],"Prolog":[33],"with":[34],"imperative":[35],"constructs":[36],"conditionals,":[39],"iteration,":[40],"assignment,":[41],"and":[42,57],"subprogram":[43],"invocation.":[44],"Our":[45],"illustrates":[47],"use":[49],"generators":[51],"to":[52],"achieve":[53],"a":[54],"Prolog-like":[55],"semantics,":[56],"possibility":[59],"(and":[60],"difficulties)":[61],"employing":[63],"mechanisms":[65],"in":[66],"Ada.":[67]},"counts_by_year":[],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}