2 papers
cs.PL2020
Learning functional programs with function invention and reuse
Andrei Diaconu
Inductive programming (IP) is a field whose main goal is synthesising programs that respect a set of examples, given some form of background knowledge. This paper is concerned with…
cs.NI2006
Enhanced Prolog Remote Predicate Call Protocol
Alin Suciu, Kalman Pusztai, Andrei Diaconu
Following the ideas of the Remote Procedure Call model, we have developed a logic programming counterpart, naturally called Prolog Remote Predicate Call (Prolog RPC). The Prolog RP…