Pub Date : 1900-01-01DOI: 10.1007/978-3-031-35254-6_25
D. Ancona, Angelo Ferrando, V. Mascardi
{"title":"Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives","authors":"D. Ancona, Angelo Ferrando, V. Mascardi","doi":"10.1007/978-3-031-35254-6_25","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_25","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115699942","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-35254-6_30
Jean-Christophe Rohner, Håkan Kjellerstrand
{"title":"Prolog for Scientific Explanation","authors":"Jean-Christophe Rohner, Håkan Kjellerstrand","doi":"10.1007/978-3-031-35254-6_30","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_30","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"297 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124279218","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-35254-6_17
R. Kowalski, F. Sadri, Miguel Calejo, Jacinto A. Dávila
{"title":"Combining Logic Programming and Imperative Programming in LPS","authors":"R. Kowalski, F. Sadri, Miguel Calejo, Jacinto A. Dávila","doi":"10.1007/978-3-031-35254-6_17","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_17","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117233790","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-35254-6_19
M. Leuschel
{"title":"ProB: Harnessing the Power of Prolog to Bring Formal Models and Mathematics to Life","authors":"M. Leuschel","doi":"10.1007/978-3-031-35254-6_19","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_19","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130971392","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-35254-6_1
D. Warren
{"title":"Introduction to Prolog","authors":"D. Warren","doi":"10.1007/978-3-031-35254-6_1","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_1","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132911597","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-35254-6_13
V. Dahl, L. Cecchi
{"title":"Introducing Prolog in Language-Informed Ways","authors":"V. Dahl, L. Cecchi","doi":"10.1007/978-3-031-35254-6_13","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_13","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114154178","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-35254-6_2
M. Hermenegildo, J. Morales, P. López-García, M. Carro
{"title":"Types, Modes and so Much More - The Prolog Way","authors":"M. Hermenegildo, J. Morales, P. López-García, M. Carro","doi":"10.1007/978-3-031-35254-6_2","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_2","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122718073","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-35254-6_7
D. Warren, M. Denecker
{"title":"A Better Logical Semantics for Prolog","authors":"D. Warren, M. Denecker","doi":"10.1007/978-3-031-35254-6_7","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_7","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129898645","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-031-35254-6_29
Paul Tarau
{"title":"Reflections on Automation, Learnability and Expressiveness in Logic-Based Programming Languages","authors":"Paul Tarau","doi":"10.1007/978-3-031-35254-6_29","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_29","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121369151","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：