SolPrologV2 icon indicating copy to clipboard operation
SolPrologV2 copied to clipboard
verified publisher icon leonardoalt

Getting more than one matching substitution

Open cameel opened this issue 5 years ago • 0 comments

Currently Prolog.query() stops after it finds a single matching substitution. A real Prolog engine needs a way to continue and produce all matches.

cameel avatar Aug 16 '20 15:08 cameel