Rethinking PrologThe strong points of Prolog can be brought into an ordinary functional programming language. Using OCaml as a representative, we implement lazy guessing as a library, with which we reproduce classical Prolog examples.Наукові публікації#2014#Prolog#programming#language#logic#публікація#OCaml#library·up.raindrop.io·Dec 23, 2024Rethinking Prolog
Наукові публікації