flakas/logic-programming-class

Logic Programming class

Prolog

Logic programming class

These are sources for Logic Programming Class at Vilnius University, 2014

Theory lecturer: R. Vaicekauskas http://uosis.mif.vu.lt/~rvck/

Assignment lecturer: D. Lebedenko http://uosis.mif.vu.lt/~denis/