#prolog #repl #interactive #logic programming language #swi-prolog #gprolog