{"id":"https://openalex.org/W1824945795","doi":"https://doi.org/10.5555/15763.15764","title":"Forward chaining in Prolog","display_name":"Forward chaining in Prolog","publication_year":1986,"publication_date":"1986-11-01","ids":{"openalex":"https://openalex.org/W1824945795","doi":"https://doi.org/10.5555/15763.15764","mag":"1824945795"},"language":"en","primary_location":{"id":"mag:1824945795","doi":null,"is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=15764","pdf_url":null,"source":{"id":"https://openalex.org/S4306501171","display_name":"AI Expert archive","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"AI Expert archive","raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5084104585","display_name":"Dennis Merritt","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Dennis Merritt","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5084104585"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.2351,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.84077892,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"1","issue":"3","first_page":"30","last_page":"42"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.7724999785423279,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.7724999785423279,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.18150000274181366,"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/T10126","display_name":"Logic, programming, and type systems","score":0.025100000202655792,"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/forward-chaining","display_name":"forward chaining","score":0.9860000014305115},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.9750000238418579},{"id":"https://openalex.org/keywords/rule-based-systems","display_name":"rule-based systems","score":0.6029999852180481},{"id":"https://openalex.org/keywords/inference","display_name":"inference","score":0.3050000071525574},{"id":"https://openalex.org/keywords/logic-programming","display_name":"logic programming","score":0.6010000109672546}],"concepts":[{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.5982553362846375},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5953475832939148},{"id":"https://openalex.org/C129916263","wikidata":"https://www.wikidata.org/wiki/Q1141183","display_name":"Backward chaining","level":4,"score":0.5482904314994812},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5400157570838928},{"id":"https://openalex.org/C142614401","wikidata":"https://www.wikidata.org/wiki/Q777433","display_name":"Forward chaining","level":3,"score":0.45654770731925964},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19054877758026123},{"id":"https://openalex.org/C46743427","wikidata":"https://www.wikidata.org/wiki/Q1341685","display_name":"Inference engine","level":3,"score":0.16666558384895325},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.13199687004089355}],"mesh":[],"locations_count":2,"locations":[{"id":"mag:1824945795","doi":null,"is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=15764","pdf_url":null,"source":{"id":"https://openalex.org/S4306501171","display_name":"AI Expert archive","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"AI Expert archive","raw_type":null},{"id":"mag:3012378487","doi":"https://doi.org/10.5555/15763.15764","is_oa":false,"landing_page_url":"https://dl.acm.org/doi/10.5555/15763.15764","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W817309698","https://openalex.org/W116065029","https://openalex.org/W2253902314","https://openalex.org/W2475276579","https://openalex.org/W2284682235","https://openalex.org/W2810512646","https://openalex.org/W2483351701","https://openalex.org/W2334941641","https://openalex.org/W150619568","https://openalex.org/W2465180059"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}