1![Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗ Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗](https://www.pdfsearch.io/img/590b8a8075de23444e8d2ffbcbe672b4.jpg) | Add to Reading ListSource URL: jorgenavas.github.ioLanguage: English - Date: 2018-10-25 12:43:22
|
---|
2![Differentiable Inductive Logic Programming Richard Evans, Ed Grefenstette @LittleBimble, @egrefen https://jair.org/index.php/jair/article/view/11172 Differentiable Inductive Logic Programming Richard Evans, Ed Grefenstette @LittleBimble, @egrefen https://jair.org/index.php/jair/article/view/11172](https://www.pdfsearch.io/img/22414e78a1cc806cdb1e0910fdde49cf.jpg) | Add to Reading ListSource URL: uclmr.github.ioLanguage: English - Date: 2018-08-06 06:17:49
|
---|
3![WHAT IS SPACECHEM? SpaceChem is an intriguing, WHAT IS SPACECHEM? SpaceChem is an intriguing,](https://www.pdfsearch.io/img/a6d353324eed6f71c081150c2c9f6057.jpg) | Add to Reading ListSource URL: www.zachtronics.comLanguage: English - Date: 2018-08-16 12:44:12
|
---|
4![Experiences Using an Interactive Presentation Platform in a Functional and Logic Programming Course Experiences Using an Interactive Presentation Platform in a Functional and Logic Programming Course](https://www.pdfsearch.io/img/cd63b6b6993d8362bdb734fe4a1e26fc.jpg) | Add to Reading ListSource URL: www.pautasso.infoLanguage: English - Date: 2018-01-31 07:50:00
|
---|
5![See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publicationAnalysis of Performance of Various Activation Functions for doing the logic programming in Hopfield See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publicationAnalysis of Performance of Various Activation Functions for doing the logic programming in Hopfield](https://www.pdfsearch.io/img/a85d89b57c159dd07c457d85db7ce3e0.jpg) | Add to Reading ListSource URL: ccl.northwestern.eduLanguage: English - Date: 2018-03-02 17:34:20
|
---|
6![αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu](https://www.pdfsearch.io/img/cd4c8e75c264bb2450ad8385b6365f6b.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2012-08-10 19:21:16
|
---|
7![Modelling logic programming: an LFCS adventure John Power, University of Bath I was introduced to logic programming by Leon Sterling in 1988–89, the year before I came to Edinburgh. That was already informed by LFCS: L Modelling logic programming: an LFCS adventure John Power, University of Bath I was introduced to logic programming by Leon Sterling in 1988–89, the year before I came to Edinburgh. That was already informed by LFCS: L](https://www.pdfsearch.io/img/5cea241e1d7163b97d44219b1137c05c.jpg) | Add to Reading ListSource URL: events.inf.ed.ac.ukLanguage: English - Date: 2017-06-14 03:23:26
|
---|
8![Flog
:
Logic
Programming
for
So1ware
Defined
Networks
Naga
Praveen
Ka=a,
Jennifer
Rexford,
David
Walker
Princeton
University
Flog
:
Logic
Programming
for
So1ware
Defined
Networks
Naga
Praveen
Ka=a,
Jennifer
Rexford,
David
Walker
Princeton
University](https://www.pdfsearch.io/img/a285df4f2bc98f0af3da408cf85c2c8c.jpg) | Add to Reading ListSource URL: frenetic-lang.orgLanguage: English - Date: 2018-03-01 22:09:42
|
---|
9![Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45C Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45C](https://www.pdfsearch.io/img/97531bf01b6aa9c7c17ae04a6c35de3e.jpg) | Add to Reading ListSource URL: web.student.chalmers.seLanguage: English - Date: 2010-08-22 03:55:59
|
---|
10![25th INTERNATIONAL CONFERENCE ON INDUCTIVE LOGIC PROGRAMMING KYOTO,AUG.20-22,2015 conference & program co-chairs : KATSUMI INOUE, NII / HAYATO OHWADA, Tokyo University of Science / AKIHIRO YAMAMOTO, Kyoto University 25th INTERNATIONAL CONFERENCE ON INDUCTIVE LOGIC PROGRAMMING KYOTO,AUG.20-22,2015 conference & program co-chairs : KATSUMI INOUE, NII / HAYATO OHWADA, Tokyo University of Science / AKIHIRO YAMAMOTO, Kyoto University](https://www.pdfsearch.io/img/696a81f56bbbb99c461e840f457da6bc.jpg) | Add to Reading ListSource URL: ilp2015.jp- Date: 2015-05-22 20:13:35
|
---|