[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"detail-sidebar-cat-0-en-105":3,"doc-seo-326748-105":59,"doc-detail-326748-en":131},{"code":4,"msg":5,"data":6},0,"success",[7,13,18,23,28,33,38,43,48,51,55],{"id":8,"doc_module":4,"doc_module_name":9,"category_name":10,"show_sort_weight":11,"slug":12},1,"Document","Story & Novel",90,"story-novel",{"id":14,"doc_module":4,"doc_module_name":9,"category_name":15,"show_sort_weight":16,"slug":17},2,"Literature",80,"literature",{"id":19,"doc_module":4,"doc_module_name":9,"category_name":20,"show_sort_weight":21,"slug":22},4,"Exam",70,"exam",{"id":24,"doc_module":4,"doc_module_name":9,"category_name":25,"show_sort_weight":26,"slug":27},5,"Comic",60,"comic",{"id":29,"doc_module":4,"doc_module_name":9,"category_name":30,"show_sort_weight":31,"slug":32},6,"Technology",50,"technology",{"id":34,"doc_module":4,"doc_module_name":9,"category_name":35,"show_sort_weight":36,"slug":37},7,"Healthcare",40,"healthcare",{"id":39,"doc_module":4,"doc_module_name":9,"category_name":40,"show_sort_weight":41,"slug":42},8,"Research & Report",30,"research-report",{"id":44,"doc_module":4,"doc_module_name":9,"category_name":45,"show_sort_weight":46,"slug":47},9,"Religion & Spirituality",20,"religion-spirituality",{"id":46,"doc_module":4,"doc_module_name":9,"category_name":49,"show_sort_weight":46,"slug":50},"World Cup","world-cup",{"id":52,"doc_module":4,"doc_module_name":9,"category_name":53,"show_sort_weight":52,"slug":54},10,"Lifestyle","lifestyle",{"id":56,"doc_module":4,"doc_module_name":9,"category_name":57,"show_sort_weight":24,"slug":58},19,"General","general",{"code":4,"msg":60,"data":61},"ok",{"site_id":62,"language":63,"slug":64,"title":65,"keywords":66,"description":67,"schema_data":68,"social_meta":124,"head_meta":126,"extra_data":128,"updated_unix":130},105,"en","parallel-and-distributed-logic-programming-vol-24-preface","Parallel and Distributed Logic Programming - Vol. 24 - Preface","","Parallel and Distributed Logic Programming presents a preface that situates logic programming within the historical development of logic from Aristotle’s truth/falsehood paradigm to modern applications in automated reasoning on digital computers. It explains logic programming as automated reasoning with facts and knowledge to answer user queries using the syntax and semantics of predicate/propositional logic. It credits Professor Robinson’s resolution theorem as a general inference scheme for selecting program clauses.",{"@graph":69,"@context":123},[70,84,106],{"@type":71,"itemListElement":72},"BreadcrumbList",[73,77,79,82],{"item":74,"name":75,"@type":76,"position":8},"https://docshare.wps.com","Home","ListItem",{"item":78,"name":9,"@type":76,"position":14},"https://docshare.wps.com/document/",{"item":80,"name":40,"@type":76,"position":81},"https://docshare.wps.com/document/research-report/",3,{"item":83,"name":65,"@type":76,"position":19},"https://docshare.wps.com/document/parallel-and-distributed-logic-programming-vol-24-preface/326748/",{"url":83,"name":65,"@type":85,"image":86,"author":91,"headline":65,"publisher":94,"fileFormat":97,"inLanguage":63,"description":67,"dateModified":98,"datePublished":99,"encodingFormat":97,"isAccessibleForFree":100,"interactionStatistic":101},"DigitalDocument",{"url":87,"@type":88,"width":89,"height":90},"https://docshare.wps.com/thumbnails/parallel-and-distributed-logic-programming-vol-24-preface/326748.png","ImageObject",300,407,{"name":92,"@type":93},"Theodore","Person",{"url":74,"name":95,"@type":96},"DocShare","Organization","application/pdf","2026-11-07","2026-09-21",true,{"@type":102,"interactionType":103,"userInteractionCount":105},"InteractionCounter",{"@type":104},"ViewAction",13,{"@type":107,"mainEntity":108},"FAQPage",[109,115,119],{"name":110,"@type":111,"acceptedAnswer":112},"What historical development does the preface reference for logic?","Question",{"text":113,"@type":114},"It traces logic’s foundations from Aristotle’s truth/falsehood paradigm to later evolution in mathematical logic of propositions and predicates over roughly the last 50 years.","Answer",{"name":116,"@type":111,"acceptedAnswer":117},"How does the preface define logic programming?",{"text":118,"@type":114},"Logic programming is described as automated reasoning that uses facts and knowledge to answer a user’s query by following the syntax and semantics of predicate/propositional logic.",{"name":120,"@type":111,"acceptedAnswer":121},"What key contribution is attributed to Professor Robinson?",{"text":122,"@type":114},"The preface credits Robinson’s resolution theorem as a general scheme for deriving inference by selecting two program clauses.","https://schema.org",{"og:url":83,"og:type":125,"og:title":65,"og:site_name":95,"og:description":67},"article",{"robots":127,"canonical":83},"index,follow",{"doc_id":129,"site_id":62},326748,1791081955,{"code":4,"msg":5,"data":132},{"doc_id":129,"user_id":133,"nickname":92,"user_avatar":134,"doc_module":4,"category_id":39,"category_name":40,"doc_title":65,"doc_description":67,"doc_content":135,"file_id":136,"file_url":137,"file_type":138,"file_size":139,"view_count":105,"is_deleted":4,"is_public":8,"is_downloadable":8,"audit_status":8,"page_count":140,"language":141,"language_code":63,"site_id":62,"html_lang":63,"table_of_contents":142,"faqs":143,"seo_title":144,"seo_description":67,"update_tm":145,"read_time":146,"preview_page_count":4},7971461740886,"https://ap-avatar.wpscdn.com/davatar_3d24733baf745e90a7e4bdd5f77d97b2","Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal  Parallel and Distributed Logic Programming  \nStudies in Computational Intelligence, Volume 24  \nEditor-in-chief  \nProf. Janusz Kacprzyk Systems Research Institute Polish Academy of Sciences ul. Newelska 6  \n01-447 Warsaw  \nPoland [E-mail:](E-mail: kacprzyk@ibspan.waw.pl)[ kacprzyk@ibspan.waw.pl](E-mail: kacprzyk@ibspan.waw.pl)  \n\n| Further volumes ofthis series can be found on our homepage:\u003Cbr>[springer.com](springer.com)\u003Cbr>Vol. 8. Srikanta Patnaik, Lakhmi C. Jain, Spyros G. Tzafestas, Germano Resconi, Amit Konar (Eds.)\u003Cbr>Innovations in Robot Mobility and Control, 2005\u003Cbr>ISBN 3-540-26892-8\u003Cbr>Vol. 9. Tsau Young Lin, Setsuo Ohsuga, Churn-Jung Liau, Xiaohua Hu (Eds.) Foundations and Novel Approaches in Data Mining, 2005\u003Cbr>ISBN 3-540-28315-3\u003Cbr>Vol. 10. Andrzej P. Wierzbicki, Yoshiteru Nakamori\u003Cbr>Creative Space, 2005\u003Cbr>ISBN 3-540-28458-3\u003Cbr>Vol. 11. Antoni LigĊza\u003Cbr>Logical Foundations for Rule-Based Systems, 2006\u003Cbr>ISBN 3-540-29117-2\u003Cbr>Vol. 12. Jonathan Lawry\u003Cbr>Modelling and Reasoning with Vague Concepts, 2006\u003Cbr>ISBN 0-387-29056-7\u003Cbr>Vol. 13. Nadia Nedjah, Ajith Abraham, Luiza de Macedo Mourelle (Eds.) Genetic Systems Programming, 2006\u003Cbr>ISBN 3-540-29849-5\u003Cbr>Vol. 14. Spiros Sirmakessis (Ed.)\u003Cbr>Adaptive and Personalized Semantic Web, 2006 ISBN 3-540-30605-6\u003Cbr>Vol. 15. Lei Zhi Chen, Sing Kiong Nguang, Xiao Dong Chen\u003Cbr>Modelling and Optimization of Biotechnological Processes, 2006\u003Cbr>ISBN 3-540-30634-X | Vol. 16. Yaochu Jin (Ed.)\u003Cbr>Multi-Objective Machine Learning, 2006 ISBN 3-540-30676-5\u003Cbr>Vol. 17. Te-Ming Huang, Vojislav Kecman, Ivica Kopriva\u003Cbr>Kernel Based Algorithms for Mining Huge Data Sets, 2006\u003Cbr>ISBN 3-540-31681-7\u003Cbr>Vol. 18. Chang Wook Ahn\u003Cbr>Advances in Evolutionary Algorithms, 2006 ISBN 3-540-31758-9\u003Cbr>Vol. 19. Ajita Ichalkaranje, Nikhil Ichalkaranje, Lakhmi C. Jain (Eds.) Intelligent Paradigms for Assistive and Preventive Healthcare, 2006\u003Cbr>ISBN 3-540-31762-7\u003Cbr>Vol. 20. Wojciech Penczek, Agata Póárola Advances in Verification of Time Petri Netsand Timed Automata, 2006\u003Cbr>ISBN 3-540-32869-6\u003Cbr>Vol. 21. Cândida Ferreira\u003Cbr>Gene Expression on Programming: Mathematical Modeling by an Artificial Intelligence, 2006 ISBN 3-540-32796-7\u003Cbr>Vol. 22. N. Nedjah, E. Alba, L. de Macedo Mourelle (Eds.)\u003Cbr>Parallel Evolutionary Computations, 2006 ISBN 3-540-32837-8\u003Cbr>Vol. 23. M. Last, Z. Volkovich, A. Kandel (Eds.) Algorithmic Techniques for Data Mining, 2006 ISBN 3-540-33880-2\u003Cbr>Vol. 24. Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal\u003Cbr>Parallel and Distributed Logic Programming, 2006\u003Cbr>ISBN 3-540-33458-0 |\n| --- | --- |\n\nAlakananda Bhattacharya Amit Konar  \nAjit K . Mandal  \nParallel and Distributed Logic Programming  \nTowards the Design of a Framework for the Next Generation Database Machines  \nWith 121 Figures and 10 Tables  \n1 3  \nDr. Alakananda Bhattacharya Artificial Intelligence Laboratory  \nETCE Department Jadavpur University Calcutta 700032 India  \n[E-mail:](E-mail: b_alaka2@hotmail.com)[ b_alaka2@hotmail.com](E-mail: b_alaka2@hotmail.com)  \nProf. Dr. Ajit K. Mandal Artificial Intelligence Laboratory ETCE Department  \nJadavpur University Calcutta 700032 India  \n[E-mail:](E-mail: ajit.k.mandal@vsnl.com)[ ajit.k.mandal@vsnl.com](E-mail: ajit.k.mandal@vsnl.com)[ajit.k.mandal@ieee.org](ajit.k.mandal@ieee.org)  \nProf. Dr. Amit Konar Visiting Professor  \nDepartment of Math. and Computer Science  \nUniversity of Missouri, St. Louis 8001 Natural Bridge Road, St. Louis Missouri 63121-4499  \nUSA  \nPermanently working as Professor  \nDepartment of Electronics and Tele-communication Engineering Jadavpur University  \nCalcutta 700032  \nIndia [E-mail:](E-mail: konaramit@yahoo.co.in)[ konaramit@yahoo.co.in](E-mail: konaramit@yahoo.co.in)  \nLibrary of Congress Control Number: 2006925432  \nISSN print edition: 1860-949X  \nISSN electronic edition: 1860-9503  \nISBN-10 3-540-33458-0 Springer Berlin Heidelberg New York ISBN-13 978-3-540-33458-3 Springer Berlin Heidelbe","cbCaij2ZHjsD8ltS","https://ap.wps.com/l/cbCaij2ZHjsD8ltS","pdf",1792968,301,"English","# Preface\n## Foundations of logic\n## Logic programming and automated reasoning\n## Resolution theorem and inference scheme","[{\"question\":\"What historical development does the preface reference for logic?\",\"answer\":\"It traces logic’s foundations from Aristotle’s truth/falsehood paradigm to later evolution in mathematical logic of propositions and predicates over roughly the last 50 years.\"},{\"question\":\"How does the preface define logic programming?\",\"answer\":\"Logic programming is described as automated reasoning that uses facts and knowledge to answer a user’s query by following the syntax and semantics of predicate/propositional logic.\"},{\"question\":\"What key contribution is attributed to Professor Robinson?\",\"answer\":\"The preface credits Robinson’s resolution theorem as a general scheme for deriving inference by selecting two program clauses.\"}]","Parallel and Distributed Logic Programming - Vol. 24 - Preface | PDF",1789975248,759]