Page 1 of 1

The flow pattern '(o,o)' does not exist - I must be blind

Posted: 24 Apr 2023 12:31
by Wabbit
I am getting this error: The flow pattern '(o,o)' does not exist for 'main::heal/2'

The logic goal is to find the modifier that shifts a taxon in the right direction. I was an old Borland TurboProlog user and trying to revive old memory cells.

Code: Select all

class facts - taxonDB     increases : (integer Modifier, integer Taxon).     decreases : (integer Modifier, integer Taxon).     high : (string Person, integer Taxon).     low : (string Person, integer Taxon).   class predicates     heal : (string Person, integer Modifier). clauses     heal(Person, Modifier) :-         increases(Modifier, Taxon),         low(Person, Taxon).

Re: The flow pattern '(o,o)' does not exist - I must be blind

Posted: 24 Apr 2023 19:08
by Gukalov

Code: Select all

class predicates     heal : (string Person, integer Modifier) nondeterm (o, o).
Turbo: all the predicates are "nondeterm", no matter an argument is IN or OUT
VIP: it need to define determ/nondeterm/procedure... arguments IN/OUT
If you don't define, VIP takes the predicate as procedure with arguments IN.

https://wiki.visual-prolog.com/index.ph ... icate_Mode

It can disturb while switching from Turbo to VIP, but not a long time according my own experience)))

Re: The flow pattern '(o,o)' does not exist - I must be blind

Posted: 28 Apr 2023 3:10
by Wabbit
Many thanks.