? ???? ??? ?????? ???? ?? ???? ?? ?? ? ??? ???? ?? ???? ?? ???? ???? ??? ??? ???? ?? ??? ???? ???? ???? ??? ??? ? ???. Datalog is often a declarative logic programming language. Even though it truly is syntactically a subset of Prolog, Datalog usually uses a base-up instead of top rated-down eval