Page 1 of 1

facts declaration

Posted: 13 Oct 2017 5:51
by mdosnov2016
I have the following structure according to the prolog notes:

Code: Select all

class backend       open resourceIdentifiers    domains     ...   facts   ....   predicates   end class backend

Code: Select all

implement backend     clauses   ...
in a backend.pack file:

and I receive the following error:

e154 The section 'facts' is not allowed here backend.pack

where can I position my facts declarations?

(I had them before inside the implementation and I was getting other errors)

Posted: 13 Oct 2017 7:58
by Thomas Linder Puls
Facts can only be declared inside an implementation. I.e. here

Code: Select all

implement backend % here you can have facts end implement backend
This means that what is know as global database/facts in Vip5x does no longer exist.

Also look at Migration from Visual Prolog 5.