Stream: t-compiler/wg-nll

Topic: basics-of-prolog


nikomatsakis (May 10 2018 at 19:13, on Zulip):

BTW, I wrote up a quick gist kind of summarizing the "basics" of Prolog/datalog/horn clauses really briefly. Maybe it's of use to you. https://gist.github.com/nikomatsakis/dda444d2a4ab71c40770faabcdd5049b

Last update: Nov 21 2019 at 13:10UTC