Prolog
Sccp forces-2009 v3
bok (1)
Artificial Intelligence and Lisp #9 Reasoning about Actions.
Prolog Programming
1 NP-Completeness Algorithms and Networks 2015/2016 Hans L. Bodlaender Johan M. M. van Rooij.
Institute of Logic, Lng and Comp
Mario R. GUARRACINO National Research Council , Naples , Italy