{"id":"https://openalex.org/W1594075998","doi":null,"title":"Subset-Logic Programming: Application and Implementation.","display_name":"Subset-Logic Programming: Application and Implementation.","publication_year":1988,"publication_date":"1988-02-01","ids":{"openalex":"https://openalex.org/W1594075998","mag":"1594075998"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.294.8026","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.8026","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.unc.edu/techreports/88-011.pdf","raw_type":"text"},"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/A5103429521","display_name":"Bharat Jayaraman","orcid":"https://orcid.org/0000-0001-5646-3213","observed_orcids":["https://orcid.org/0000-0001-5646-3213","https://orcid.org/0009-0008-0443-8794"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bharat Jayaraman","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-5646-3213","affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Anil Nair","orcid":"https://orcid.org/0000-0001-6033-8095","observed_orcids":["https://orcid.org/0000-0001-6033-8095"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Anil Nair","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-6033-8095","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.6265,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.8433903,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"843","last_page":"858"},"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.9955999851226807,"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.9955999851226807,"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.002300000051036477,"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.000699999975040555,"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/rewrite-rules","display_name":"rewrite rules","score":0.7329999804496765},{"id":"https://openalex.org/keywords/set-operations","display_name":"set operations","score":0.47699999809265137}],"concepts":[{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.7623188495635986},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7396177053451538},{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.7310169339179993},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.6915963888168335},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6809850931167603},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5962660312652588},{"id":"https://openalex.org/C159423971","wikidata":"https://www.wikidata.org/wiki/Q177251","display_name":"Associative property","level":2,"score":0.5437449812889099},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.530052125453949},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.5243133306503296},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5208449959754944},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5206091403961182},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.5135772228240967},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.49109601974487305},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.450960248708725},{"id":"https://openalex.org/C128896722","wikidata":"https://www.wikidata.org/wiki/Q1501387","display_name":"Transitive closure","level":2,"score":0.43882301449775696},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2195887565612793},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.16567572951316833},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.294.8026","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.8026","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.unc.edu/techreports/88-011.pdf","raw_type":"text"},{"id":"mag:1594075998","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/iclp/iclp88.html#JayaramanN88","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"International Conference on Lightning Protection","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":5,"referenced_works":["https://openalex.org/W1480729609","https://openalex.org/W1503740743","https://openalex.org/W2023578426","https://openalex.org/W2112962394","https://openalex.org/W2123396057"],"related_works":["https://openalex.org/W2515420469","https://openalex.org/W7097608723","https://openalex.org/W1990539155","https://openalex.org/W2790168364","https://openalex.org/W1929233465","https://openalex.org/W2019806829","https://openalex.org/W2174118356","https://openalex.org/W2297634763","https://openalex.org/W2036311242","https://openalex.org/W2152806"],"abstract_inverted_index":{"o":[0],"Subset-logic":[1],"programming":[2,7,22],"is":[3,69],"a":[4,18,28],"paradigm":[5,16],"of":[6,38,45,73,95,112],"with":[8,23,48],"subset":[9],"and":[10],"equality":[11],"assertions.":[12],"We":[13,25,107,114],"propose":[14],"this":[15],"as":[17,61],"logical":[19],"basis":[20],"for":[21,54],"sets.":[24,56],"p":[26],"r~ent":[27],"language":[29],"called":[30],"SEL":[31,39,125],"to":[32,90,103,123],"illustrate":[33],"the":[34,41,66,93,110],"approach.":[35],"The":[36],"teriii3":[37],"arc":[40],"usual":[42],"first-order":[43],"ten:Dll":[44],"Prolog,":[46],"augmented":[47],"one":[49],"associative-commutative":[50,74],"(a-c)":[51],"constructor,":[52],"U,":[53],"defining":[55],"Computa.tionally,":[57],"we":[58],"treat":[59],"assertions":[60],"one-way":[62],"rewrite":[63],"rules,":[64],"where":[65],"matching":[67,80,84,128],"used":[68,122],"a.":[70],"restricted":[71],"form":[72],"matching.":[75],"Unlike":[76],"Prolog's":[77],"unification,":[78],"a-c":[79],"could":[81],"produce":[82],"multiple":[83],"substitutions,":[85],"which":[86],"can":[87],"effectively":[88],"serve":[89],"iterate":[91],"over":[92],"elements":[94],"sets,":[96],"thus":[97],"permitting":[98],"many":[99],"useful":[100],"set":[101],"operations":[102],"be":[104,121],"stated":[105],"non-recursively.":[106],"also":[108],"describe":[109],"implementation":[111],"SEL.":[113],"show":[115],"how":[116],"W":[117],"AM-like":[118],"instructions":[119],"ClUl":[120],"compile":[124],"programs.":[126],"Because":[127]},"counts_by_year":[],"updated_date":"2026-10-05T09:50:58.205359","created_date":"2016-06-24T00:00:00"}