programowanie logiczne

Paradygmat programowania, który wykorzystuje logikę boolowską do kontrolowania, w jaki sposób fakty i zasady dotyczące problemów w systemie są reprezentowane lub wyrażane.