{"id":"https://openalex.org/W4244716535","doi":"https://doi.org/10.1093/oso/9780198537922.003.0010","title":"Meta-Programming in Logic Programming","display_name":"Meta-Programming in Logic Programming","publication_year":1998,"publication_date":"1998-01-08","ids":{"openalex":"https://openalex.org/W4244716535","doi":"https://doi.org/10.1093/oso/9780198537922.003.0010","mag":"1608059426"},"language":"en","primary_location":{"id":"doi:10.1093/oso/9780198537922.003.0010","doi":"https://doi.org/10.1093/oso/9780198537922.003.0010","is_oa":false,"landing_page_url":"https://doi.org/10.1093/oso/9780198537922.003.0010","pdf_url":null,"source":{"id":"https://openalex.org/S4306463708","display_name":"Oxford University Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming","raw_type":"book-chapter"},"volume":{"id":"https://openalex.org/W4241560429","display_name":"Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming"},"type":"book-chapter","is_traditional":true,"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/A5032479431","display_name":"P. M. Hill","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"P. M. Hill","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5087533956","display_name":"J. Gallagher","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"J. Gallagher","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":24.5396,"has_fulltext":false,"cited_by_count":107,"citation_normalized_percentile":{"value":0.99559859,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":87,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"421","last_page":"498"},"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.6435999870300293,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.6435999870300293,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.33149999380111694,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.002400000113993883,"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/metaprogramming","display_name":"metaprogramming","score":0.9940000176429749},{"id":"https://openalex.org/keywords/logic-programming","display_name":"logic programming","score":0.953000009059906},{"id":"https://openalex.org/keywords/meta-reasoning","display_name":"meta-reasoning","score":0.8199999928474426},{"id":"https://openalex.org/keywords/self-application","display_name":"self-application","score":0.9729999899864197},{"id":"https://openalex.org/keywords/declarative-semantics","display_name":"declarative semantics","score":0.6359999775886536},{"id":"https://openalex.org/keywords/procedural-semantics","display_name":"procedural semantics","score":0.9909999966621399},{"id":"https://openalex.org/keywords/program-specialization","display_name":"program specialization","score":0.5619999766349792},{"id":"https://openalex.org/keywords/metalogic","display_name":"metalogic","score":0.7670000195503235},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"first-order logic","score":0.7870000004768372}],"concepts":[{"id":"https://openalex.org/C35390924","wikidata":"https://www.wikidata.org/wiki/Q661075","display_name":"Metaprogramming","level":2,"score":0.8153927326202393},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7705738544464111},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7597805261611938},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6729241013526917},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.5355809330940247},{"id":"https://openalex.org/C120558287","wikidata":"https://www.wikidata.org/wiki/Q1418502","display_name":"Procedural programming","level":4,"score":0.46106821298599243},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.45741838216781616},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.45135602355003357},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4318789839744568},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.4168045222759247},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.4118346571922302}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1093/oso/9780198537922.003.0010","doi":"https://doi.org/10.1093/oso/9780198537922.003.0010","is_oa":false,"landing_page_url":"https://doi.org/10.1093/oso/9780198537922.003.0010","pdf_url":null,"source":{"id":"https://openalex.org/S4306463708","display_name":"Oxford University Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.16.431","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.431","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.scs.leeds.ac.uk/scs/doc/reports/1994/94_22.ps.Z","raw_type":"text"},{"id":"pmh:oai:research-information.bris.ac.uk:openaire_cris_publications/756f256f-2cf7-41f6-8966-2b34dc466552","doi":null,"is_oa":false,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/756f256f-2cf7-41f6-8966-2b34dc466552","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Hill, PM & Gallagher, JP 1994 'Meta-programming in logic programming.' University of Bristol.","raw_type":"workingPaper"},{"id":"pmh:oai:research-information.bris.ac.uk:openaire_cris_publications/9b59c441-2bd9-49cc-a38c-98cb4c425b12","doi":null,"is_oa":false,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/9b59c441-2bd9-49cc-a38c-98cb4c425b12","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Hill, P M & Gallagher, J 1998, Meta-Programming in Logic Progamming. in D M Gabbay, C J Hogger & J A Robinson (eds), Handbook of Logic in Artificial Intelligence and Logic Programming. vol. 5, Oxford University Press, pp. 421 - 498. < http://www.cs.bris.ac.uk/Tools/Reports/Abstracts/hill-gallagher-handb.html >","raw_type":"bookPart"},{"id":"pmh:oai:research-information.bris.ac.uk:openaire_cris_publications/9b5ac701-000a-4080-8fab-cf1b12096edd","doi":null,"is_oa":false,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/9b5ac701-000a-4080-8fab-cf1b12096edd","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Hill, PM & Gallagher, JP 1998, Meta-programming in logic programming. in D M Gabbay, C J Hogger & J A Robinson (eds), Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford University Press, pp. 421 - 498.","raw_type":"bookPart"},{"id":"mag:1608059426","doi":null,"is_oa":false,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/meta-programming-in-logic-programming","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/W1608059426","https://openalex.org/W2137054551","https://openalex.org/W7099655654","https://openalex.org/W7052499165","https://openalex.org/W2280548248","https://openalex.org/W2103284961","https://openalex.org/W2110976851","https://openalex.org/W7097431753","https://openalex.org/W7098316695","https://openalex.org/W7099482904"],"abstract_inverted_index":{"A":[0,264],"meta-program,":[1,233],"regardless":[2],"of":[3,6,21,30,94,115,119,133,149,155,177,183,189,207,219,252,261,268,311],"the":[4,7,43,56,72,95,112,117,120,131,156,161,178,181,217,221,232,237,262,312],"nature":[5],"programming":[8,272],"language,":[9],"is":[10,46,74,180,242,254,303],"a":[11,47,62,78,89,172,259,308],"program":[12,36,39,45,51,83,91,240],"whose":[13],"data":[14,170],"denotes":[15],"another":[16],"(object)":[17],"program.":[18,80,223],"The":[19,81,146,174,201,328],"importance":[20],"meta-programming":[22,122,150,192,269,282,300],"can":[23,227,273],"be":[24,59,77,88,228,258,274],"gauged":[25],"from":[26],"its":[27],"large":[28],"number":[29],"applications.":[31],"These":[32,110],"include":[33],"compilers,":[34],"interpreters,":[35],"analysers,":[37],"and":[38,127,143,185,197],"transformers.":[40],"Furthermore,":[41],"if":[42],"object":[44,82,165,222,239],"logic":[48,79,90,137,271,289,334],"or":[49],"functional":[50],"formalizing":[52],"some":[53,321],"knowledge,":[54],"then":[55],"meta-program":[57,73],"may":[58],"regarded":[60],"as":[61,169],"meta-reasoner":[63],"for":[64,108,124,129,236,270,294],"reasoning":[65,243],"about":[66],"this":[67,70,98,331],"knowledge.":[68],"In":[69,224],"chapter,":[71,246],"assumed":[75],"to":[76,87,257,306,319,323],"does":[84],"not":[85,255,304],"have":[86,103,141,283,291],"although":[92],"much":[93],"work":[96],"in":[97,163,171,276,281,286,288,326,330],"chapter":[99,298,332],"assumes":[100],"this.":[101],"We":[102],"identified":[104],"three":[105],"major":[106],"topics":[107,325],"consideration.":[109],"are":[111,167,333],"theoretical":[113,147],"foundations":[114],"meta-programming,":[116,253],"suitability":[118],"alternative":[121],"techniques":[123],"different":[125],"applications,":[126],"methods":[128],"improving":[130],"efficiency":[132,226],"meta-programs.":[134,208],"As":[135],"with":[136,213],"programs":[138,166,335],"generally,":[139],"meta-programs":[140,329],"declarative":[142],"procedural":[144],"semantics.":[145],"study":[148],"shows":[151],"that":[152,215],"both":[153],"aspects":[154,251],"semantics":[157],"depend":[158],"crucially":[159],"on":[160,249,337],"manner":[162],"which":[164,247,290],"represented":[168],"meta-program.":[173],"second":[175],"theme":[176,203],"paper":[179],"problem":[182],"designing":[184],"choosing":[186],"appropriate":[187],"ways":[188],"specifying":[190],"important":[191],"problems,":[193,315],"including":[194],"dynamic":[195],"metaprogramming":[196],"problems":[198,287],"involving":[199],"self-application.":[200],"third":[202],"concerns":[204],"efficient":[205],"implementation":[206],"Meta-programming":[209],"systems":[210],"require":[211],"representations":[212],"facilities":[214],"minimize":[216],"overhead":[218],"interpreting":[220],"addition,":[225],"gained":[229],"by":[230],"transforming":[231],"specializing":[234],"it":[235,241],"particular":[238],"about.":[244],"This":[245,297],"concentrates":[248],"these":[250],"intended":[256,305],"survey":[260,267],"field.":[263],"more":[265],"complete":[266],"found":[275],"[Barklund,":[277],"1995].":[278],"Many":[279],"issues":[280],"their":[284],"roots":[285],"been":[292],"studied":[293],"several":[295],"decades.":[296],"emphasizes":[299],"solutions.":[301],"It":[302],"give":[307],"full":[309],"treatment":[310],"underlying":[313],"logical":[314],"though":[316],"we":[317],"try":[318],"indicate":[320],"connections":[322],"wider":[324],"meta-logic.":[327],"based":[336],"first":[338],"order":[339],"logic.":[340]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2022-05-12T00:00:00"}