{"id":"https://openalex.org/W2161649341","doi":"https://doi.org/10.7551/mitpress/3133.001.0001","title":"From Logic to Logic Programming","display_name":"From Logic to Logic Programming","publication_year":1994,"publication_date":"1994-01-11","ids":{"openalex":"https://openalex.org/W2161649341","doi":"https://doi.org/10.7551/mitpress/3133.001.0001","mag":"2161649341"},"language":"en","primary_location":{"id":"doi:10.7551/mitpress/3133.001.0001","doi":"https://doi.org/10.7551/mitpress/3133.001.0001","is_oa":false,"landing_page_url":"https://doi.org/10.7551/mitpress/3133.001.0001","pdf_url":null,"source":{"id":"https://openalex.org/S4306463997","display_name":"The MIT Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310315718","host_organization_name":"The MIT Press","host_organization_lineage":["https://openalex.org/P4310315718","https://openalex.org/P4310316440"],"host_organization_lineage_names":["The MIT Press","Massachusetts Institute of Technology"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"monograph"},"volume":null,"type":"book","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/A5012980961","display_name":"Kees Doets","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kees Doets","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5012980961"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.6032,"has_fulltext":false,"cited_by_count":73,"citation_normalized_percentile":{"value":0.84775087,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":98},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9467999935150146,"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.9467999935150146,"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.04100000113248825,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.0066999997943639755,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/logic-programming","display_name":"logic programming","score":0.9750000238418579},{"id":"https://openalex.org/keywords/resolution-theorem-proving","display_name":"resolution theorem proving","score":0.7940000295639038},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"first-order logic","score":0.6930000185966492},{"id":"https://openalex.org/keywords/horn-clauses","display_name":"Horn clauses","score":0.7829999923706055},{"id":"https://openalex.org/keywords/sld-resolution","display_name":"SLD-resolution","score":0.6809999942779541},{"id":"https://openalex.org/keywords/sldnf-resolution","display_name":"SLDNF-resolution","score":0.9810000061988831},{"id":"https://openalex.org/keywords/negation-as-failure","display_name":"negation as failure","score":0.8939999938011169},{"id":"https://openalex.org/keywords/proof-theory","display_name":"proof theory","score":0.6330000162124634},{"id":"https://openalex.org/keywords/soundness-and-completeness","display_name":"soundness and completeness","score":0.8489999771118164},{"id":"https://openalex.org/keywords/unification","display_name":"unification","score":0.5389999747276306},{"id":"https://openalex.org/keywords/computability","display_name":"computability","score":0.5950000286102295},{"id":"https://openalex.org/keywords/analytic-hierarchy-process","display_name":"analytic hierarchy process","score":0.9120000004768372},{"id":"https://openalex.org/keywords/3-valued-logic","display_name":"3-valued logic","score":0.8600000143051147}],"concepts":[{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.7464858293533325},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6055794358253479},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5980467200279236},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.533933162689209},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.5324215888977051},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.5162644386291504},{"id":"https://openalex.org/C124047733","wikidata":"https://www.wikidata.org/wiki/Q5157327","display_name":"Computational logic","level":3,"score":0.5086327791213989},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.507906973361969},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5052095055580139},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.5047467947006226},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.4652247130870819},{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.4325041174888611},{"id":"https://openalex.org/C195653647","wikidata":"https://www.wikidata.org/wiki/Q7625047","display_name":"Structural proof theory","level":4,"score":0.4267708659172058},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.4249507188796997},{"id":"https://openalex.org/C101874905","wikidata":"https://www.wikidata.org/wiki/Q2476757","display_name":"Philosophy of logic","level":2,"score":0.41760313510894775},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.4147323966026306},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.41432157158851624},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3965153694152832},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38711118698120117},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.3162837028503418},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.19449147582054138},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.7551/mitpress/3133.001.0001","doi":"https://doi.org/10.7551/mitpress/3133.001.0001","is_oa":false,"landing_page_url":"https://doi.org/10.7551/mitpress/3133.001.0001","pdf_url":null,"source":{"id":"https://openalex.org/S4306463997","display_name":"The MIT Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310315718","host_organization_name":"The MIT Press","host_organization_lineage":["https://openalex.org/P4310315718","https://openalex.org/P4310316440"],"host_organization_lineage_names":["The MIT Press","Massachusetts Institute of Technology"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"monograph"},{"id":"pmh:oai:aleph.bib-bvb.de:BVB01-027943704","doi":null,"is_oa":false,"landing_page_url":"http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"software, multimedia"},{"id":"pmh:oai:cds.cern.ch:389820","doi":null,"is_oa":false,"landing_page_url":"http://cds.cern.ch/record/389820","pdf_url":null,"source":{"id":"https://openalex.org/S4306402195","display_name":"CERN Document Server (European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/0b9c375d-e42f-4211-b4d3-5eac5bc66c34","doi":null,"is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/from-logic-to-logic-programming(0b9c375d-e42f-4211-b4d3-5eac5bc66c34).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Doets, H C 1994, From logic to logic programming. Foundation of Computing Series, Cambridge, Mass.","raw_type":"info:eu-repo/semantics/book"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/0b9c375d-e42f-4211-b4d3-5eac5bc66c34","doi":null,"is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/from-logic-to-logic-programming(0b9c375d-e42f-4211-b4d3-5eac5bc66c34).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/book"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4244705695","https://openalex.org/W2101048719","https://openalex.org/W34868084","https://openalex.org/W7036813275","https://openalex.org/W2511855625","https://openalex.org/W7096140357","https://openalex.org/W1538632042","https://openalex.org/W2026636889","https://openalex.org/W1988347771","https://openalex.org/W7100333544"],"abstract_inverted_index":{"This":[0],"mathematically":[1],"oriented":[2],"introduction":[3],"to":[4,117,122,135,149,160],"the":[5,15,30,34,39,63,69,123,127,136,139,150,155],"theory":[6,71],"of":[7,14,29,33,42,62,72,129,141,152],"logic":[8,73,131,188],"programming":[9],"presents":[10],"a":[11,114,142,165],"systematic":[12],"exposition":[13,185],"resolution":[16,43,118],"method":[17],"for":[18,93],"propositional,":[19],"first-order,":[20],"and":[21,47,54,60,66,81,85,90,95,108,126,157,183],"Horn-":[22],"clause":[23],"logics,":[24],"together":[25],"with":[26,109,176],"an":[27,184],"analysis":[28],"semantic":[31],"aspects":[32],"method.":[35],"It":[36],"is":[37,120,144],"through":[38],"inference":[40],"rule":[41],"that":[44,119],"both":[45],"proofs":[46,61,159],"computations":[48],"can":[49],"be":[50,161],"manipulated":[51],"on":[52,180,186],"computers,":[53],"this":[55,103],"book":[56,101],"contains":[57],"elegant":[58],"versions":[59],"fundamental":[64],"theorems":[65],"lemmas":[67],"in":[68,105,164],"proof":[70],"programming.":[74],"Advanced":[75],"topics":[76],"such":[77,106,110],"as":[78,83],"recursive":[79],"complexity":[80],"negation":[82],"failure":[84],"its":[86],"semantics":[87],"are":[88,97],"covered,":[89],"streamlined":[91],"setups":[92],"SLD-":[94],"SLDNF-resolution":[96],"described.":[98],"No":[99],"other":[100],"treats":[102],"material":[104,171],"detail":[107],"sophistication.":[111],"Doets":[112],"provides":[113],"novel":[115],"approach":[116],"applied":[121],"first-order":[124],"case":[125,128],"(positive)":[130],"programs.":[132],"In":[133],"contrast":[134],"usual":[137],"approach,":[138],"concept":[140,151],"resolvent":[143],"defined":[145],"nonconstructively,":[146],"without":[147],"recourse":[148],"unification,":[153],"allowing":[154],"soundness":[156],"completeness":[158],"carried":[162],"out":[163],"more":[166],"economic":[167],"way.":[168],"Other":[169],"new":[170],"includes":[172],"computability":[173],"results":[174,179],"dealing":[175],"analytical":[177],"hierarchy,":[178],"infinite":[181],"derivations":[182],"general":[187],"programs":[189],"using":[190],"3-valued":[191],"logic.":[192]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}