https://profilbaru.com/en/Syntax_and_semantics_of_logic_programming