Prolog on Sebastian Krings https://www.krin.gs/tags/prolog/ Recent content in Prolog on Sebastian Krings Hugo -- 0.166.0 en Sun, 22 Sep 2019 00:00:00 +0000 Prolog Coding Guidelines: Status and Tool Support https://www.krin.gs/talks/iclp19/ Sun, 22 Sep 2019 00:00:00 +0000 https://www.krin.gs/talks/iclp19/ ICLP 2019, Las Cruces, NM, USA Prolog Coding Guidelines: Status and Tool Support https://www.krin.gs/papers/nogatz-linter-iclp19/ Sat, 20 Jul 2019 00:00:00 +0000 https://www.krin.gs/papers/nogatz-linter-iclp19/ In Technical Communications ICLP 2019, EPTCS Three is a crowd: SAT, SMT and CLP on a chessboard https://www.krin.gs/papers/krings-crowded-chessboard-padl18/ Mon, 08 Jan 2018 00:00:00 +0000 https://www.krin.gs/papers/krings-crowded-chessboard-padl18/ In Proceedings PADL 2018, Springer LNCS