Introduction

LOGQ stands for LOGical Query - it’s a logical programming tool that works similar to Prolog program. Its goal to simplify and extend Prolog features and provide easy integration with mapping tool.

LOGQ does not require you to mention predicate types or flow patterns. Its goal is to show symbolic logic queries as a useful tool that can be mixed with other approaches.