`:-` is used to separate the head and body of a rule in AnsProlog: `foo :- bar(X), baz(X).` Thanks!
:-is used to separate the head and body of a rule in AnsProlog:foo :- bar(X), baz(X).Thanks!