海量图书期刊资源,随时随地畅享阅读乐趣
SWI-PrologWIELEMAKER, JAN; SCHRIJVERS, TOM; TRISKA, MARKUS; LAGER, TORBJÖRN · Theory and Practice of Logic Programming · 2012
Probabilistic reasoning with answer setsBARAL, CHITTA; GELFOND, MICHAEL; RUSHTON, NELSON · Theory and Practice of Logic Programming · 2009
The YAP Prolog systemCOSTA, VÍTOR SANTOS; ROCHA, RICARDO; DAMAS, LUÍS · Theory and Practice of Logic Programming · 2012
Viterbi training in PRISMSATO, TAISUKE; KUBOTA, KEIICHI · Theory and Practice of Logic Programming · 2015
Unfolding for CHR programsGABBRIELLI, MAURIZIO; MEO, MARIA CHIARA; TACCHELLA, PAOLO; WIKLICKY, HERBERT · Theory and Practice of Logic Programming · 2015
Delimited continuations for prologSCHRIJVERS, TOM; DEMOEN, BART; DESOUTER, BENOIT; WIELEMAKER, JAN · Theory and Practice of Logic Programming · 2013
Greedy algorithms in DatalogGRECO, SERGIO; ZANIOLO, CARLO · Theory and Practice of Logic Programming · 2001
A tribute to Alain ColmerauerCOHEN, JACQUES · Theory and Practice of Logic Programming · 2001